Carl Mäsak
Carl Mäsak
## Object model tbd xxx Every language has an object model that looks slightly different; C++, Perl 5/Moose, Python, JavaScript, C# — frustrating! Is there a "truth" about objects? a...
## Generic functions Functions are pretty powerful before we even get to generic functions. Here are the modular (but on-by-default) features you get in ordinary functions: * **Optional parameters**. A...
## Call-by-value vs call-by-name In a pure, effect-free world, there's no observable difference between CBV and CBN. This is something that Paul Blain Levy points out in his dissertation. CBV...
## Macro expansion tbd
## The billion dollar mistake tbd (well, I mean — not planning to (re-)do the mistake itself; planning to write this out later)
## Lexing and parsing tbd xxx lexer-parser separation (vs scannerless), especially in the face of both lexer and parser being extensible xxx Alma's general trend towards a a "pure" parse...
## Types (and static vs dynamic) xxx Alma being at heart a dynamic language, but (moreso than Raku) friendly to the static point of view xxx gradual typing (?) xxx...
## Exceptions, `next`/`last`/`redo`, and effect handlers xxx
## Foreign Function Interface (FFI) xxx https://verdagon.dev/blog/fearless-ffi
## Whether everything is (or should be) an expression xxx (no) xxx https://craftinginterpreters.com/the-lox-language.html#design-note