roy

As to the language rankings, some are at a large disadvantage when their standard libs are outstanding. A prime example being Julia (http://docs.julialang.org/en/latest/stdlib/). The same goes for smaller languages like Roy (https://github.com/puffnfresh/roy) since GitHub doesn't detect them.

This explains more. https://github.com/paf31/purescript It looks nice and simple to use. I guess it is similar to these: https://github.com/faylang/fay/wiki https://github.com/evancz/Elm https://github.com/puffnfresh/roy This one isn't mentioned much but has a similar goal in that the idea is to bring strong typing and a nicer functional style to web programming: https://github.com/ku-fpg/sunroof-compiler A lot of info on similar here: http://www.haskell.org/haskellwiki/The_JavaScript_Problem

> ... I am proposing that you increase the ability for both humans and computers to reason about it Ah :) On my TODO list is to create an intermediate representation to more easily reason about Roy's semantics: https://github.com/pufuwozu/roy/issues/41 I think this would satisfy your objections: hopefully the core semantics are so small that writing a JavaScript version from them wouldn't be so scary. I should try that as soon as possible. Simon Peyton-Jones has said multiple times that defining a core intermediate-language for Haskell was very important as it meant they wouldn't add things that didn't make complete sense. Working on Roy doesn't give such a strong sense. My worry about separating the semantics out into an IR is that we might lose information that makes outputting readable JavaScript possible. But we'll never know until I

I particularly like the example of Literate Roy: https://github.com/pufuwozu/roy/blob/master/examples/sqrt.lr.... This example demonstrates some of the language features and syntax: https://github.com/pufuwozu/roy/blob/master/examples/structu....

The tracing monad is fascinating. What would be a practical application of it? I've been studying monads through Learn You a Haskell for Great Good but haven't been able to put them into context (other than isolating side effects and enforcing order of execution). https://github.com/pufuwozu/roy/blob/master/test/trace_monad... let traceMonad = { return: fn x = console.log "Return:" x x bind: fn x f = console.log "Binding:" x f x } console.log (do traceMonad bind w = 1 let x = 2 bind y = 3 bind z = 4 return w + x + y + z )