search

JulesKouatchou / basic_language_comparison

Other
85 stars 21 forks source link

Add OCaml language for comparison #5

Open XVilka opened 4 years ago

XVilka commented 4 years ago

OCaml language community recently started to work hard on providing the infrastructure for scientific and domain-specific computing. OWL framework is one of the most developed ones for OCaml. See their GitHub repositories. And a companies like Imandra help to bring more correctness (using the sound OCaml type system) into the production level computations.

cc @mseri @ryanrhymes

JulesKouatchou commented 4 years ago

Something I might consider down the road.