Day 7 is about Spacchetti, the Psc-Package set powered by the Dhall programming language:
day 8 is about using parameters for paths in Symbols, giving you parametrized type-level strings for free:
Day 9 revisited the day 2 topic but with Nix involved:
Day 10 is about using datatype generics for all kinds of things, like generating typescript types or deserializing JSON to sum/product types:
Day 11 is about de/serializing inferred record types to/from JSON:
Day 12 is about using type information to extract information from INI files, with tortellINI, in both PureScript and Haskell:
Day 13 is about type-level string templates with optional type annotations:
Day 14 is about implementing your own compiler type class in the PureScript compiler:
Day 15 is about converting (if any) bower projects to nix using psc-package2nix:
Day 16 is about stuffing Variants into JS Errors to optionally extract values later:
Day 17 is about how to use Row.Union constraints to have well-typed partial properties
Day 18 is about Jajanmen, how to extract a record type from a Symbol
Day 19 is about how you get to be in the driver’s seat with how you choose to do FFI in PureScript
Day 20 is about how to easily set up an environment to write slides with Markdown to compile to Beamer presentations with Pandoc using Nix
Day 21 is about using instance chains for literal arithmetic
Day 22 is about being able to reflect records of proxies for free
Day 23 is about being able to assert two determined types to be equal, and making a custom type error on mismatches
Day 24 is about using row types to build chart.js specs, both for constraining valid operations for kinds of charts and for building up the resulting type:
Thanks to noolbar on Qiita for the Japanese translation!
Day 25 is the last post of the Advent of Justin 2018 and is about how PureScript is for everyone:
Congrats on the successful completion.of the series! It takes a lot of work and stamina to keep it consistent for a whole month!
