4 ms·
Scala's type system is also turing complete. They sometimes use type lambdas to get around some of the inexpressiveness of the type system.
by curried_haskell 10y ago
Scala's type system is also turing complete. They sometimes use type lambdas to get around some of the inexpressiveness of the type system.