From 48be61e1274429474848766d043be8151ef508d1 Mon Sep 17 00:00:00 2001 From: lqdev Date: Sun, 7 Apr 2024 18:16:17 +0200 Subject: [PATCH] news: OR-types --- content/treehouse/new.tree | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/content/treehouse/new.tree b/content/treehouse/new.tree index 8239c5d..537556f 100644 --- a/content/treehouse/new.tree +++ b/content/treehouse/new.tree @@ -10,6 +10,13 @@ [read][page:programming/blog/tairu] +% id = "01HTWNETT2S5NSBF3QR4HYA7HN" +- last night I couldn't sleep because of type theory. in the process of trying to write down my thoughts, I ended up discovering a class of types which, to my knowledge, no language implements. + +### OR-types + +[what the hell do you mean, aren't sum types exactly that??][page:programming/blog/or-types] + % id = "01HRG3VN091V715A8T54QK5PVX" - I really like Lua, did you know that? but I get kind of tired of explaining why a thousand times to people who don't know the language, so…