├── 2018-08-21_tricky-haskell-questions.md ├── 2018-11-22_zipWith_const.md ├── 2023-06-12 Haddock+Doctest+Cairo.md ├── README.md ├── algebraic-blindness.md ├── applicative_monad.md ├── cont_monad.md ├── crazy_io.md ├── fbut.md ├── fix.md ├── fixing-warnings.md ├── functions_comprehensible.md ├── great_things_about_haskell.md ├── haskell-cpp-compatibility.md ├── haskell-equality-table.html ├── haskell_style.md ├── hindley-milner ├── .gitignore ├── .stylish-haskell.yaml ├── LICENSE.md ├── Makefile ├── README.md ├── Setup.hs ├── app │ └── Main.hs ├── hindley-milner.cabal ├── src │ └── HindleyMilner.hs ├── stack.yaml └── test │ └── Doctest.hs ├── instances.md ├── law-rules.md ├── lens-infix-operators.md ├── loeb-moeb.md ├── monad_analogy_counterexamples.md ├── monad_fail.md ├── monad_fail_update1.md ├── reader_instance_derived.md ├── second_functor_law.md ├── seqm_proposal.md ├── tag-dont-type.md ├── unmaintainable_haskell.md ├── useful_techniques.md ├── warning-redesign.md └── write_yourself_a_brainfuck.md /2018-08-21_tricky-haskell-questions.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/2018-08-21_tricky-haskell-questions.md -------------------------------------------------------------------------------- /2018-11-22_zipWith_const.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/2018-11-22_zipWith_const.md -------------------------------------------------------------------------------- /2023-06-12 Haddock+Doctest+Cairo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/2023-06-12 Haddock+Doctest+Cairo.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/README.md -------------------------------------------------------------------------------- /algebraic-blindness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/algebraic-blindness.md -------------------------------------------------------------------------------- /applicative_monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/applicative_monad.md -------------------------------------------------------------------------------- /cont_monad.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/cont_monad.md -------------------------------------------------------------------------------- /crazy_io.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/crazy_io.md -------------------------------------------------------------------------------- /fbut.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/fbut.md -------------------------------------------------------------------------------- /fix.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/fix.md -------------------------------------------------------------------------------- /fixing-warnings.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/fixing-warnings.md -------------------------------------------------------------------------------- /functions_comprehensible.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/functions_comprehensible.md -------------------------------------------------------------------------------- /great_things_about_haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/great_things_about_haskell.md -------------------------------------------------------------------------------- /haskell-cpp-compatibility.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/haskell-cpp-compatibility.md -------------------------------------------------------------------------------- /haskell-equality-table.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/haskell-equality-table.html -------------------------------------------------------------------------------- /haskell_style.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/haskell_style.md -------------------------------------------------------------------------------- /hindley-milner/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/.gitignore -------------------------------------------------------------------------------- /hindley-milner/.stylish-haskell.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/.stylish-haskell.yaml -------------------------------------------------------------------------------- /hindley-milner/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/LICENSE.md -------------------------------------------------------------------------------- /hindley-milner/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/Makefile -------------------------------------------------------------------------------- /hindley-milner/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/README.md -------------------------------------------------------------------------------- /hindley-milner/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /hindley-milner/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/app/Main.hs -------------------------------------------------------------------------------- /hindley-milner/hindley-milner.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/hindley-milner.cabal -------------------------------------------------------------------------------- /hindley-milner/src/HindleyMilner.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/src/HindleyMilner.hs -------------------------------------------------------------------------------- /hindley-milner/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/stack.yaml -------------------------------------------------------------------------------- /hindley-milner/test/Doctest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/hindley-milner/test/Doctest.hs -------------------------------------------------------------------------------- /instances.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/instances.md -------------------------------------------------------------------------------- /law-rules.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/law-rules.md -------------------------------------------------------------------------------- /lens-infix-operators.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/lens-infix-operators.md -------------------------------------------------------------------------------- /loeb-moeb.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/loeb-moeb.md -------------------------------------------------------------------------------- /monad_analogy_counterexamples.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/monad_analogy_counterexamples.md -------------------------------------------------------------------------------- /monad_fail.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/monad_fail.md -------------------------------------------------------------------------------- /monad_fail_update1.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/monad_fail_update1.md -------------------------------------------------------------------------------- /reader_instance_derived.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/reader_instance_derived.md -------------------------------------------------------------------------------- /second_functor_law.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/second_functor_law.md -------------------------------------------------------------------------------- /seqm_proposal.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/seqm_proposal.md -------------------------------------------------------------------------------- /tag-dont-type.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/tag-dont-type.md -------------------------------------------------------------------------------- /unmaintainable_haskell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/unmaintainable_haskell.md -------------------------------------------------------------------------------- /useful_techniques.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/useful_techniques.md -------------------------------------------------------------------------------- /warning-redesign.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/warning-redesign.md -------------------------------------------------------------------------------- /write_yourself_a_brainfuck.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/quchen/articles/HEAD/write_yourself_a_brainfuck.md --------------------------------------------------------------------------------