A neat feature of clojure.spec is regular expressions for describing shapes of (heterogenous, i.e. non-uniform) sequences. It can be used as an argument against static type systems. Type systems cannot have such things, can they?
In this talk, we'll see that, in fact, regular expressions are a nice theory, which can be fitted into type systems. We'll discuss some of the properties of regular expressions, which make them a suitable and convenient to use addition. To make that concrete, we'll build a prototype Haskell extension, and see it working!
Slides: http://oleg.fi/gists/posts/2018-09-13...
Regular Expressions of Types – Oleg Grenrus | |
| 10 Likes | 10 Dislikes |
| 563 views views | 1,162 followers |
| Science & Technology | Upload TimePublished on 17 Sep 2018 |
Không có nhận xét nào:
Đăng nhận xét