4 ms·
wrong "singletons" http://stackoverflow.com/questions/16017294/singleton-types-in-haskell http://stackoverflow.com/questions/16017294/singleton-types-... Sing
by sleexyz 10y ago
wrong "singletons"
http://stackoverflow.com/questions/16017294/singleton-types-in-haskell http://stackoverflow.com/questions/16017294/singleton-types-...
Singletons are a way to emulate dependent types with typeclasses, datakinds, and GADTs
- joostdevries 10y agoNo it isn't http://www.slideshare.net/yoozd/union-types-and-literal-singleton-types-in-scala-and-typescript http://www.slideshare.net/yoozd/union-types-and-literal-sing...