OCaml 4.04.0 released • Hacker News Board

Re: OCaml 4.04.0 released

#21

Post by ZenoArrow » Sat, Nov 05, 2016, 10:27 AM UTC

skiplist1 wrote: post #19

I would like to see a language like haskell with no delayed or lazy evaluation so that one can better predict performance. Haskell has a great community and a charm that I would like for Ocaml. Don't know if Jane Street is still advocating their Ocaml core or kernel. F#, ml, haskell and OCaml, and a strong language for parallelism whose name I don't remember are hints that we need a better language. Haskell is not pr…

> "I would like to see a language like haskell with no delayed or lazy evaluation so that one can better predict performance."

I believe there are a few languages that fit that description. Idris is one:

http://www.idris-lang.org/

Re: OCaml 4.04.0 released

#22

Post by mseri » Sat, Nov 05, 2016, 12:15 PM UTC

The changes are explained with some examples here [0]. Flambda is finally on, but comes with a regression :( [1].

[0]: https://github.com/gasche/ocaml-releases-change-explanation/... [1]: https://sympa.inria.fr/sympa/arc/caml-list/2016-11/msg00000....

Re: OCaml 4.04.0 released

#23

Post by pjmlp » Sat, Nov 05, 2016, 6:31 PM UTC

DonPellegrino wrote: post #13

desireco42 wrote: post #5

Just finishing OCaml course at Paris Diderot www.fun-mooc.fr/login?next=/courses/parisdiderot/56002S02 Really cool language and opened my eyes on how some constructs are being used. Multicore is definitely must for functional languages.(sorry random thought)

F# lacks all the most advanced module capabilities of OCaml, is tied to the CLR and isn't free of the Null problem.

Meanwhile it enjoys real multi-core, and has much better IDE support, access to 3D accelerated GUIs and high quality DB drivers and proper Windows supports.

Re: OCaml 4.04.0 released

#24

Post by pjmlp » Sat, Nov 05, 2016, 6:32 PM UTC

jackmott wrote: post #7

desireco42 wrote: post #5

Just finishing OCaml course at Paris Diderot www.fun-mooc.fr/login?next=/courses/parisdiderot/56002S02 Really cool language and opened my eyes on how some constructs are being used. Multicore is definitely must for functional languages.(sorry random thought)

F# is very similar, and has multicore. Can't compile to native yet though, I don't think.

It can compile to native via NGEN and Mono, for .NET Native it is WIP.

Re: OCaml 4.04.0 released

#25

Post by amirmc » Sun, Nov 06, 2016, 9:56 AM UTC

raphinou wrote: post #18

I really like ocaml, but it could do with better community management I think. Eg it's been more than one week that the links of the news section on the homepage result in a white page. This might deter newcomers to even try it.

The community efforts are largely volunteer-driven by many people who also have day jobs (including me). Indeed, things could be better but given how much does get done, I'm willing to cut them some slack.

Re: OCaml 4.04.0 released

#26

Post by desireco42 » Tue, Nov 08, 2016, 9:27 PM UTC

jallmann wrote: post #11

desireco42 wrote: post #5

Just finishing OCaml course at Paris Diderot www.fun-mooc.fr/login?next=/courses/parisdiderot/56002S02 Really cool language and opened my eyes on how some constructs are being used. Multicore is definitely must for functional languages.(sorry random thought)

> Multicore is definitely must for functional languages.(sorry random thought) ...why?

I didn't want to take it away from announcement. I see others are saying it might not be as important.

I believe it to be main attraction of functional languages. We don't want to be stuck on single processor forever and immutability is allowing us to spread wings and utilize processors better.

So that is why I think it is imperative ( :) ) to have this as a feature of functional languages.