#Step 1: Template Haskell splices The [d| ... |] is a syntax of Template Haskell declaration quote. For example, [d| answer = 42 |] would produce a value of type Q Dec, which is an abstract syntax representation of it. Relatedly, the $(...) is splice syntax. As it appears on the top level, it splices declarations (of the type Q [Dec], or expressions of the type Q Exp depending on the context) into
This posts complements two other recent blogs: Code smell: Boolean blindness by Thomas Tuegel and Ceci n'est pas un default by Guillaume Allais. Thomas writes The popular term “boolean blindness” refers to the information lost by functions that operate on Bool when richer structures are available and indeed, in one project I wrote a function with a very horrible type: I could add comments, but tho
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く