been focusing on writing thoughts on wobleg for a bit now but wanted to write down this idea for further refinement another day:
if function args are just product types, then we can write…
i've been trying to imagine structured concurrency lifetimes as applicatives, but i think that is the wrong view. it is certainly the case that we might want to operate on an applicative…
torn between directory is a module as in go, which i really like, and refer only to things earlier in the same file as in f#, which is tremendously easier to type check, easier to read since you…
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…