Resultados da pesquisa a pedido "ocaml"
Operador OCaml |>
Alguém poderia explicar o que o operador faz? Este código foi retirado da referênciaaqui [http://caml.inria.fr/pub/docs/manual-ocaml/libref/Map.html]: let m = PairsMap.(empty |> add (0,1) "hello" |> add (1,0) "world")Eu posso ver o que ele faz, ...
Diferença de desempenho entre correspondência de padrões e if-else
Por que o OCaml pode gerar código de máquina eficiente para a correspondência de padrões e não para testes if-else? Eu estava lendo OCaml do mundo real e me ...
Redundância na declaração de tipo OCaml (ml / mli)
Estou tentando entender algo específico sobre os módulos ocaml e sua compilação: sou forçado a redefinir os tipos já declarados em um.mli dentro do específico.ml implementações? Apenas para dar um exemplo: (* foo.mli *) type foobar = Bool of ...
Tipos de união aberta e fechada em Ocaml
Estou olhando para OCaml pela primeira vez, tendo um pouco de experiência com F # e Haskell. Como tal, muito parece familiar, mas uma coisa que não é é o conceito de uniões "abertas" e "fechadas" (com o backtick e [<sintaxe). Para que eles são ...
Como mesclar tipos de módulo OCaml (assinaturas) definindo o mesmo tipo?
No OCaml, tenho dois tipos de módulo que definem um tipot: module type Asig = sig type t val a : t end module type Bsig = sig type t val b : t endEu quero automatizar a criação de um tipo de módulo mesclando-os. Eu quero criar um tipo de módulo ...
Como você inspeciona o tipo de (*) no nível superior do OCaml?
Eu queria ver o tipo da função de multiplicação (*), então bati no nível superior do OCaml. # (*)No entanto, o nível superior ecoou: (*);; 1: this is the start of a comment.e então consumi qualquer outra entrada inserida. Imaginei que precisava ...
Polimorfismo no OCaml - ad hoc, paramétrico, inclusão / subtipagem
Estou com problemas para entender os diferentes tipos de polimorfismo, especificamente em relação ao OCaml. Entendo que o polimorfismo permite vários tipos no OCaml denotados como 'a, mas não entendo quais são os diferentes tipos de ...
Desenvolvimento do plugin Frama-C: Obtendo resultado da análise de valor
Estou trabalhando em um plug-in para o Frama-C, usando a análise de valor. Eu simplesmente quero imprimir o estado das variáveis (valores) após cada instrução (acho que a solução é silenciosamente fácil, mas não consegui descobrir). Eu tenho o ...
Combinando uma coluna de listas no OCaml
Quero essencialmente transpor uma matriz no OCaml (sem usar recursão ou qualquer tipo de loop) Por exemplo, se eu tiver a seguinte matriz:[[1;2];[3;4]], Eu quero ter a saída de[[1;3];[2;4]]. O que fiz até agora é dividir a matriz original em ...
A função retorna a lista em ordem inversa no OCaml
Quero ler alguns números de um arquivo, levá-los a uma lista e finalmente exibi-los na tela. numbers.txt atualmente possui2 3 5 7 11 no entanto, como saída estou recebendo11 7 5 3 2 - : unit = () Por que isso está acontecendo? let rec ...