https://guide.aelve.com/haskell/feed/category/dila2lox2019-05-07T08:42:25Zup13c2gu2019-05-07T08:42:25Z<h1> <a href="https://kowainik.github.io/" class="item-name">Kowainik</a> </h1><p>Announcements:</p> <ul> <li><a href="https://hackage.haskell.org/package/co-log"><code>co-log</code></a>: <a href="https://kowainik.github.io/posts/2018-09-25-co-log">co-log: Composable Contravariant Combinatorial Comonadic Configurable Convenient Logging</a> (by Dmitrii Kovanikov)</li> <li><a href="https://hackage.haskell.org/package/membrain"><code>membrain</code></a>: <a href="https://kowainik.github.io/posts/membrain">Insane in the Membrain</a> (by Veronika Romashkina)</li> <li><a href="https://hackage.haskell.org/package/tomland"><code>tomland</code></a>: <a href="https://kowainik.github.io/posts/2019-01-14-tomland">Bidirectional TOML serialization</a> (by Dmitrii Kovanikov)</li> <li><a href="https://hackage.haskell.org/package/typerep-map"><code>typerep-map</code></a>: <a href="https://kowainik.github.io/posts/2018-07-11-typerep-map-step-by-step">typerep-map step by step</a> (by Veronika Romashkina)</li> <li><a href="https://www.reddit.com/r/haskell/comments/8nsgll/ann_summoner_better_cabal_init_or_alternative_to/"><code>summoner</code></a>: Modern tool for scaffolding Haskell projects (by Veronika Romashkina)</li> <li><a href="https://www.reddit.com/r/haskell/comments/a1skcb/ann_summoner120_tui_better_scaffolding/"><code>summoner-tui</code></a>: TUI for the Summoner scaffolding tool (by Veronika Romashkina)</li> <li><a href="https://www.reddit.com/r/haskell/comments/90xyb1/ann_smuggler_ghc_source_plugin_to_manage_import/"><code>smuggler</code></a>: GHC Source pluging for automatically removing unused imports (by Dmitrii Kovanikov)</li> <li><a href="https://www.reddit.com/r/haskell/comments/8vsvjg/ann_lifesync_manage_your_personal_configuration/"><code>life-sync</code></a>: CLI tool for managing personal configs via GitHub (by Dmitrii Kovanikov)</li> </ul> <p>Popular posts:</p> <ul> <li><a href="https://kowainik.github.io/posts/2018-08-19-picnic-put-containers-into-a-backpack">Picnic: put containers into a backpack</a> (by Dmitrii Kovanikov)</li> <li><a href="https://kowainik.github.io/posts/2018-11-18-state-pattern-matching">State monad comes to help sequential pattern matching</a> (by Dmitrii Kovanikov)</li> </ul> <p>Guides:</p> <ul> <li><a href="https://kowainik.github.io/posts/2019-02-06-style-guide">Haskell Style Guide</a></li> <li><a href="https://kowainik.github.io/posts/2018-06-21-haskell-build-tools">Haskell: Build Tools</a> (by Dmitrii Kovanikov)</li> <li><a href="https://kowainik.github.io/posts/2018-09-09-dhall-to-hlint">Dhall to HLint: Using Dhall to generate HLint rules</a> (by Veronika Romashkina)</li> </ul> h14ap0mh2019-03-11T02:11:35Z<h1> <a href="https://vaibhavsagar.com/archive/" class="item-name">Vaibhav Sagar</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://vaibhavsagar.com/blog/2017/08/13/i-haskell-a-git/">I Haskell a Git</a></li> <li><a href="https://vaibhavsagar.com/blog/2018/02/04/revisiting-monadic-parsing-haskell/">Revisiting 'Monadic Parsing in Haskell'</a></li> <li><a href="https://vaibhavsagar.com/blog/2017/05/29/imperative-haskell/">Imperative Haskell</a></li> <li><a href="https://vaibhavsagar.com/blog/2018/06/19/trees-that-shrink/">Trees That Shrink</a></li> <li><a href="https://vaibhavsagar.com/blog/2018/07/29/hamts-from-scratch/">HAMTs from Scratch</a></li> </ul> o2uvxrrq2019-03-10T12:46:50Z<h1> <a href="http://mpickering.github.io/" class="item-name">Matthew Pickering</a> </h1><p>Popular posts:</p> <ul> <li><a href="http://mpickering.github.io/plugins.html"><strong>Index of resources about GHC plugins</strong></a></li> <li><a href="http://mpickering.github.io/posts/2017-05-17-inlining-case-study.html">INLIN(E)ing: a case study</a></li> <li><a href="http://mpickering.github.io/posts/2017-03-20-inlining-and-specialisation.html">Inlining and specialisation</a></li> <li><a href="http://mpickering.github.io/posts/2018-03-20-recordsvstypeclasses.html">Replacing type classes with records affects optimisation</a></li> <li><a href="http://mpickering.github.io/posts/2018-06-11-source-plugins.html">Source plugins: four ways to build a typechecked Haskell expression</a></li> </ul> <p>Popular announcements:</p> <ul> <li><a href="http://mpickering.github.io/posts/2015-07-23-ghc-exactprint.html">ghc-exactprint: a new foundation for refactoring tools</a></li> <li><a href="http://mpickering.github.io/posts/2015-12-12-pattern-synonyms-8.html">Pattern Synonyms in GHC 8.0</a></li> <li><a href="http://mpickering.github.io/posts/2015-11-22-hlint-refactor.html">Automatically apply HLint suggestions</a></li> </ul> w6alyv7t2019-03-10T12:41:06Z<h1> <a href="https://ryanglscott.github.io/" class="item-name">Ryan Scott</a> </h1><p>Popular posts:</p> <ul> <li>On QuantifiedConstraints: <ul> <li><a href="http://ryanglscott.github.io/2018/02/11/how-to-derive-generic-for-some-gadts/">How to derive Generic for (some) GADTs using QuantifiedConstraints</a></li> <li><a href="https://ryanglscott.github.io/2018/03/04/how-quantifiedconstraints-can-let-us-put-join-back-in-monad/">How QuantifiedConstraints can let us put join back in Monad</a></li> <li><a href="https://ryanglscott.github.io/2018/06/22/quantifiedconstraints-and-the-trouble-with-traversable/">QuantifiedConstraints and the trouble with Traversable</a></li> </ul> </li> <li><a href="https://ryanglscott.github.io/2019/02/06/proxy-arguments-in-class-methods/">Proxy arguments in class methods: a comparative analysis</a></li> <li><a href="http://ryanglscott.github.io/2016/05/12/whats-new-with-ghc-generics-in-80/">What's new with GHC generics in 8.0</a></li> <li><a href="https://ryanglscott.github.io/2017/04/12/improvements-to-deriving-in-ghc-82/">Improvements to deriving in GHC 8.2</a></li> </ul> p13tm1qz2019-03-10T11:49:35Z<h1> <a href="https://reasonablypolymorphic.com" class="item-name">Sandy Maguire</a> </h1><p>Popular posts:</p> <ul> <li>On the &quot;higher-kinded data&quot; pattern: <ul> <li><a href="https://reasonablypolymorphic.com/blog/higher-kinded-data/">Higher-Kinded Data</a></li> <li><a href="https://reasonablypolymorphic.com/blog/free-lenses/">Free Lenses for Higher-Kinded Data</a></li> <li><a href="https://reasonablypolymorphic.com/blog/hkd-not-terrible/">HKD: Less Terrible than You Might Expect</a></li> </ul> </li> <li>On free monads: <ul> <li><a href="https://reasonablypolymorphic.com/blog/freer-monads/">Freer Monads, More Better Programs</a></li> <li><a href="https://reasonablypolymorphic.com/blog/too-fast-too-free/">Freer Monads: Too Fast, Too Free</a></li> <li><a href="https://reasonablypolymorphic.com/blog/prospecting-free-monads/">Static Analysis of Free Monads</a></li> </ul> </li> <li><a href="https://reasonablypolymorphic.com/blog/type-directed-code-generation/">Type-Directed Code Generation</a></li> <li><a href="https://reasonablypolymorphic.com/blog/roles/">Coercions and Roles for Dummies</a></li> </ul> <p>Book: <a href="https://thinkingwithtypes.com/"><strong>Thinking with Types</strong></a></p> dxm4yg1e2019-03-10T11:46:01Z<h1> <a href="https://chrispenner.ca" class="item-name">Chris Penner</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://chrispenner.ca/posts/monadio-considered-harmful"><code>MonadIO</code> considered harmful</a></li> <li><a href="https://chrispenner.ca/posts/type-tac-toe">Type Tac Toe: Advanced Type Safety</a></li> <li><a href="https://chrispenner.ca/posts/intro-to-finger-trees">A Practical Introduction To Finger Trees</a></li> <li><a href="https://chrispenner.ca/posts/typesafe-api-versioning">Typesafe Versioned APIs</a></li> <li><a href="https://chrispenner.ca/posts/mock-effects-with-data-kinds">Mocking Effects Using Constraints And Phantom Data Kinds</a></li> </ul> <p>Series:</p> <ul> <li><a href="https://lens-by-example.chrispenner.ca/">Lens by Example</a></li> <li><a href="https://recursion-schemes-by-example.chrispenner.ca/">Recursion Schemes by Example</a></li> </ul> fbcfht9z2019-03-10T10:59:12Z<h1> <a href="https://markkarpov.com/posts.html" class="item-name">Mark Karpov</a> </h1><p>Long-form tutorials:</p> <ul> <li><a href="https://markkarpov.com/megaparsec/megaparsec.html">Megaparsec tutorial</a></li> <li><a href="https://markkarpov.com/tutorial/th.html">Template Haskell tutorial</a></li> <li><a href="https://markkarpov.com/tutorial/exceptions.html">Exceptions tutorial</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="https://markkarpov.com/post/smart-constructors-that-cannot-fail.html">Smart constructors that cannot fail</a></li> <li><a href="https://markkarpov.com/post/free-monad-considered-harmful.html">Free monad considered harmful</a></li> <li><a href="https://markkarpov.com/post/migrating-text-metrics.html">Migrating text-metrics to pure Haskell</a></li> <li><a href="https://markkarpov.com/post/short-bs-and-text.html">Short <code>ByteString</code> and <code>Text</code></a></li> <li><a href="https://markkarpov.com/post/existential-quantification.html">Existential quantification</a></li> </ul> <p>Popular announcements:</p> <ul> <li><a href="https://markkarpov.com/post/announcing-hasky-stack.html">Hasky Stack</a></li> <li><a href="https://markkarpov.com/post/announcing-mmark.html">MMark</a></li> <li><a href="https://markkarpov.com/post/announcing-ghc-syntax-highlighter.html">GHC syntax highlighter</a></li> <li><a href="https://markkarpov.com/post/megaparsec-more-speed-more-power.html">Megaparsec 6</a> and <a href="https://markkarpov.com/post/megaparsec-7.html">Megaparsec 7</a></li> </ul> n1wjdc9c2017-07-30T13:39:46Z<h1> <a href="https://bartoszmilewski.com/" class="item-name">Bartosz Milewski</a> </h1><p>TODO</p> z4av3b0g2017-07-30T13:37:40Z<h1> <a href="http://www.stephendiehl.com/posts.html" class="item-name">Stephen Diehl</a> </h1><p>Longreads:</p> <ul> <li><a href="http://dev.stephendiehl.com/hask/"><strong>What I Wish I Knew When Learning Haskell</strong></a> – an immensely popular, small-book-length article filled with knowledge about Haskell (language itself, extensions, libraries, tools, and ideas) <ul> <li>also see: <a href="http://www.stephendiehl.com/posts/essential_haskell.html">A Haskell Reading List</a></li> </ul> </li> <li><a href="http://www.stephendiehl.com/llvm/">Implementing a JIT Compiled Language with Haskell and LLVM</a></li> <li><a href="http://dev.stephendiehl.com/fun/">Write You a Haskell</a> (incomplete) <ul> <li>also see: <a href="http://www.stephendiehl.com/posts/essential_compilers.html">A Haskell Implementation Reading List</a></li> </ul> </li> </ul> <p>Popular posts:</p> <ul> <li><a href="http://www.stephendiehl.com/posts/haskell_2017.html">Reflecting on Haskell in 2016</a> (see also: <a href="http://www.stephendiehl.com/posts/haskell_2016.html">2015</a>)</li> <li><a href="http://www.stephendiehl.com/posts/production.html">The Joy and Agony of Haskell in Production</a></li> <li><a href="http://www.stephendiehl.com/posts/vim_2016.html">Vim and Haskell in 2016</a></li> <li><a href="http://www.stephendiehl.com/posts/monads_machine_code.html">Monads to Machine Code</a></li> <li><a href="http://www.stephendiehl.com/posts/strings.html">A Sticky Stringy Quandary</a></li> <li>Dive into GHC: <a href="http://www.stephendiehl.com/posts/ghc_01.html">pipeline</a> | <a href="http://www.stephendiehl.com/posts/ghc_02.html">intermediate forms</a> | <a href="http://www.stephendiehl.com/posts/ghc_03.html">targeting core</a></li> <li><a href="http://www.stephendiehl.com/posts/monads.html">Monads Made Difficult</a></li> <li><a href="http://www.stephendiehl.com/posts/generics.html">Cooking Classes with Datatype Generic Programming</a></li> </ul> ltkke5jz2017-07-30T13:29:51Z<h1> <a href="http://edsko.net/" class="item-name">edsko.net</a> </h1><p>TODO.</p> <p>He has also written <a href="http://www.well-typed.com/blog/people/edsko/">a lot of posts for Well-Typed</a>.</p> e3ondnym2017-07-30T13:29:24Z<h1> <a href="http://oleg.fi/gists/" class="item-name">Oleg Grenrus</a> </h1><p>Popular posts:</p> <ul> <li>On lenses: <ul> <li><a href="http://oleg.fi/gists/posts/2017-04-18-glassery.html">Glassery</a> – a huge post on the profunctor lenses hierarchy</li> <li><a href="http://oleg.fi/gists/posts/2017-04-26-indexed-poptics.html">Indexed profunctor optics</a> – continuation</li> <li><a href="http://oleg.fi/gists/posts/2017-03-20-affine-traversal.html">Affine traversals</a></li> <li><a href="http://oleg.fi/gists/posts/2017-04-07-mutated-lens.html">Mutated lenses</a></li> </ul> </li> <li><a href="http://oleg.fi/gists/posts/2017-01-17-linear-thoughts.html">Linear thoughts</a> – a post about linear types</li> <li><a href="http://oleg.fi/gists/posts/2017-06-16-alternative-exercises.html"><code>Alternative</code> exercise</a></li> </ul> bd3lxlm22017-07-30T13:23:56Z<h1> <a href="http://www.joachim-breitner.de/blog/tag/Haskell" class="item-name">Joachim Breitner</a> </h1><p><a href="http://haskell-for-readers.nomeata.de/"><strong>Haskell for Readers</strong></a>: &quot;This workshop is uniquely tailored to those who need to read, rather than write Haskell code: auditors, scientists, managers, testers etc.&quot;</p> <p>Popular posts:</p> <ul> <li><a href="http://www.joachim-breitner.de/blog/717-Why_prove_programs_equivalent_when_your_compiler_can_do_that_for_you_">Why prove programs equivalent when your compiler can do that for you?</a></li> <li><a href="http://www.joachim-breitner.de/blog/600-On_taking_the_last_n_elements_of_a_list">On taking the last n elements of a list</a></li> <li><a href="http://www.joachim-breitner.de/blog/710-Showcasing_Applicative">Showcasing Applicative</a></li> <li><a href="https://www.joachim-breitner.de/blog/734-Finding_bugs_in_Haskell_code_by_proving_it">Finding bugs in Haskell code by proving it</a></li> </ul> <p>Popular announcements:</p> <ul> <li><a href="https://www.joachim-breitner.de/blog/682-The_Incredible_Proof_Machine">The Incredible Proof Machine</a></li> <li><a href="http://www.joachim-breitner.de/blog/719-veggies__Haskell_code_generation_from_scratch">veggies: Haskell code generation from scratch</a></li> <li><a href="http://www.joachim-breitner.de/blog/610-Adding_safe_coercions_to_Haskell">Adding safe coercions to Haskell</a></li> <li><a href="https://www.joachim-breitner.de/blog/705-The_new_CIS-194">The new CIS-194</a></li> </ul> ggvda0ug2017-07-30T13:19:48Z<h1> <a href="http://www.parsonsmatt.org/" class="item-name">Matt Parsons</a> </h1><p>Popular posts:</p> <ul> <li><a href="http://www.parsonsmatt.org/2018/03/22/three_layer_haskell_cake.html">Three Layer Haskell Cake</a></li> <li><a href="http://www.parsonsmatt.org/2016/11/18/clean_alternatives_with_maybet.html">Clean Alternatives with MaybeT</a></li> <li><a href="http://www.parsonsmatt.org/2017/04/08/maybe_use_a_type_parameter.html">Maybe? Use a type parameter!</a></li> <li><a href="http://www.parsonsmatt.org/2018/05/19/ghcid_for_the_win.html">ghcid for the win!</a></li> </ul> <p>TODO: more?</p> lo12i8ea2017-07-30T13:18:59Z<h1> <a href="https://blog.jle.im/entries.html" class="item-name">Justin Le</a> </h1><p>TODO</p> uazvxwzq2017-07-30T13:18:39Z<h1> <a href="https://lexi-lambda.github.io/" class="item-name">Alexis King</a> </h1><p>TODO</p> hx747p382017-07-30T13:18:15Z<h1> <a href="http://blog.tweag.io/blog" class="item-name">tweag.io</a> </h1><p>Popular posts:</p> <ul> <li>Linear types in Haskell: <ul> <li><a href="http://blog.tweag.io/posts/2017-03-13-linear-types.html">Linear types make performance more predictable</a></li> <li><a href="http://www.tweag.io/posts/2017-08-24-linear-types-packed-data.html">Compact normal forms + linear types = efficient network communication</a></li> <li><a href="http://www.tweag.io/posts/2017-08-03-linear-typestates.html">Encode state transitions in types using linear types</a></li> </ul> </li> <li><a href="https://hackage.haskell.org/package/inline-java"><code>inline-java</code></a>: <ul> <li><a href="http://blog.tweag.io/posts/2016-10-17-inline-java.html">A new ecosystem for Haskell: the JVM</a></li> <li><a href="http://www.tweag.io/posts/2017-09-22-inline-java-ghc-plugin.html">GHC compiler plugins in the wild: typing Java</a></li> </ul> </li> <li><a href="http://www.tweag.io/blog/programming-r-at-native-speed-using-haskell">Programming R at native speed using Haskell</a></li> <li><a href="http://www.tweag.io/posts/2017-08-09-array-programming-in-haskell.html">Array programming in Haskell</a></li> <li><a href="http://www.tweag.io/blog/haskell-meets-large-scale-distributed-analytics">Haskell meets large scale distributed analytics with Spark</a></li> <li><a href="http://www.tweag.io/posts/2017-08-01-chak-joins-tweag.html">I am a functional programming evangelist</a></li> <li><a href="http://www.tweag.io/posts/2017-07-27-streaming-programs.html">Streaming programs without laziness: a short primer</a></li> <li><a href="https://www.tweag.io/posts/2019-02-13-types-got-you.html">The types got you</a></li> </ul> takxouxv2017-07-30T13:17:27Z<h1> <a href="http://nikita-volkov.github.io/" class="item-name">Nikita Volkov</a> </h1><p>Announcements:</p> <ul> <li><a href="https://hackage.haskell.org/package/record">record</a>: <a href="http://nikita-volkov.github.io/record/">Announcing the first class records library</a> (one of the top /r/haskell posts overall)</li> <li><a href="https://hackage.haskell.org/package/compound-types">compound-types</a>: <a href="http://nikita-volkov.github.io/first-class-sums-and-products/">First-class sums and products</a></li> <li><a href="https://hackage.haskell.org/package/refined">refined</a>: <a href="http://nikita-volkov.github.io/refined/">Announcing the refinement types library</a></li> <li><a href="https://hackage.haskell.org/package/stm-containers">stm-containers</a>: <a href="http://nikita-volkov.github.io/stm-containers/">Announcing the &quot;stm-containers&quot; library</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="http://nikita-volkov.github.io/if-haskell-were-strict/">If Haskell were strict, what would the laziness be like?</a></li> <li><a href="http://nikita-volkov.github.io/a-taste-of-state-parsers-are-easy/">A taste of State: parsers are easy</a></li> <li><a href="http://nikita-volkov.github.io/profiling-cabal-projects/">Tutorial: Profiling Cabal projects</a></li> </ul> mse536ps2017-07-30T13:17:03Z<h1> <a href="https://two-wrongs.com/" class="item-name">two-wrongs.com</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://two-wrongs.com/dynamic-dispatch-in-haskell-how-to-make-code-extendable">Dynamic Dispatch in Haskell, or: How Can I Make My Code Extendable?</a> (also see <a href="https://two-wrongs.com/extendable-data-in-haskell-pt-2">part 2</a>)</li> <li><a href="https://two-wrongs.com/the-what-are-monads-fallacy">The &quot;What Are Monads?&quot; Fallacy</a></li> <li><a href="https://two-wrongs.com/on-competing-with-c-using-haskell">On Competing with C Using Haskell</a></li> <li><a href="https://two-wrongs.com/haskell-time-library-tutorial">A Haskell <code>time</code> Library Tutorial</a></li> <li><a href="https://two-wrongs.com/parser-combinators-parsing-for-haskell-beginners">Parser Combinators: Parsing for Haskell Beginners</a></li> </ul> xxi0spby2017-07-30T12:10:01Z<h1> <a href="http://apfelmus.nfshost.com/" class="item-name">Heinrich Apfelmus</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://apfelmus.nfshost.com/articles/monoid-fingertree.html">Monoids and Finger Trees</a></li> <li><a href="https://apfelmus.nfshost.com/blog/2013/08/21-space-invariants.html">Reasoning about space leaks with space invariants</a></li> <li><a href="https://apfelmus.nfshost.com/blog/2012/03/29-frp-three-principles-bidirectional-gui.html">FRP - Three principles for GUI elements with bidirectional data flow</a></li> </ul> cwx6irj22017-07-30T12:09:36Z<h1> <a href="https://lukepalmer.wordpress.com/" class="item-name">Luke Palmer</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/">Haskell Antipattern: Existential Typeclass</a></li> <li><a href="https://lukepalmer.wordpress.com/2010/03/19/haskells-big-three/">Haskell's Big Three</a></li> <li><a href="https://lukepalmer.wordpress.com/2011/05/20/the-whole-program-fallacy/">The Whole Program Fallacy</a></li> <li><a href="https://lukepalmer.wordpress.com/2010/11/17/searchable-data-types/">Searchable Data Types</a></li> <li><a href="https://lukepalmer.wordpress.com/2008/05/02/enumerating-a-context-free-language/">Enumerating a Context-Free Language</a></li> </ul> uyooi4o92017-07-30T12:08:30Z<h1> <a href="http://comonad.com/reader/" class="item-name">The Comonad.Reader</a> </h1><p>A collective blog about various semi-advanced things (category theory, etc) by Edward Kmett, Dan Doel, and Gershom Bazerman.</p> <p>Popular posts:</p> <ul> <li><a href="http://comonad.com/reader/2014/letter-to-a-young-haskell-enthusiast/">Letter to a Young Haskell Enthusiast</a> (non-technical)</li> <li><a href="http://comonad.com/reader/2012/abstracting-with-applicatives/">Abstracting with Applicatives</a></li> <li><a href="http://comonad.com/reader/2015/free-monoids-in-haskell/">Free Monoids in Haskell</a></li> <li><a href="http://comonad.com/reader/2012/mirrored-lenses/">Mirrored Lenses</a> – a post that led to the generalization of lenses as they are in <a href="https://hackage.haskell.org/package/lens">lens</a> today</li> <li>Free Monads for Less: <a href="http://comonad.com/reader/2011/free-monads-for-less/">part 1</a> – Codensity, <a href="http://comonad.com/reader/2011/free-monads-for-less-2/">part 2</a> – Yoneda, <a href="http://comonad.com/reader/2011/free-monads-for-less-3/">part 3</a> – Yielding IO</li> <li>What Constraints Entail (posts about <code>-XConstraintKinds</code>): <a href="http://comonad.com/reader/2011/what-constraints-entail-part-1/">part 1</a>, <a href="http://comonad.com/reader/2011/what-constraints-entail-part-2/">part 2</a></li> <li><a href="http://comonad.com/reader/2015/on-the-unsafety-of-interleaved-io/">On the unsafety of interleaved I/O</a> – why <code>unsafeInterleavedIO</code> is called <code>unsafe</code></li> </ul> kkgpwa4a2017-07-30T12:08:08Z<h1> <a href="http://blog.johantibell.com/" class="item-name">Johan Tibell</a> </h1><p>TODO</p> l4t1wsiw2017-07-30T12:07:37Z<h1> <a href="http://neilmitchell.blogspot.com" class="item-name">Neil Mitchell</a> </h1><p>TODO</p> ly0zeg7h2017-07-30T12:07:13Z<h1> <a href="http://blog.sigfpe.com/" class="item-name">Dan Piponi</a> </h1><p>TODO</p> ij4bysuq2017-07-30T12:06:15Z<h1> <a href="https://jaspervdj.be/posts.html" class="item-name">Jasper Van der Jeugt</a> </h1><p>Announcements:</p> <ul> <li><a href="https://jaspervdj.be/posts/2014-02-25-profiteur-ghc-prof-visualiser.html">Profiteur: a visualiser for Haskell GHC .prof files</a></li> <li><a href="https://jaspervdj.be/posts/2013-01-16-hakyll-4.0.html">Hakyll 4.0</a> (<a href="https://jaspervdj.be/hakyll/">Hakyll</a> is a popular static blog generator)</li> <li><a href="https://jaspervdj.be/posts/2013-10-22-websockets-0.8.html">WebSockets 0.8</a> and <a href="https://jaspervdj.be/posts/2017-04-16-websockets-0.11.html">WebSockets 0.11</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="https://jaspervdj.be/posts/2015-01-20-haskell-design-patterns-extended-modules.html">Haskell Design Patterns: <code>.Extended</code> Modules</a></li> <li><a href="https://jaspervdj.be/posts/2014-11-27-comonads-image-processing.html">Image Processing with Comonads</a></li> <li><a href="https://jaspervdj.be/posts/2016-05-11-ad-hoc-datatypes.html">On Ad-hoc Datatypes</a></li> <li><a href="https://jaspervdj.be/posts/2015-02-24-lru-cache.html">Writing an LRU Cache in Haskell</a></li> <li><a href="https://jaspervdj.be/posts/2017-01-17-lazy-io-graphs.html">Lazy I/O and graphs: Winterfell to King's Landing</a></li> </ul> jheefsz22017-07-30T11:47:29Z<h1> <a href="https://cdsmith.wordpress.com/" class="item-name">Chris Smith</a> </h1><p>TODO</p> qtxj26oc2017-07-30T11:46:14Z<h1> <a href="https://donsbot.wordpress.com/" class="item-name">Don Stewart</a> </h1><p>Don doesn't post much nowadays (apart from advertising Haskell vacancies: <a href="https://donsbot.wordpress.com/2017/07/26/software-engineer-static-analysis-at-facebook/">1</a>, <a href="https://donsbot.wordpress.com/2017/01/31/haskell-developer-roles-at-standard-chartered/">2</a>, <a href="https://donsbot.wordpress.com/2016/09/29/haskell-dev-roles-with-strats-standard-chartered/">3</a>), but some of his old posts are still good.</p> <ul> <li><a href="https://donsbot.wordpress.com/2010/02/21/smoking-fast-haskell-code-using-ghcs-new-llvm-codegen/">Smoking fast Haskell code using GHC’s new LLVM codegen</a></li> <li><a href="https://donsbot.wordpress.com/2009/03/09/evolving-faster-haskell-programs/">Evolving faster Haskell programs</a> and <a href="https://donsbot.wordpress.com/2010/03/01/evolving-faster-haskell-programs-now-with-llvm/">Evolving faster Haskell programs (now with LLVM!)</a></li> <li><a href="https://donsbot.wordpress.com/2010/08/17/practical-haskell/">Practical Haskell: scripting with types</a> (slides)</li> <li><a href="https://donsbot.wordpress.com/2009/10/11/self-optimizing-data-structures-using-types-to-make-lists-faster/">Self-optimizing data structures: using types to make lists faster</a></li> <li><a href="https://donsbot.wordpress.com/2009/03/16/visualising-the-haskell-universe/">Visualising the Haskell universe</a></li> <li><a href="https://donsbot.wordpress.com/2009/09/03/parallel-programming-in-haskell-a-reading-list/">Parallel programming in Haskell: a reading list</a></li> </ul> yy1afc3k2017-07-30T11:45:41Z<h1> <a href="https://byorgey.wordpress.com/" class="item-name">Brent Yorgey</a> </h1><p>Announcements:</p> <ul> <li><a href="https://hackage.haskell.org/package/diagrams">diagrams</a>: the <a href="https://byorgey.wordpress.com/2014/01/17/diagrams-1-0/">announcement for version 1.0</a> (also see <a href="https://byorgey.wordpress.com/2009/01/31/diagrams-02-release/">0.2</a>, <a href="https://byorgey.wordpress.com/2012/03/09/announcing-diagrams-0-5/">0.5</a>, and <a href="https://byorgey.wordpress.com/2012/12/11/diagrams-0-6/">0.6</a>)</li> <li><a href="https://hackage.haskell.org/package/MonadRandom">MonadRandom</a>: the recent <a href="https://byorgey.wordpress.com/2017/01/03/monadrandom-0-5-released/">announcement for version 0.5</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="https://wiki.haskell.org/Typeclassopedia"><strong>the Typoclassopedia</strong></a></li> <li><a href="https://byorgey.wordpress.com/2012/11/05/foldr-is-made-of-monoids/">foldr is made of monoids</a></li> <li><a href="https://byorgey.wordpress.com/2010/04/03/haskell-anti-pattern-incremental-ad-hoc-parameter-abstraction/">Haskell anti-pattern: incremental ad-hoc parameter abstraction</a></li> <li>On random generators for recursive algebraic data types: <ul> <li><a href="https://byorgey.wordpress.com/2016/03/23/boltzmann-sampling-for-generic-arbitrary-instances/">Boltzmann sampling for generic Arbitrary instances</a></li> <li><a href="https://byorgey.wordpress.com/2016/09/20/the-generic-random-library-part-1-simple-generic-arbitrary-instances/">Simple generic Arbitrary instances</a></li> <li><a href="https://byorgey.wordpress.com/2013/04/25/random-binary-trees-with-a-size-limited-critical-boltzmann-sampler-2/">Random binary trees with a size-limited critical Boltzmann sampler</a></li> </ul> </li> <li>On combinatorial species: <ul> <li><a href="https://byorgey.wordpress.com/2009/07/24/introducing-math-combinatorics-species/">Introducing Math.Combinatorics.Species!</a></li> <li><a href="https://byorgey.wordpress.com/2009/07/30/primitive-species-and-species-operations/">Primitive species and species operations: part 1</a> and <a href="https://byorgey.wordpress.com/2009/07/31/primitive-species-and-species-operations-part-ii/">part 2</a></li> <li><a href="https://byorgey.wordpress.com/2010/04/07/functional-pearl-on-combinatorial-species/"><strong>Functional pearl on combinatorial species</strong></a></li> <li>all posts can be found under the <a href="https://byorgey.wordpress.com/tag/species">“species” tag</a></li> </ul> </li> </ul> nmh8y9fb2017-07-30T11:45:11Z<h1> <a href="https://ro-che.info/articles/haskell" class="item-name">Roman Cheplyaka</a> </h1><p>Popular posts:</p> <ul> <li><a href="https://ro-che.info/articles/2014-04-24-lens-unidiomatic.html">Lens is unidiomatic Haskell</a></li> <li><a href="https://ro-che.info/articles/2013-02-19-smallcheck.html">Announcing SmallCheck-1.0</a></li> <li><a href="https://ro-che.info/articles/2012-04-08-space-usage-reasoning.html">Reasoning about space usage in Haskell</a></li> <li><a href="https://ro-che.info/articles/2014-06-11-problem-with-mtl.html">The problem with mtl</a> (also see the <a href="https://ro-che.info/articles/extensible-effects">extensible effects</a> series)</li> <li><a href="https://ro-che.info/articles/2017-01-10-nested-loop-space-leak">Nested monadic loops may cause space leaks</a></li> <li><a href="https://ro-che.info/articles/2017-06-17-generic-unification">Generic unification</a></li> <li><a href="https://ro-che.info/articles/2016-04-02-descending-sort-haskell">Descending sort in Haskell</a></li> <li><a href="https://ro-che.info/articles/2017-07-26-haskell-library-in-c-project">Haskell library in a C project</a></li> </ul> <p>Also see his <a href="https://ro-che.info/ccc/">Cartesian Closed Comics</a> (comics about Haskell and programming).</p> vh0qo6yj2017-07-30T11:44:36Z<h1> <a href="http://chrisdone.com/archive" class="item-name">Chris Done</a> </h1><p>Popular announcements:</p> <ul> <li><a href="https://hackage.haskell.org/package/lucid"><code>lucid</code></a>: <a href="http://chrisdone.com/posts/lucid">Templating DSL for HTML</a> and <a href="http://chrisdone.com/posts/lucid2">Lucid 2.0</a></li> <li><a href="https://hackage.haskell.org/package/hindent"><code>hindent</code></a>: <a href="http://chrisdone.com/posts/hindent">A Haskell indenter</a> and <a href="http://chrisdone.com/posts/hindent-5">hindent 5: One style to rule them all</a></li> <li><a href="https://hackage.haskell.org/package/shell-conduit"><code>shell-conduit</code></a>: <a href="http://chrisdone.com/posts/shell-conduit">Write shell scripts in Haskell with Conduit</a></li> <li><a href="https://hackage.haskell.org/package/path"><code>path</code></a>: <a href="http://chrisdone.com/posts/path-package">The path package</a></li> <li><a href="https://hackage.haskell.org/package/formatting"><code>formatting</code></a>: <a href="http://chrisdone.com/posts/formatting">Formatting in Haskell</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="http://chrisdone.com/posts/fast-haskell-c-parsing-xml">Fast Haskell: Competing with C at parsing XML</a></li> <li><a href="http://chrisdone.com/posts/haskellers">How Haskellers are seen and see themselves</a> (not a technical post)</li> <li><a href="http://chrisdone.com/posts/haskell-repl">Use the REPL, Luke</a></li> <li><a href="http://chrisdone.com/posts/haskell-lisp-philosophy-difference">A philosophical difference between Haskell and Lisp</a></li> <li><a href="http://chrisdone.com/posts/haskell-constraint-trick">The constraint trick for instances</a></li> <li><a href="http://chrisdone.com/posts/haskell-wishlist">My Haskell tooling wishlist</a></li> <li><a href="http://chrisdone.com/posts/existentials">Existentials and the heterogenous list fallacy</a></li> <li><a href="http://chrisdone.com/posts/identity-monad">The Identity monad trick</a></li> <li><a href="http://chrisdone.com/posts/data-typeable">Typeable and Data in Haskell</a></li> <li><a href="http://chrisdone.com/posts/twitter-problem-loeb">Twitter waterflow problem and loeb</a></li> </ul> rmfupnzx2017-07-30T11:42:14Z<h1> <a href="http://www.well-typed.com/blog/" class="item-name">Well-Typed</a> </h1><p>Popular posts:</p> <ul> <li><a href="http://www.well-typed.com/blog/90/">Fixing <code>foldl</code></a></li> <li><a href="http://www.well-typed.com/blog/94/">Understanding the stack</a></li> <li><a href="http://www.well-typed.com/blog/2015/07/checked-exceptions/">Lightweight Checked Exceptions in Haskell</a></li> <li><a href="http://www.well-typed.com/blog/2016/09/sharing-conduit/">Sharing, Space Leaks, and Conduit and friends</a></li> <li><a href="http://www.well-typed.com/blog/2016/01/efficient-queues/">Efficient Amortised and Real-Time Queues in Haskell</a></li> <li><a href="http://www.well-typed.com/blog/2015/11/implementing-a-minimal-version-of-haskell-servant/">Implementing a minimal version of haskell-servant</a></li> <li><a href="https://www.well-typed.com/blog/2019/01/qsm-in-depth/">An in-depth look at <code>quickcheck-state-machine</code></a></li> </ul> <p>Cloud Haskell:</p> <ul> <li><a href="http://www.well-typed.com/blog/2012/10/the-new-cloud-haskell">The New Cloud Haskell</a></li> <li>Communication Patterns in Cloud Haskell: <a href="http://www.well-typed.com/blog/2012/10/communication-patterns-in-cloud-haskell-part-1">part 1</a>, <a href="http://www.well-typed.com/blog/2012/10/communication-patterns-in-cloud-haskell-part-2">part 2</a>, <a href="http://www.well-typed.com/blog/2012/10/communication-patterns-in-cloud-haskell-part-3">part 3</a>, <a href="http://www.well-typed.com/blog/2012/10/communication-patterns-in-cloud-haskell-part-4">part 4</a></li> </ul> <p><code>-XOverloadedRecordFields</code>:</p> <ul> <li><a href="http://www.well-typed.com/blog/84/">Overloaded record fields for GHC</a></li> <li><a href="http://www.well-typed.com/blog/2015/03/overloadedrecordfields-revived/">OverloadedRecordFields revived</a></li> </ul> <p>Cabal, Hackage, and the package ecosystem:</p> <ul> <li>How we might abolish Cabal Hell: <a href="http://www.well-typed.com/blog/2014/09/how-we-might-abolish-cabal-hell-part-1/">part 1</a>, <a href="http://www.well-typed.com/blog/2015/01/how-we-might-abolish-cabal-hell-part-2/">part 2</a>, <a href="http://www.well-typed.com/blog/2015/03/qualified-goals/">improving the Cabal solver</a></li> <li>Improving Hackage security: <a href="http://www.well-typed.com/blog/2015/04/improving-hackage-security/">introduction</a>, <a href="http://www.well-typed.com/blog/2015/07/hackage-security-alpha">alpha release</a>, <a href="http://www.well-typed.com/blog/2015/08/hackage-security-beta">beta release</a></li> </ul> we4x65pp2017-07-30T11:41:46Z<h1> <a href="http://www.haskellforall.com/" class="item-name">Gabriel Gonzalez</a> </h1><p>Announcements:</p> <ul> <li><a href="https://hackage.haskell.org/package/optparse-generic"><code>optparse-generic</code></a>: <a href="http://www.haskellforall.com/2016/02/auto-generate-command-line-interface.html">Auto-generate a command line interface from a data type</a></li> <li><a href="https://hackage.haskell.org/package/dhall"><code>dhall</code></a>: <a href="http://www.haskellforall.com/2016/12/dhall-non-turing-complete-configuration.html">A non-Turing-complete configuration language</a> and <a href="http://www.haskellforall.com/2017/06/dhall-is-now-template-engine.html">Dhall is now a template engine</a></li> <li><a href="https://hackage.haskell.org/package/morte"><code>morte</code></a>: <a href="http://www.haskellforall.com/2014/09/morte-intermediate-language-for-super.html">An intermediate language for super-optimizing functional programs</a> and <a href="http://www.haskellforall.com/2015/05/the-internet-of-code.html">The internet of code</a></li> <li><a href="https://hackage.haskell.org/package/pipes"><code>pipes</code></a>: <a href="http://www.haskellforall.com/2013/09/pipes-40-simpler-types-and-api.html">pipes-4.0</a>, <a href="http://www.haskellforall.com/2013/09/perfect-streaming-using-pipes-bytestring.html">pipes-bytestring-1.0.0</a>, <a href="http://www.haskellforall.com/2013/06/pipes-parse-100-pushback-delimited.html">pipes-parse-1.0.0</a>, etc.</li> <li><a href="https://hackage.haskell.org/package/typed-spreadsheet"><code>typed-spreadsheet</code></a>: <a href="http://www.haskellforall.com/2015/11/haskell-native-spreadsheets.html">Haskell-native spreadsheets</a> and <a href="http://www.haskellforall.com/2015/11/interactive-and-composable-charts.html">Interactive and composable charts</a></li> </ul> <p>Miscellaneous popular posts:</p> <ul> <li><a href="https://github.com/Gabriel439/post-rfc/blob/master/sotu.md"><strong>State of the Haskell ecosystem</strong></a></li> <li><a href="http://www.haskellforall.com/2015/10/explicit-is-better-than-implicit.html">Explicit is better than implicit</a></li> <li><a href="http://www.haskellforall.com/2015/09/how-to-make-your-haskell-code-more.html">How to make your Haskell code more readable to non-Haskell programmers </a></li> <li><a href="http://www.haskellforall.com/2016/04/worst-practices-should-be-hard.html">Worst practices should be hard</a></li> <li><a href="http://www.haskellforall.com/2015/01/use-haskell-for-shell-scripting.html">Use Haskell for shell scripting</a></li> </ul> <p>Introductions and explanations:</p> <ul> <li><a href="http://www.haskellforall.com/2014/03/introductions-to-advanced-haskell-topics.html">Introductions to advanced Haskell topics</a></li> <li><a href="http://www.haskellforall.com/2013/05/program-imperatively-using-haskell.html">Program imperatively using Haskell lenses</a> – one of the most popular <a href="https://hackage.haskell.org/package/lens">lens</a> tutorials</li> <li><a href="http://www.haskellforall.com/2015/12/compile-time-memory-safety-using-liquid.html">Compile-time memory safety using Liquid Haskell</a> – an introduction to <a href="https://ucsd-progsys.github.io/liquidhaskell-blog/">Liquid Haskell</a></li> <li><a href="http://www.haskellforall.com/2012/08/the-category-design-pattern.html">The category design pattern</a> and <a href="http://www.haskellforall.com/2012/09/the-functor-design-pattern.html">The functor design pattern</a></li> <li><a href="http://www.haskellforall.com/2012/12/the-continuation-monad.html">The continuation monad</a> – an introduction to the <a href="http://hackage.haskell.org/package/transformers/docs/Control-Monad-Trans-Cont.html">Cont</a> monad</li> <li><a href="http://www.haskellforall.com/2013/02/you-could-have-invented-comonads.html">Comonads are objects</a> – an introduction to <a href="http://hackage.haskell.org/package/comonad/docs/Control-Comonad.html">comonads</a> with examples</li> <li><a href="http://www.haskellforall.com/2012/06/you-could-have-invented-free-monads.html">Why free monads matter</a> and <a href="http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html">Purify code using free monads</a> – posts about <a href="https://hackage.haskell.org/package/free">free monads</a></li> </ul> <p>For beginners:</p> <ul> <li><a href="http://www.haskellforall.com/2015/10/basic-haskell-examples.html">Basic Haskell examples</a></li> <li><a href="http://www.haskellforall.com/2015/12/how-to-contribute-to-haskell-ecosystem.html">How to contribute to the Haskell ecosystem</a></li> <li><a href="http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html">How to desugar Haskell code</a></li> <li><a href="http://www.haskellforall.com/2015/10/polymorphism-for-dummies.html">Polymorphism for dummies</a></li> <li><a href="http://www.haskellforall.com/2013/12/equational-reasoning.html">Equational reasoning</a> (also see <a href="http://www.haskellforall.com/2014/07/equational-reasoning-at-scale.html">Equational reasoning at scale</a> and <a href="http://www.haskellforall.com/2015/03/algebraic-side-effects.html">Algebraic side effects</a>)</li> <li><a href="http://www.haskellforall.com/2013/01/introduction-to-haskell-io.html">Introduction to Haskell IO</a></li> </ul> dd8as2rf2017-07-30T11:38:10Z<h1> <a href="http://www.serpentine.com/blog/" class="item-name">Bryan O&#39;Sullivan</a> </h1><p>Stories of performance tuning and bug-hunting:</p> <ul> <li><a href="http://www.serpentine.com/blog/2015/05/13/sometimes-the-old-ways-are-the-best/">Sometimes, the old ways are the best</a> (<code>aeson</code>)</li> <li><a href="http://www.serpentine.com/blog/2013/03/20/whats-good-for-c-is-good-for-haskell/">What's good for C++ is good for... Haskell!?</a> (<code>text</code>)</li> <li><a href="http://www.serpentine.com/blog/2014/05/31/attoparsec/">A major upgrade to attoparsec: more speed, more power</a> (<code>attoparsec</code>)</li> <li><a href="http://www.serpentine.com/blog/2012/09/12/the-case-of-the-mysterious-explosion-in-space/">The case of the mysterious explosion in space</a> (<code>text</code>)</li> <li><a href="http://www.serpentine.com/blog/2012/06/25/yes-its-worth-looking-at-the-small-stuff/">Performance: yes, it’s worth looking at the small stuff</a> (<code>text</code>)</li> <li><a href="http://www.serpentine.com/blog/2013/12/30/testing-a-utf-8-decoder-with-vigour/">Testing a UTF-8 decoder with vigour</a> (<code>text</code>)</li> </ul> <p>Various posts:</p> <ul> <li><a href="http://www.serpentine.com/blog/2014/08/08/criterion-1-0/">Criterion 1.0 announcement</a></li> <li><a href="http://www.serpentine.com/blog/2011/06/29/here-be-dragons-advances-in-problems-you-didnt-even-know-you-had/">Here be dragons: advances in problems you didn’t even know you had</a></li> <li><a href="http://www.serpentine.com/blog/2014/03/18/book-review-parallel-and-concurrent-programming-in-haskell/">Book review: Parallel and Concurrent Programming in Haskell</a></li> </ul> u706t1i32017-07-29T12:20:22Z<h1> <a href="http://conal.net/blog" class="item-name">Conal Elliott</a> </h1><p>Note: Conal has also written a lot of papers. They can be found on his <a href="http://conal.net/papers/">papers page</a>.</p> <p>Miscellaneous popular posts:</p> <ul> <li><a href="http://conal.net/blog/posts/can-functional-programming-be-liberated-from-the-von-neumann-paradigm">Can functional programming be liberated from the von Neumann paradigm?</a></li> <li><a href="http://conal.net/blog/posts/3d-rendering-as-functional-reactive-programming">3D rendering as functional reactive programming</a></li> <li><a href="http://conal.net/blog/posts/everything-is-a-function-in-haskell">“Everything is a function” in Haskell?</a></li> </ul> <p>On purity:</p> <ul> <li><a href="http://conal.net/blog/posts/the-c-language-is-purely-functional">The C language is purely functional</a></li> <li><a href="http://conal.net/blog/posts/notions-of-purity-in-haskell">Notions of purity in Haskell</a></li> </ul> <p>On partial values, <code>unamb</code>, <code>lub</code>, etc:</p> <ul> <li><a href="http://conal.net/blog/posts/functional-concurrency-with-unambiguous-choice">Functional concurrency with unambiguous choice</a></li> <li><a href="http://conal.net/blog/posts/merging-partial-values">Merging partial values</a></li> <li><a href="http://conal.net/blog/posts/nonstrict-memoization">Non-strict memoization</a></li> <li><a href="http://conal.net/blog/posts/exact-numeric-integration">Exact numeric integration</a></li> </ul> <p>On cartesian closed categories (also see his <a href="http://conal.net/papers/compiling-to-categories/">“Compiling to categories”</a> paper):</p> <ul> <li><a href="http://conal.net/blog/posts/haskell-to-hardware-via-cccs">From Haskell to hardware via cartesian closed categories</a></li> <li><a href="http://conal.net/blog/posts/overloading-lambda">Overloading lambda</a></li> <li><a href="http://conal.net/blog/posts/optimizing-cccs">Optimizing CCCs</a></li> <li><a href="http://conal.net/blog/posts/circuits-as-a-bicartesian-closed-category">Circuits as a bicartesian closed category</a></li> </ul> wtha785i2017-07-26T20:16:20Z<h1> <a href="https://ocharles.org.uk/blog/" class="item-name">Oliver Charles</a> </h1><p>Series:</p> <ul> <li><a href="https://ocharles.org.uk/blog/pages/2012-12-01-24-days-of-hackage.html">24 Days of Hackage (2012)</a> – a series of posts about interesting packages on Hackage</li> <li><a href="https://ocharles.org.uk/blog/pages/2013-12-01-24-days-of-hackage.html">24 Days of Hackage (2013)</a> – same, but a year later and about different packages</li> <li><a href="https://ocharles.org.uk/blog/pages/2014-12-01-24-days-of-ghc-extensions.html">24 Days of GHC Extensions</a></li> </ul> <p>Popular standalone posts:</p> <ul> <li><a href="https://ocharles.org.uk/blog/posts/2014-02-04-how-i-develop-with-nixos.html">How I Develop with Nix</a></li> <li><a href="https://ocharles.org.uk/blog/posts/2016-01-26-transformers-free-monads-mtl-laws.html">Monad transformers, free monads, mtl, laws and a new approach</a></li> <li><a href="https://ocharles.org.uk/blog/posts/2013-08-18-asteroids-in-netwire.html">Building an Asteroids Clone in Haskell using Netwire</a></li> <li><a href="https://ocharles.org.uk/blog/posts/2014-02-25-dependent-types-and-plhaskell.html">Interpreting Haskell Inside PostgreSQL With Singleton Types</a></li> </ul> <p>Popular announcements:</p> <ul> <li><a href="https://ocharles.org.uk/blog/posts/2014-07-13-announcing-socket-io-for-haskell.html">Announcing engine-io and socket-io for Haskell</a></li> <li><a href="https://ocharles.org.uk/blog/posts/2015-09-07-announcing-sdl2.html">Announcing a new set of high-level SDL2 bindings</a></li> <li><a href="https://ocharles.org.uk/blog/posts/2016-04-23-transformers-eff.html">Announcing transformers-eff</a></li> </ul> qf7i10a42017-07-08T21:58:00Z<h1> <a href="http://www.yesodweb.com/" class="item-name">Yesod framework&#39;s blog</a> </h1><p>News about <a href="https://hackage.haskell.org/package/yesod">Yesod</a> (a web framework) mixed with posts about various other things, mostly by Greg Weber and Michael Snoyman.</p> <p>Popular announcements:</p> <ul> <li><a href="http://www.yesodweb.com/blog/2015/07/http2">Warp now supports HTTP/2</a></li> <li><a href="http://www.yesodweb.com/blog/2012/04/announcing-yesod-1-0">Announcing Yesod 1.0</a></li> <li><a href="http://www.yesodweb.com/blog/2015/08/ssl-server-test">Warp TLS: Getting rating A from the SSL Server test</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="http://www.yesodweb.com/blog/2011/09/limitations-of-haskell">The Limitations of Haskell</a></li> <li><a href="http://www.yesodweb.com/blog/2015/02/awesome-haskell-community">The awesome Haskell community</a></li> <li><a href="http://www.yesodweb.com/blog/2015/02/brittle-haskell-toolchain">The brittle Haskell toolchain</a></li> <li><a href="http://www.yesodweb.com/blog/2016/03/why-i-prefer-typeclass-based-libraries">Why I prefer typeclass-based libraries</a></li> </ul> xzr4y17u2017-07-08T21:40:49Z<h1> <a href="http://blog.ezyang.com/" class="item-name">Edward Z. Yang</a> </h1><p>Popular posts:</p> <ul> <li><a href="http://blog.ezyang.com/2014/01/so-you-want-to-add-a-new-concurrency-primitive-to-ghc/">So you want to add a new concurrency primitive to GHC...</a></li> <li><a href="http://blog.ezyang.com/2016/07/what-template-haskell-gets-wrong-and-racket-gets-right/">What Template Haskell gets wrong and Racket gets right</a></li> <li><a href="http://blog.ezyang.com/2013/01/the-ghc-scheduler/">The GHC scheduler</a></li> <li><a href="http://blog.ezyang.com/2014/05/parsec-try-a-or-b-considered-harmful/">Parsec: “try a &lt;|&gt; b” considered harmful</a></li> </ul> <p>Posts about Backpack (an advanced module system Edward has implemented):</p> <ul> <li><a href="http://blog.ezyang.com/2016/10/try-backpack-ghc-backpack/">Try Backpack</a></li> <li><a href="http://blog.ezyang.com/2014/08/whats-a-module-system-good-for-anyway/">What's a module system good for anyway?</a></li> <li><a href="http://blog.ezyang.com/2016/09/the-base-of-a-string-theory-for-haskell/">The Base of a String Theory for Haskell</a></li> </ul> <p>Posts about package management:</p> <ul> <li><a href="http://blog.ezyang.com/2016/05/announcing-cabal-new-build-nix-style-local-builds/">Announcing cabal new-build: Nix-style local builds</a></li> <li><a href="http://blog.ezyang.com/2016/08/cabal-new-build-is-a-package-manager/">cabal new-build is a package manager</a></li> <li><a href="http://blog.ezyang.com/2014/08/the-fundamental-problem-of-programming-language-package-management/">The fundamental problem of programming language package management</a></li> </ul> xo6maz0o2017-07-08T21:38:31Z<h1> <a href="https://www.fpcomplete.com/blog" class="item-name">FPComplete</a> </h1><p>Pretty much everything: Haskell design patterns and best practices, announces of new libraries and projects by FPComplete engineers, tutorials, etc.</p> <p>Popular announcements:</p> <ul> <li><a href="https://www.fpcomplete.com/blog/2015/05/inline-c">inline-c: Call C functions from Haskell without bindings</a></li> <li><a href="https://www.fpcomplete.com/blog/2016/05/weigh-package">weigh: Measuring allocations in Haskell</a></li> <li><a href="https://www.fpcomplete.com/blog/2015/06/announcing-first-public-beta-stack">First public beta of Stack</a></li> <li><a href="https://www.fpcomplete.com/blog/2015/05/school-of-haskell-2.0">School of Haskell 2.0</a></li> </ul> <p>Popular posts:</p> <ul> <li><a href="https://www.fpcomplete.com/blog/2015/06/why-is-stack-not-cabal">Why is stack not cabal?</a></li> <li><a href="https://www.fpcomplete.com/blog/2015/02/primitive-haskell">Primitive Haskell</a></li> <li><a href="https://www.fpcomplete.com/blog/2015/05/haskell-web-server-in-5mb">Haskell Web Server in a 5MB Docker Image</a></li> <li><a href="https://www.fpcomplete.com/blog/2017/06/readert-design-pattern">The ReaderT Design Pattern</a></li> </ul> <p>TODO: add more posts; add new posts</p>