Higher-order shell
Many Unix utilities execute their arguments as a command line in turn. Some well-known examples are nice, sudo, xargs, and find. These programs are sometimes called meta-commands, but I think of them as higher-order programs by analogy to higher-order functions. Surely I was not the first to write the following two higher-order programs, given how useful they are. tmp :: String -> (FilePath -> IO
Monad transformers
In denotational semantics and functional programming, the terms monad morphism, monad layering, monad constructor, and monad transformer have by now accumulated 20 years of twisted history. The exchange between Eric Kidd and sigfpe about the probability monad prompted me to investigate this history. Chapter 4 of Eugenio Moggi’s ”An Abstract View of Programming Languages” (Edinburgh LFCS technical
Takahashi method for Beamer の高橋メソッド：高橋流簡報法
Surprisingly, I couldn’t find support on the Web for the Takahashi method of slide presentations in the Beamer class. So, I wrote it. This LaTeX package provides a single command \takahashi, documented at the beginning of the file. Some usage examples appear at the end of the file. Update: To demonstrate, this source file produces this PDF output. For further testing, that source file produces tha
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
With love
Differentiating regions
美國二卡 金綠雙輝 Two American membership cards
Tidbits 1
Snappy quotes of the day
Form-ing web continuations, or asking several questions at once
From walking to zipping, Part 3: Caught in a zipper
Growing a language
Word numbers, Part 3: Binary search
From walking to zipping, Part 1: Moving right