The Future of Programming is Dependent Types — Programming Word of the Day
Sometimes it feels like programming languages didn’t really change from the 60s up to now. When I feel that, I often remind myself of the cool tools and features we have now that make our lives easier…