Drup

16 ms·

151.
by Drup 11y ago
You could be interested by http://ocsigen.org/
152.
by Drup 11y ago
It doesn't seem that ocamlscript and js_of_ocaml are using the same memory representation for OCaml values, so that's a first issue. At least for the integration between the js world and the ocaml world, I do believe it is possibl
153.
by Drup 11y ago
There you go : https://github.com/LexiFi/gen_js_api
154.
by Drup 11y ago
I was actually talking about your work for CommonML[1], which I count as improvements to the "js_of_ocaml ecosystem". ;) My issue here is that both are strictly incompatible and that you can't write FFI to a library for both.
155.
by Drup 11y ago
That is how you justify the project, and it makes sense, when you look at it with a microscope. But my remark still stand: we now have two compilers to js, their API/FFI is not the same, so you can't factorize work, and the integr
156.
by Drup 11y ago
I'm still wondering why js_of_ocaml couldn't be improved. You yourself did some work towards that, mostly out of the compiler itself. We have multiple standard libraries, two concurrency library. It has damaged and divided the com
157.
by Drup 11y ago
Yes we are. You have to look at what you are competing against. OCaml has a much better module system (and a richer type system altogether). Purescript/Haskell got typeclasses and HKT, among lots of things. As I said, Elm is cute and i
158.
by Drup 11y ago
I don't know about "commonly", but: http://websharper.com/
159.
by Drup 11y ago
ple-ase. Not everyone spends its time buzzing. The amount of people using Elm right now is a drop in the bucket compared to the amount of people using OCaml (and F#, in more recent years). Elm is a fun new language, it has cool features and
160.
by Drup 11y ago
For interested people, there is a very nice OCaml MOOC for beginners currently: https://www.france-universite-numerique-mooc.fr/courses/pari... !
161.
by Drup 11y ago
As someone working on eliom, I would really like to hear you on the areas where we can improve seamless-ness. :)
162.
by Drup 11y ago
This is no different than trusting the processor for running the emmited assembly according to the model you have for what assembly is supposed to do. Here, the compiler emits (a subset of) javascript which are assumed to have a semantics,
163.
by Drup 11y ago
It's a bad comparison though. The real equivalent of opa in the OCaml ecosystem is eliom. :) (Also, isn't opa a bit, you know, dead ?)
164.
by Drup 11y ago
And also a tribute to Thierry Coquand, the inventor of the CoC.
165.
by Drup 11y ago
Being an academic, I often hang out with people of various nationalities, usually each with it's own english-based language, slightly modified by grammar quirks and foreign vocabulary. A linguist friend call that "international en
166.
by Drup 11y ago
Most examples of HKT in Haskell are either: - not necessary. You don't need HKTs to have >>= for your favorite monad. - encodable in functors/first class modules trivially. - genuinely complicated HKT. The last point happens
167.
by Drup 11y ago
> ML is good at what it does but it doesn't offer Haskell's type system. You can do most of Haskell's type trickery in OCaml though. Some things are much easier in Haskell, but other things are much harder.
168.
by Drup 11y ago
The IDE situation is now excellent (thanks to merlin[1]) and OPAM, the OCaml Package Manager, is the best package manager I have ever used. The remaining pain point, as far as tooling goes, is the debugging situation, but steady progress ha
169.
by Drup 11y ago
I'm always very amused when people say OCaml can't work at "enterprise scale" (let me snort a bit on that one, considering the scale of some open source projects) given the amount of evidences of the contrary[1] [1]: ht
170.
by Drup 11y ago
Comparison with Ceylon ?
171.
by Drup 11y ago
With a properly configured bouncer (ZNS is rather easy to setup), it will work regardless of the client.
172.
by Drup 11y ago
And apparently, you have no idea what type inference is. ;)
173.
by Drup 11y ago
Stick with Sublime Text. As long as you have merlin, the rest doesn't matter.
174.
by Drup 11y ago
http://ocaml.org/learn/tutorials/setting_up_with_oasis.html
175.
by Drup 11y ago
It's missing sql !
176.
by Drup 11y ago
The toyish version showed in tutorials, yes. The real stuff, no, it's just .. integers. And anyway, my point was that you can do much much more than type level arithmetic.
177.
by Drup 11y ago
Type level arithmetic is sugar for clever GADTs, not full blown dependent types. Try to do things in Agda/Idris and come back to haskell, the expressiveness is not nearly comparable.
178.
by Drup 11y ago
Haskell is not a real dependently type language. It may tries to quack like one, but compared to Idris/Agda, it's doing a very bad job at it. I'm pretty sure Parent didn't included Haskell.
179.
by Drup 11y ago
Does selling CompCert to Airbus count as begin "production worthy" ? I would (not) be amused when people try to put javascript in plane navigation systems. Do not forget that most dependently type languages (and Coq the first) are
180.
by Drup 11y ago
In all the section related to OCaml, replace "concurrency" by "parallelism". OCaml has an excellent concurrency story (through libraries like Lwt and Async) and a decent story for message-passing parallelism. The issue a

More ›