For instance, suppose I want to make a type like this (using Dyn_array):
type some_type = SomeConstructor of <Dyn_array of integers>
I m a little bit lost on how to do this though. Could someone give me an example so I can wrap my head around this?
What is the problem ? the syntax ?
Have you tried using an intermediate type ?
type my_dyn = Dyn_Array of int
type some_type = SomeConstructor of my_dyn
(I don t have batteries installed). DynArray.t is defined already. You just want to specify the type for its free variable and not define a new constructor (what, X of y would do, well, aside from that embedded syntax being illegal),
type some_type = SomeConstructor of integers DynArray.t
If you wanted to leave the type of DynArray free then,
type a some_type = SomeConstructor of a DynArray.t
I wrote an app in ocaml. It consist of several modules: Util (util.ml) Work1 (work1.ml) -- open Util Work2 (work2.ml) -- open Util, too Main (main.ml) -- open all of them. When i compile its, using ...
I m writing a simple little ocaml program that reads an algebraic statement in from a file, parses it into an AST using ocamllex/ocamlyacc, reduces it, and then prints it. The part where I m reducing ...
I m trying to create a type that has multiple type parameters. I know how to make a type with one parameter: type a foo = a * int But I need to have two parameters, so that I can parameterize the ...
For instance, suppose I want to make a type like this (using Dyn_array): type some_type = SomeConstructor of <Dyn_array of integers> I m a little bit lost on how to do this though. Could ...
I m currently programming an OCaml module defining a type corresponding to a CPU register. The interface of this module is the following : (* * Defines a type which represents a R3000 register. *) ...
Let s assume for the moment that C++ is not a functional programming language. If you want to write a compiler using LLVM for the back-end, and you want to use a functional programming language and ...
I ve been doing some OCaml programming lately to learn the language and to get more acquainted with functional programming. Recently, I ve started to think that I d like to be able to extend an ...
What s wrong with this code? I can t figure it out: let parent (rules : grammar) (symbol1 : string) (symbol2 : string) : (SymbolSet.t) = try SymbolSet.singleton (getParent [symbol1; symbol2] ...