I'm trying to implement live variable analysis in OCaml. I already have the control flow graph built, but I'm having trouble thinking of ways to compu ...

Error: This expression has type 'a * 'b but an expression was expected of type float I was trying to get the max of 4 numbers using a max between 2 ...

So, I need to install OUnit2 and I'm on a 2015 MacBook Pro running MacOS Monterey 12.6. I have homebrew, I have Ocaml, I have opam. Dune is one of Oun ...

What does this function do in OCaml? I especially am confused with the line: ...

Why can't I use [1] :: [1] but [1] :: [1] :: []? I tried to do [1] :: [1]. Got this error: Error: This expression has type int but an expression was ...

When I run the above program in VS Code by selecting all lines of code then press Ctrl+Enter, this is what displays in the terminal: As you can s ...

Sometimes I look at code that goes like this: let x = (* 1 million lines of code *) let y = (* 5 billion lines of code *) in (* 5 lin ...

In ppxlib it says that sexp_of_opaque x converts the value x of opaque type to an S-expression. This means the user need not provide converters, b ...

When you define an operator such as let (++) a b = a :: b When you do let v = foo a ++ bar b bar is evaluated before foo. A workaround is to u ...

When declaring a function, I've 3 different ways: let f x = ... let f = (fun x -> ...) let f = function | ... -> (pattern matching) It ...

I want to use a library built as a .a file in my dune project (exposing some needed functions...), but the dune documentation specifies only how to us ...

in OCaml I can catch exceptions: but what about the other way around, detecting that a function does not throw an exception (when it should be)? ...

I am new to OCaml and learning the syntactical nuances. As the documentation on OCaml is sparse, i would appreciate if some one can explain the differ ...

I have the following code written in Ocaml to try and generate the first 50 catalan numbers: let rec f n:int64= if n<1 then 1L else (4*n-2)*f((n ...

My old notes on ML say that is a syntactic sugar for and that is equivalent to where each 𝑣 (with or without a subscript) stands for ...

I've been at this for a good two hours now but I can't get the compiler to stop giving me this warning. Below is my parser.mly code. ...

So I have two modules, for ex. Now the question, if I have n amount of elements of type A (each of them has m amount of elements type t) inside one ...

Let's say we have a string and a type formula: (aka predicate logic) and we want to: create a function which takes one line, splits it and t ...

I am new to OCaml. And I am writing a simple assembler compiler. I have the following types which I use in my AST. I think types are good because t ...

I am trying to write the following code in Ocaml: And then I encountered the following error: I have tried using the begin and end keywords. ...