also re: the web assembly support --
_k - is there a write up?
also does the 'return' keyword have the same semantics as haskell
it doesnt look like it's monadic hmm
Cirru is only an AST representation, rather than a language. I'm using Cirru to generate JavaScript and Clojure at this moment, no Haskell yet.
To compile to Haskell, I also need to generate type declarations. My skills is not enough for that. @xornand
I'm reading through the webassembly issue WebAssembly/design#617
you mention the string syntax as something you're not happy with
this seems like a limitation of using JSON as the AST target, and this implementation detail has leaked into the language
you obviously know EDN would fix that by providing symbol types, but can't you have meta info added to the AST?
a => "a""a" => {type: "string", value: "a"}
String was a problem somehow. I think current solution is OK to me
I thought about several solutions,
"|a string" is one of them
like a constructor. But turned out to be long for writing.
I was trying to fit my code into that syntax tree, and in the meanwhile keep the tree as simple as possible. many restrictions.
and for JSON, it's actually less then JSON. If you read its type, it's only
Lists and Strings.
I still don't quite get this string problem, but I'll keep thinking about it today
Think about this: I was trying to create a DOM tree to edit Lisp code and generate JSON tree, and I have some restrictions: 1) the editor should be simple, or it could be hard to reuse and build, 2) the editor should be capable of expressing a language, including data types and expressions. What's the best one you can get?