Darcs internals, part 1: typesafe directed datastructures
I am editing this post from IRILL, where the darcs sprint is taking place One of the things that I particularly like about the Darcs codebase is that you can see that the developers were not shy about using intermediate-slash-advanced Haskell/GHC features to help achieving type safety. You can see GADTs, associated types, phantom types, existential types actively used. In this post I would like to
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Darcs, friendly version control
http://dlicata.web.wesleyan.edu/pubs/l13git/git.pdf
