Profile
Masanori Ogino 𓀁
181351 posts 1993 follows 1215 followers
Please pay attention to random failures.
https://mstdn.maud.io/@omasanori
Masanori Ogino 𓀁 omasanori@mstdn.maud.io
A | B → A | B よりも厳しい (A → A) ∧ (B → B) を表せるような型システム、面白そう。
My Future with Elixir: set-theoretic types - The Elixir programming language
https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/