Resultados de la búsqueda a petición "ocaml"
automata en ocaml
Soy un poco nuevo en OCaml. Quiero implementar el algoritmo de construcción de productos para autómatas en ocaml. Estoy confundido sobre cómo representar autómatas en ocaml. ¿Alguien me puede ayudar
Ver tipos inferidos en código OCaml complejo
Soy un novato de OCaml que trabaja con un código OCaml bastante complejo (al menos para mí) que no escribí. Sería de gran ayuda entenderlo si pudiera ver los tipos inferidos para algunos de los valores, como puedo hacer con F # y Visual Studio ...
OCaml firmas de tipo explícito
En Haskell, se considera una buena práctica declarar explícitamente la firma de tipo de sus funciones, aunque puede (por lo general) inferirse. Parece que esto ni siquiera es posible en OCaml, por ejemplo, val add : int -> int -> int ;; me da un ...
OCaml: ¿Por qué no puedo usar este operador infijo?
Definí un operador de igualdad personalizado (la definición no es realmente importante, así que insertaré cosas falsas): let ( ~=~ ) a b = true Si trato de usarlo infijo: if a ~=~ b then 1 else 2Obtuve el siguiente errorThis expression is not ...
Tipo de adición (+) en F #
Acabo de enterarme de que OCAML debe tener un. postfix para hacer aritmética flotante. Un ejemplo sería3. +. 4. que es igual a7. (flotante). Sin embargo, F # maneja la aritmética de flotante y entero de la misma manera, por lo que tanto3 + 4 ...
¿Es mejor usar "y" o "en" al encadenar declaraciones "let"?
Me doy cuenta de que esta es probablemente una pregunta tonta, pero ... Si estoy encadenando un montón delet declaraciones que hacenn necesitan conocer los valores de cada uno, ¿es mejor usarand oin? Por ejemplo, cuál de estos es preferible, ...
tipo de enteros de nivel en ocaml
Alguien podría darme sugerencias / consejos sobre cómo hacer enteros de nivel de tipo en OCaml (3.12) que admitan operaciones de suma y resta en ellos? Por ejemplo, si tengo números representados así: type zero type 'a succ type pos1 = zero ...
Error: módulo independiente ... en Ocaml
Acabo de instalar una biblioteca llamadaApron, la instalación parece estar hecha: @ubuntu$ find -name "*apron*" ./lib/libapron_debug.so ./lib/libapron.a ./lib/libapron.so ...
F # vs OCaml: desbordamiento de pila
Recientemente encontré una presentación sobre F # para programadores de Python [http://combiol.org/fs/FSUG_FS4PPv2.pptx], y después de verlo, decidí implementar una solución para el "rompecabezas de las hormigas" por mi cuenta. Hay una hormiga ...
Scripted main en OCaml?
¿Cómo puedo emular este lenguaje de Python en OCaml? if __name__=="__main__": main()Ver RosettaCode [http://rosettacode.org/wiki/ScriptedMain#Python] para ejemplos en otros lenguajes de programación.