Living in the open world(2)

Haskell

以下は Alice が定義： {-# LANGUAGE TypeSynonymInstances #-} module A where type StackA = [] top :: StackA a -> a top = head pop :: StackA a -> StackA a pop = tail push :: a -> StackA a -> StackA a push = (:) move :: StackA a -> c a -> (a -…

2010-10-28

Living in the open world

Haskell

{-# LANGUAGE TypeSynonymInstances #-} -- 以下は Alice が定義 type StackA = [] topA :: StackA a -> a topA = head popA :: StackA a -> StackA a popA = tail pushA :: a -> StackA a -> StackA a pushA = (:) -- 以下は Bob が定義 data StackB a = Ni…

2010-10-27

Haskell演習の草稿

Haskell

プログラミングの経験はあるが、Haskell は使ったことがない人に、2時間ぐらいで Haskell のよさを教える演習のネタを考える。Haskell の代表的な利点といえば、型による厳密なプログラミング QuickCheck によるテストケースの自動生成 Persec によるパーサ…

2010-10-23

HIMA' のための Git 資料

用意すべきもの： git パケージ名は git-core かもビジュアライザー BSD/Linux なら gitk、Mac なら GitX github のアカウント今回は、自分で git サーバーを上げることはしません環境設定 git config --global user.name "名前" git config --global use…

2010-10-21

祝「Scheme 手習い」復刻

Lisp

めでたい！「Scheme 手習い」が復刻しました。正確に言うと、復刻ではなく、新しい版に基づいた新しい訳です。Scheme手習い作者: Daniel P. Friedman,Matthias Felleisen,元吉文男,横山晶一出版社/メーカー: オーム社発売日: 2010/10/22メディア: 単行本（…

2010-10-20

図解Git

Visual Git Reference を訳しました。その名も図解Gitです。著者の Mark Lodato さんに連絡したら、github で fork して訳を公開して下さいと言われたのでそうしたら、本家にマージされて、右上に言語メニューまで付きました。:) Git や github は、使ってい…