Dependent Types - The Future of Programming Languages

Hello!
 
 
Despite the outlandishness and some distraction of the topic under consideration today - we hope that she will be able to diversify your weekend. At the end of the post we put three links from the author, allowing you to get acquainted with dependent typing in Idris, F # and jаvascript
 
Idris
 
 
F #
 
 
Adding dependent types to jаvascript 3r33381.
3r33381.
+ 0 -

Add comment