# The Future of Programming Is Dependent Types — Programming Word of the Day ![rw-book-cover](https://readwise-assets.s3.amazonaws.com/static/images/article2.74d541386bbf.png) ## Metadata - Author: [[Marin Benčević]] - Full Title: The Future of Programming Is Dependent Types — Programming Word of the Day - Category: #articles - Source: medium - Last Highlighted: 2024-10-30 10:08:52.934280+00:00 - URL: https://medium.com/p/fcd5f2634878 ## Highlights - Wouldn’t it be cool if you could have a function which can only receive a non-empty list of users? Or a function which would receive only a well-formatted email address? For that to work, you would have to have a type “non empty array” or a type “email address”. You would have to have a type which depends on a value, or a dependent type.