This is really clever. Why don't more languages do this? Also, is this the same analysis that does type checking? And does this technique make it unbearably slow?
C++ is an odd compilation target. Usually it's just C. I'd be curious to see what kind of C++ it emits, and whether the techniques it uses would be better exported as C++ libraries than a new language on top of C++.
It actually uses C for the JIT (libtcc), but the fact it has to go thru a layer is a source of slowness and complication.
90s_dev•6mo ago
Also, why haven't we standardized a syntax yet? Seems like at this point we shouldn't be debating braces vs do/end vs indentation, and we should just settle.
> Lobster is a programming language that tries to combine the advantages of static typing and compile-time memory management with a very lightweight, friendly and terse syntax, by doing most of the heavy lifting for you.
That's... a non-sequitor? Syntax is interesting to discuss and think about it, but when I see "static typing and compile-time memory management", I want to jump right into knowing more about its implementatoin and usage. Does it use ref-counting? Is it embeddable like Lua? Does it have a VM or compile to machine code? etc.