Sync Sat Sep 23 03:00:09 UTC 2023

2023-09-23 03:00:09 +00:00
parent 2a36fdbb4b
commit 3eebecb4cd
4 changed files with 8 additions and 8 deletions
@@ -1,4 +0,0 @@
-= 560
-https://links.bouncepaw.com/#ZgotmplZ
-
-Solderpunk came up with a different way of portraying the future of humanity in sci-fi. Slowly move everybody to one continent. Most people live in 50 megacities. We live and degrowth as long as we can. A fun concept. I myself like space conquering more, to be honest. Maybe combine the two?
@@ -0,0 +1,4 @@
+= 624
+http://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
+
+Elixir is getting set-theoretic type system!
@@ -1,4 +0,0 @@
-= One billion, one continent
-https://links.bouncepaw.com/#ZgotmplZ
-
-Solderpunk came up with a different way of portraying the future of humanity in sci-fi. Slowly move everybody to one continent. Most people live in 50 megacities. We live and degrowth as long as we can. A fun concept. I myself like space conquering more, to be honest. Maybe combine the two?
@@ -0,0 +1,4 @@
+= Strong arrows: a new approach to gradual typing - The Elixir programming language
+http://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/
+
+Elixir is getting set-theoretic type system!