submitted by /u/brabarb [visit reddit] [comments ..read more

I need help to complete an OCaml Project. For my OCaml class, I have completed two projects on building an interpreter for a stack-oriented language. Now this last project is shorter, and almost the same excpet for functional programming languages. This is a short project that involves building an interpreter for a short functional language. There is an EBNF grammar for the syntax of the language as well as the collection of inference rules for the reduction relation which defines the operational semantics of the language. I completed the first two projects for the class, and now I'm worn out ..read more

I know modules support some kinds of dependency injection, but here’s what I’m thinking of… I have several components. A component is a data structure that supports certain functions. Thus, all components share the same signature (say, the same module type), similar to how you might say they support the same interface in a language like Go. But they have different internal representations, and they do different things (image segmentation, object detection, various AI reasoning tasks, etc). Now, I want to collect these components in an ocaml list, so I can fold over them and call a supported f ..read more

Hi, I've been learning OCaml for 2 years now, but I'm still confused on the differences between functors and functions that act on modules. From what I understand, functors are modules that take a module as a parameter, so that functions from the parameter can be used to create other functions in the resulting module. However, modules being first-class citizens, they can also be passed in and returned from functions, in the same way a functor would. So what are the differences between both ? Is one more idiomatic than another ? Thanks ! submitted by /u/MrBrownFR [visit reddit] [comments ..read more

[Sorry I don't know how to make this shorter] hi, does Ocaml support monad transformer first class as in Haskell? I know there is the monad library implementing monad transformer, but would people use it regularly, or they would avoid using it until really need it? Like I would imagine people using Haskell live and breathe in monad and monad transformer with do notation everywhere, is Ocaml the same in that aspect? I mean last I check, there is no native equivalent of Haskell do-notation in Ocaml, and people have to simulate it by create a `let*` that aliases the bind function, so I guess it ..read more

https://preview.redd.it/z49hfsb4mavc1.png?width=941&format=png&auto=webp&s=2260424ee13b40719f965987f43939546045fa47 submitted by /u/vicisvis [visit reddit] [comments ..read more

I'm coming from an F# background. I know F# started off as OCaml for the .Net platform, but the two have idiosyncracises -- similar to when you compare Java and C#. I tired OCaml a while back and one thing that I got annoyed with was the "in" keyword. I couldn't quite figure out when I needed to use it. I was thinking about picking it up again but I want to know what language-level constructs are different between OCaml and F# so I can manage my expectations going into it. Also, are there any gotchyas in the standard library I should watch out for? submitted by /u/Proclarian [visit reddit ..read more

submitted by /u/brabarb [visit reddit] [comments ..read more

I came here to vent. Initially I thought when I first encountered this whole "OCAML <-> ReasonML ../.. Rescript " mess that if I could only understand all the components and where they stood - I might feel encouraged to press on and build a web app in Ocaml. It is such a fantastic language after all. So I took the time to understand how we got here, from the Bloomberg origins to Bucklescript and misgivings about Ocaml compatibility ... then Melange fills the void...kinda... This is crap. Thanks for splitting the ecosystem right on the verge man... It's tough to attract web devs if your ..read more

submitted by /u/brabarb [visit reddit] [comments ..read more