News for hackers. Stuff that matters.

A comment on Thoughts on Designing a new Web Apps Language. Parent comment

Re:Thoughts on Designing a new Web Apps Language by njs12345 on Saturday August 20, 2011 @07:56AM (#2906453)
Have you ever used anything in the ML family of languages (e.g OCaml/Standard ML/Haskell)? You barely ever have to write types in these as long as your program makes sense..
[ Parent | on HN ]
Re:Thoughts on Designing a new Web Apps Language by jhferris3 on Saturday August 20, 2011 @10:52AM (#2906755)
Right on. I'm not sure I'd go so far as wanting the language to be as strict/typesafe as those (also calling Haskell an ML derivative is kind of funny, but I know what you mean)
[ Parent | on HN ]
Re:Thoughts on Designing a new Web Apps Language by true_religion on Saturday August 20, 2011 @10:27AM (#2906700)
It'd be better to simply have a JIT with type inference for performance.
[ Parent | on HN ]
Re:Thoughts on Designing a new Web Apps Language by jhferris3 on Saturday August 20, 2011 @10:56AM (#2906766)
Perhaps? It's unclear that a JIT with type inference will give you better performance than compiling (especially if you were to do profile guided optimization) (sidethought: not sure if llvm has support for PGO).

Also, if most of your types are static anyway (which in my middling amount of experience, they tend to be), I personally would rather get compile time errors rather than runtime errors. But maybe thats just me.

[ Parent | on HN ]
Re:Thoughts on Designing a new Web Apps Language by shawndumas on Saturday August 20, 2011 @11:38AM (#2906849)
F#
[ Parent | on HN ]