|
|
|
|
|
|
by jaked89
3663 days ago
|
|
|
Rest assured, not all new languages take this route. On the other side of the spectrum, type systems get stronger and more powerful. Read about dependent typing in Idris, F*. Also, nearly all academic work focuses on improved type systems. |
|
|