Advent of Justin 2018


#1

I will be posting a new post every day that summarizes and reflects on my past blog posts here:

I am still looking for people to volunteer to translate articles: https://github.com/justinwoo/advent-of-justin-2018/issues/1

Thanks to @nwolverson who suggested I should realize this series


#2

The advent has started, and the first day’s post is about Simple-JSON here:

Thanks to Alexander Klink and Martin Valdes for the German and Spanish translations for this post!


#3

I did? I totally don’t remember doing so. Good stuff anyway.


#4

Here is the second day’s post about Psc-Package:


#5

Here is day three, where i talk about my “Tanghulu” library and using Symbols for type-level naturals:


#6

Now here’s day 4, where I talk about Easy-PureScript-Nix and how to get started with writing Nix derivations:


#7

Here is day 5, where I talk about how Type Classes are pattern matching for types:

Thanks to @arcatan for the translation!


#8

Day 6 is about using Home Run Ball to get automatically get derivation for values using row types:


#9

Day 7 is about Spacchetti, the Psc-Package set powered by the Dhall programming language:


#10

day 8 is about using parameters for paths in Symbols, giving you parametrized type-level strings for free:


#11

Day 9 revisited the day 2 topic but with Nix involved:


#12

Day 10 is about using datatype generics for all kinds of things, like generating typescript types or deserializing JSON to sum/product types: