Taking advantage of type synonyms in monad-control
Published on December 26, 2014 Bas van Dijk has recently released monad-control-1.0.0.0, the main purpose of which is to replace associated data types with associated type synonyms. The change caused minor breakages here and there, so people might wonder whether and why it was worth it. Let me show you a simple example that demonstrates the difference. Let’s say we are writing a web application. w
Articles
Roman Cheplyaka Articles Subscribe via RSS By tag Haskell Programming Mathematics GTraversable Linguistics Open source Linux Extensible effects rstats Statistics Bioinformatics Web Podcasting Music Electronics All Alice and Bob flipping coins puzzle Sum of random cards puzzle AeroPress Go measurements. What volume do AeroPress marks correspond to? How much current does an active bass guitar draw f
cabal sandbox tips
Published on March 5, 2014 In case you missed it, starting from version 1.18 cabal-install has awesome sandboxing capabilities. Here I share a couple of tricks that will make your sandboxing experience even better. Location-independent sandboxes By default, cabal uses sandbox only in the directory where cabal.sandbox.config is present. This is inconvenient when sharing a sandbox among multiple pro
Two failed attempts at extensible effects
Published on June 14, 2014 After I had published The problem with mtl, many people wondered what my proposed solution was. If you, like them, are impatient to find out, feel free to peek at the slides from my kievfprog talk, or directly at the code on github. Still, I’ll continue this series at my own pace. Today we’ll look at two failed solutions to the problem described in the previous article.
The problem with mtl
Published on June 11, 2014 This article starts a series in which I am going to publish my thoughts on and experience with different «extensible effects» approaches. This one in particular will explain the problem with the classic mtl approach that motivates us to explore extensible effects in the first place. How transformer stacks are born Often we start with a single monad — perhaps Reader or St
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
My Haskell will
Extensible effects in Haskell
