Staying Turing-incomplete is hard, folkshttps://forums.swift.org/t/swift-type-checking-is-undecidable/39024 …
Show this thread
-
Embrace it. Come to the dark side
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
End of conversation
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.