Dependent Types - The Future of Programming Languages
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
→ F #
→ Adding dependent types to jаvascript 3r33381.
It may be interesting