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
Cabal sandbox status in your ZSH prompt
Sometime ago I made a simple script for my zsh setup that allows me to see whether am I in a cabalized sandbox environment or not. I posted it to Haskell-cafe a month ago, but totally forgot to post it to this blog. The result of checking for the sandbox is cached, which is probably unnecessary; it updates only when the user performs a cabal command or changes a directory. y pkU � �okU # # This s
GHC API: Interpreted, compiled and package modules
The third post in the series. Intro It’s hard to get into writing code that uses GHC API. The API itself is and the number of various functions and options significantly outnumber the amount of tutorials around. In this series of blog posts I’ll elaborate on some of the peculiar, interesting problems I’ve encountered during my experience writing code that uses GHC API and also provide various tips
Agile development and deployment in the cloud with Haskell and vado
In this post I would like to give you an update on vado – a piece of software for running programs on vagrant VMs (or any other ssh server, actually), projects I’ve contributed briefly to. The old build system for ghcjs was a little bit messy. Basically, it was just one Puppet configuration file that contained a hardcoded shell script as a resource that is supposed to be written to the home direct
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
On custom error handlers for the GHC API
Interactive-diagrams GSoC progress report
