Isaac Shapira

remote

Types Are Not Safe

May 7, 2024 12:30 PM

Types provide safety to your terms, but what provides safety to your types? Nothing, and nothing ever will. Do you want to write type safe programs or not?

Starting from: $500

Unchain your mind at LambdaConf 2025

Buy tickets