Viewing profile — lpw25

This is part 3 of a series, the previous posts were: 1. Locality: https://blog.janestreet.com/oxidizing-ocaml-locality/ (Discussion: https://news.ycombinator.com/item?id=36094799 )…

These are the posts the article is referring to: Part 1: https://blog.janestreet.com/oxidizing-ocaml-locality/ Part 2: https://blog.janestreet.com/oxidizing-ocaml-ownership/

Our long term aim is to upstream all of our work from our branch of the OCaml compiler. Of course, that is contingent on the ideas we’re developing there being accepted by the comm…

> OCaml (concurrency isn't the best) Pet peeve: OCaml's concurrency is pretty good, it's parallelism that it struggles with.

Modularity

> Is there any place in the official OCaml repository / issue tracking system / wiki etc where one could check the status? You can see some things on: https://github.com/ocamllabs/…

The size of Core executables is mostly addressed by module aliases. Unfortunately the public release of Core still uses packing instead of module aliases because oasis/ocamlbuild d…

It's being very actively worked on. No solid ETA yet but I would expect the coming version or the one after to work out of the box.

> I still serve on program committees and review articles for journals and the like. Judging academia from your experience on program committees is like judging the entertainment i…

It is, but it is worth noting that when OCaml or Haskell programmers talk about type inference they are usually referring to global type inference which allows an argument's type t…

Just a quick note to say that jdh hasn't been an active OCaml user for years. He trolls on behalf of F# these days.

Functors => higher-kinded types

You need at least one module that does something at top-level, otherwise your program won't do anything.

> Mind naming any fundamentally new concepts introduced by Haskell or OCaml? For OCaml: - row polymorphism (in particular polymorphic variants) - higher-order and applicative funct…

OCaml has had type-directed record disambiguation for a few versions now. So you can quite easily reuse field names these days.

> Anecdotally, the runtime also falls down when you need to use large arrays or strings, or do lots of floating-point calculations. Anecdotally from one specific well-known troll. …

Indeed classes are great for these kinds of encodings. It is one of the use cases for which classes are the nicest approach in OCaml. For example, see this section of Real World OC…

I think I disagree with this. Your functors should generally be pure, and for pure functors applicative is a nicer semantics. Consider the case of a set implemented as a binary tre…

Multicore: https://github.com/stedolan/ocaml Modular implicits: https://github.com/ocamllabs/ocaml-modular-implicits

> the languages that compile to javascript are a poor substitute (bloated code sizes, interop issues, poor runtime performance, etc) js_of_ocaml has good code size and performance …

> The kind of mistakes that good programmers make are not normally caught in code reviews. That's pretty much the definition of a good programmer; their mistakes are rare and subtl…

> Also, has anyone ever used gadts to implement type safe syntax trees like that? I believe the main use is for embedded DSLs. I'm afraid I don't have any practical examples on han…

> I would say F# is an implementation that includes all the good parts of Ocaml the language I like F#, but this just isn't true: - Polymorphic variants - GADTs - Module system The…

Actually OCaml does support recursive types. Recursion through objects and polymorphic variants is always supported, and full recursive types can be turned on with the `rectypes` c…

OCaml has excellent compile-to-JavaScript support. Facebook use this to compile their Hack type-checker for an in-browser IDE. I imagine they do something similar for Flow.