Runtime Checks

blog.felipe.rs

I am a Brazilian Sofware Engineer working remotely from Brazil. I taught myself programming when I was in high school and studied Computer Science in university. I currently work at Voltron Data on the C++ implementation of Apache Arrow. In the past, I lived in Sweden and worked at Spotify on the core C++ libraries…

Popular posts: 2
Total points: 625
HN comments: 425
Rank: #3,959 personal

Visit blog.felipe.rs → RSS feedOn Hacker News Feb 2017 – Jul 2017

Software Engineering 1 Math & Algorithms 1 Programming Languages 1 History & Retro Computing 1

Most points Most discussed Most cited Newest

Where Do Type Systems Come From?

2017285 points349 comments Programming Languages details

Every time I want to quickly understand something about an advanced type system or programming language concept I get lost when I see something like this on Wikipedia: