Resultados da pesquisa a pedido "ocaml"

3 a resposta

Como escrever código em F # para o que os functors fazem no OCaml?

Eu tenho muitos programas escritos em OCaml, alguns deles usam functors. Agora, estou pensando em escrever e reescrever uma parte do código em F # (para beneficiar algumas vantagens que o OCaml não possui). Uma coisa que tenho medo é escrever ...

2 a resposta

Atributos OCaml

Eu estava olhando o manual e descobri que existem atributos no OCaml para declarar as coisas como obsoletas (consulte http://caml.inria.fr/pub/docs/manual-ocaml/extn.html [http://caml.inria.fr/pub/docs/manual-ocaml/extn.html]), mas não ...

1 a resposta

inguagem didática ocaml, alternando do escopo estático para o dinâmi

Eu tenho um pedaço de código ocaml onde uma linguagem pequena é definida com escopo estático, preciso fazer alterações nessa linguagem para que o escopo seja avaliado como dinâmico, mas realmente não consigo descobrir como fazê-lo. Eu tenho que ...

2 a resposta

Implementando uma versão recursiva final da função do tipo quicksort no F # / OCaML

É possível implementar uma versão recursiva final do algoritmo de classificação rápida (via padrão de continuação)? E se for, como implementá-lo? Versão normal (não otimizada): let rec quicksort list = match list with | [] -> [] | element::[] ...

7 a resposta

Como leio linhas de um arquivo de texto no OCaml?

Isto é o que tenho até agora. Não é tudo o que você precisa? Continuo recebendo o erro "Erro: Desvinculado módulo Std" let r file = let chan = open_in file in Std.input_list (chan)

1 a resposta

automata in ocaml

Sou um pouco novo no OCaml. Quero implementar o algoritmo de construção do produto para autômatos no ocaml. Estou confuso como representar autômatos no ocaml. Alguém pode me ajudar

4 a resposta

Veja tipos inferidos no código OCaml complexo

Sou novato no OCaml trabalhando com um código OCaml bastante complexo (pelo menos para mim) que não escrevi. Ajudaria muito entendê-lo se eu pudesse ver os tipos inferidos para alguns dos valores, como posso fazer com o F # e o Visual Studio, ...

2 a resposta

Assinaturas de tipo explícito OCaml

Em Haskell, é considerado uma boa prática declarar explicitamente a assinatura de tipo de suas funções, mesmo que possa (geralmente) ser inferida. Parece que isso nem é possível no OCaml, por exemplo, val add : int -> int -> int ;; me dá um ...

2 a resposta

OCaml: Por que não consigo usar esse infix de operador?

Definei um operador de igualdade personalizado (a definição não é realmente importante, então insiro coisas fictícias): let ( ~=~ ) a b = trueSe eu tentar usá-lo infix: if a ~=~ b then 1 else 2Estou tendo o erro a seguirThis expression is not ...

3 a resposta

Tipo de adição (+) em F #

Acabei de saber que a OCAML precisa ter um. postfix para fazer aritmética de flutuação. Um exemplo seria3. +. 4. que é igual a7. (flutuante). No entanto, o F # manipula aritmética float e número inteiro da mesma maneira, portanto,3 + 4 (int) e3. ...