This paper on typing named and optional args defines a target calculus λ_iu and source calculus UAENA

i.cs.hku.hk/%7Ebruno/pap...

For me, writing is a form of thinking. It really helps clarify what's going on in my brain, because I have to like, explain it to write it down.

So, if you're a beginner and you want to write a blog post on something you're learning? Please do! It will help you, and everyone else.