ocaml

相关标签：javascript jquery android 多少钱 iPhone

Constraining a polymorphic type

I\'ve got a range type defined as: type \'a range = Full | Range of (\'a * \'a) However, I\'d like to constrain \'a to be integer orfloat or char, with no other valid types for \'a.[详细]

2023-03-10 07:02 分类：问答
Compiling Z3 for OCaml

I tried to compile the OCaml version for Z3, however when I build it, it always shows a bunch of error and warning.[详细]

2023-03-10 06:14 分类：问答
How can ocamldebug be used with a Batteries Included project?

I have a simple ocamlbuild project which uses Batteries, including syntax extensions. _tags: <*>: pkg_batteries,pkg_threads,pkg_batteries.syntax,syntax_camlp4o[详细]

2023-03-10 05:18 分类：问答
Array of a type with a parameter in Ocaml

I have a homework exercise to do in Ocaml... My teacher said that we must use these 2 types: type \'a zapis = Prazen | Zapis of string * \'a;;[详细]

2023-03-10 02:39 分类：问答
Converting a polymorphic type to a string ( 'a -> string)

Given the following type definition: type \'a range = Full | Range of (\'a * \'a);; How do I convert values of th开发者_Go百科is type to strings?[详细]

2023-03-09 23:17 分类：问答
Referential transparency in OCaml

I\'m trying to reconcile the definition of referential transparency with how OCaml handles polymorphic types and side-effects. I read on https://web.archive.org/web/20120729232358/http://www.csc.villa[详细]

2023-03-07 12:05 分类：问答
ocaml This expression has type 'a list but is here used with type X(account)

there is piece of ocaml which works correctly type position = {symbol: string; holding: int; pprice : float; };;[详细]

2023-03-06 22:50 分类：问答
Modules : type problem in functor

I have a problem with types in the following code (some easy module functional graph implementation). It seems that types are living their own lives.[详细]

2023-03-06 17:47 分类：问答
How can I suppress g++ deprecation warnings in OCaml compilation when linking with C++ libraries?

When compiling an OCaml project which links against libraries requiring the C++ standard library (e.g. LLVM\'s OCaml bindings) using the -cc g++ argument to 开发者_运维问答ocamlc with GCC >= 4.4 gener[详细]

2023-03-06 11:30 分类：问答
Undefined symbol caml_call_gc after ocamlmklib?

I\'m trying to build a library for installation, but I am not sure what this error means: $ ocamlmklib -custom -linkall 开发者_如何学运维 ociml.ml -o ociml[详细]

2023-03-06 08:58 分类：问答