Staying Turing-incomplete is hard, folkshttps://forums.swift.org/t/swift-type-checking-is-undecidable/39024 …
Show this thread
-
Seriously though if I can't write game of life in your type system is your language even worth using
> After all, nobody is using Swift for type-level group theory (yet...). Quick publish a bunch of code using Swift for type-level group theory before they fix it
-
-
code owners are asleep, post Turing complete type systems
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.