given that we have very lightweight product type syntax, we can investigate dropping currying and instead preferring product types for function arguments. we can come up with some additional…
thinking about statically typed dynamic scope. if this works, it provides a powerful kind of dependency injection with minimal syntax, so i think it might be a good idea after all.
the idea…
Maybe is built into the language. unary ? introduces an optional type. the variants should have special spellings, but not sure what. >< for None and <bocchi> for Just bocchi would be cute,…
re: subtype polymorphism without rtti, seg suggested looking at scala's and kotlin's sealed hierarchies. it seems like having a rule like "a property shared by every variant of a sum type is…
