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
- 1 more reply
New conversation -
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.