Patrick Thomson

icon indicating a website link http://blog.sumtypeofway.com icon indicating an email [email protected]

icon location Queens, NYC icon location Te occidere possunt sed te edere non possunt; nefas est.

Results 81 issues of Patrick Thomson

Conclusion

writing

Other examples

- Add lambdas as rewriting - Add ADTs to C - C2Swift - ObjC

writing

Converting C90 to JSON

Good example of catamorphisms.

writing

Extending C90 with binary literals.

Simple addition to the bottom of the parser tower.

writing

Shortcomings

Recursion (lambdas), ugly types, weird error messages, takes a while to run.

writing

Explanation of parser tower

Shout out to Kmett.

writing

Explanation of type families and pluggability

This is sort of our core contribution.

writing

Overview of the expression problem

Should probably include an explanation of coproducts, at least deep enough to make sure people understand `:+:` and `:

writing

Introduction and thesis statement

What are we trying to solve here.

writing

Describe the alternatives we tried

syb and fix plate proved too inexpressive. Write about why that is.

writing