Details

Title

Essence

Details

Title

Essence

videos

Programming Simplicity

obsidian blogs (see blogs that begin with a date 202x-xx-xx-)

(WIP Books) leanpub

Wond'ring Aloud: Is Concurrency Difficult?

A DSL For Writing DSLs

X (Twitter): @paul_tarvydas

Discord: Programming Simplicity all welcome, I invite more discussion of these topics, esp. regarding Drawware and 0D

email: paultarvydas@gmail.com

blog

Computing Simplicity

There is a bunch of hieroglyphics (Unicode and Greek) that compromises the DSL for writing about types and a distinct bag of hieroglyphics (mostly ASCII, iirc) for writing about implementation.

This is apparent in Agda

The DSL for type-checking is more elaborate and magical-seeming, while the DSL for implementation seems like a bag added onto the side of the language purely for pragmatic, boring, machine-control, purposes.

A type system is just one of the distinct pieces of a compiler, written using a DSL meant for the purpose.

I think of compilers as a pipeline of very distinct - and understandable - pieces...

A Type Checker is just an app, like lint

Type Checking

Read OnlyRead Only

Scroll horizontally and vertically