Resultados da pesquisa a pedido "ocaml"
OCaml: Corresponde à expressão dentro de outra?
Atualmente, estou trabalhando em um pequeno projeto com o OCaml; um simplificador de expressão matemática simples. Devo encontrar certos padrões dentro de uma expressão e simplificá-los para que o número de parênteses dentro da expressão diminua. ...
Por que um aplicativo parcial tem restrição de valor?
Eu posso entender issoallowing mutable é a razão da restrição de valor e polimorfismo fraco. Basicamente, uma referência mutável dentro de uma função pode alterar o tipo envolvido e afetar o uso futuro da função. Portanto, o polimorfismo real ...
Existe algum tradutor gratuito de OCaml para C? [fechadas]
Então, eu tenho um bom código OCaml (50000 linhas). Quero portá-lo para C. Então, existe algum tradutor gratuito de OCaml para C?
Palavra-chave "as" no OCaml
Nas respostas para os tutoriais para OCaml disponíveis emesse site [http://ocaml.org/learn/tutorials/99problems.html], algumas das soluções, incluindo a que elimina duplicatas consecutivas dos elementos da lista, são escritas da seguinte ...
Como faço para serialização automática de dados de objetos de dados?
Um dos grandes benefícios em linguagens que têm algum tipo de reflexão / introspecição é que os objetos podem ser construídos automaticamente a partir de uma variedade de fontes. Por exemplo, em Java, posso usar os mesmos objetos para persistir ...
O OCaml converterá a função de vários argumentos em curry ou o contrário?
Quando eu estava aprendendo os conceitos básicos do OCaml, me disseram que todas as funções no OCaml são na verdade uma função com apenas um parâmetro. Uma função de múltiplos argumentos é na verdade uma função que recebe um argumento e retorna ...
Manipulando Alterações Incrementais da Modelagem de Dados na Programação Funcional
A maioria dos problemas que tenho que resolver no meu trabalho como desenvolvedor tem a ver com modelagem de dados. Por exemplo, em um mundo de aplicativos da Web OOP, geralmente tenho que alterar as propriedades de dados que estão em um objeto ...
Qual é o significado do Aviso 40: este registro… contém campos que não são visíveis no escopo atual
Por favor, considere o seguinte código: module A = struct type r = { i : int; s: string } end module B = struct type r = { i : int; s : string } end let f (x : A.r) : B.r = match x with { i; s } -> { i = 2*i; s = "" }Dois módulos definem ...
Largura funcional Primeira pesquisa
A primeira pesquisa de profundidade funcional é adorável em gráficos acíclicos direcionados. Nos gráficos com ciclos, no entanto, como evitamos recursões infinitas? Em uma linguagem processual, eu marcaria os nós ao atingi-los, mas digamos que ...
Criando expressão GADT no OCaml
Aqui está a minha expressão GADT de brinquedo: type _ expr = | Num : int -> int expr | Add : int expr * int expr -> int expr | Sub : int expr * int expr -> int expr | Mul : int expr * int expr -> int expr | Div : int expr * int expr -> int expr ...