Clik here to view.
Type Theory Essentials in Pictures – Part 1 – Quiz
I'm currently in the middle of preparing my talks for a trip to Europe the first two weeks of March (I’ll post a conference/session list later this week). One thing I love about speaking to (technical)...
View ArticleClik here to view.
Type Theory Essentials in Pictures – Part 1 – Hints
A few colleagues hinted kindly my post on Type Theory Essentials in Pictures – Part 1 – Quiz might be a little to subtle or non-obvious despite the verbal hints in the surrounding text. So I decided to...
View ArticleClik here to view.
Type Theory Essentials in Pictures – Part 1 – Answers
A while back I posted Type Theory Essentials in Pictures – Part 1 – Quiz, a series of non-annotated pictures representing concepts from type theory. Though the first part was intended to be simple, I...
View ArticleClik here to view.
Taming Your Sequence’s Side-Effects Through IEnumerable.Let
IntroductionSide-effects don’t fit together very well with functional-style delayed computation, as observed in LINQ. Having such constructs embedded in an otherwise eagerly evaluated imperative...
View Article
