RANDOMBLOGShttps://devblogy.k47.cz/random/tag/davesquared.html Using phantom types to associate static values and generic typeshttp://davesquared.net/2019/01/phantom-types.htmlWed, 16 Jan 2019 21:50:00 +0100davesquared Quick, hacky truth tables in Haskellhttp://davesquared.net/2018/12/haskell-truth-tables.htmlWed, 5 Dec 2018 06:20:00 +0100davesquared For sale: Several tonnes of yak hair, going cheaphttp://davesquared.net/2018/10/yaks-galore.htmlSat, 20 Oct 2018 01:20:00 +0200davesquared StandaloneDeriving to fix forgetfulness in GHCihttp://davesquared.net/2018/07/standalone-deriving-in-ghci.htmlTue, 3 Jul 2018 07:09:00 +0200davesquared Aggregationhttp://davesquared.net/2017/11/aggregation.htmlSat, 4 Nov 2017 07:30:00 +0100davesquared Specifying FAKE targetshttp://davesquared.net/2017/02/fake-targets.htmlSat, 4 Feb 2017 22:45:00 +0100davesquared Pondering a prescription for pattern matching prevalancehttp://davesquared.net/2016/02/pattern-matching.htmlTue, 16 Feb 2016 10:45:00 +0100davesquared Currying vs. partial applicationhttp://davesquared.net/2016/02/currying-vs-partialapp.htmlWed, 10 Feb 2016 11:30:00 +0100davesquared Reading type annotationshttp://davesquared.net/2016/02/reading-type-annotations.htmlTue, 9 Feb 2016 12:30:00 +0100davesquared The Apply patternhttp://davesquared.net/2015/07/apply-pattern.htmlMon, 27 Jul 2015 13:45:00 +0200davesquared