When you update a record in OCaml does the object get reallocated

I think so. It wouldn't be clever enough to know that I no longer need the object anymore all the time and compile it to a mutation appropriately

That's why Haskell people use state monads isn't it? There must be special GHC tricks to recognize that past state is no longer live so it can therefore compile to mutating the state object

Follow

Look I really don't want to think about the efficiency of state monads in OCaml

@ionchy If you need efficiency, genuine state is always available. Also record fields can be marked mutable

@jordyd I think I will write "if you want efficiency there are solutions. don't ask me"

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.