osa1.net
- Posts
- 20 from 22 Nov 2024 to 26 Sep 2026
- Posting
- monthly (10 in the last year)
- Kind
- personal blog
- Feed
- https://osa1.net/rss.xml
2026 10
- Presence polymorphism
- Coherence and orphan instance rules
- Unification and impl search
- Macros in Fir
- Languages should have opinionated interop features
- A text editor I worked on in 2021-2023
- Fir now compiles to C (+ extensible named types, associated types, modules, and more)
- Exceptions as shared secrets, demonstrated
- Containing contagious types with OCaml modules
- Extensible named types in Fir