2009-12-01から1ヶ月間の記事一覧

今年のまとめ

自分のブログのログを見てみると、 2月 Webサーバ書く為にプロトコルスタック書く為にOS書いたような事をしてしまっている 3月 大阪さんとPrologみたいなことでATNDを使い始める この辺から、プログラムってそもそもどうなってるんだろう?とか型って...?みた…

高等魔術の教理と祭儀

http://ratiwo.blogspot.com/2009/12/reading-craft-of-prolog.html参加してきました。もひかんさんスライド作成本当にお疲れさまでした。スライドに疑惑の部分があって。 http://twitter.com/zick_minoh/status/7089081847 これは少し内包的な説明ですが、…

誰得

ですが、発表に使った資料をあげておきます。なぜなに依存型View more documents from ranha.

年始Haskell論文読み会

Type Checking with Open Type Functions ( http://www.cse.unsw.edu.au/~chak/papers/SPCS08.html ) System F with Type Equality Coercions ( http://www.cse.unsw.edu.au/~chak/papers/SCPD07.html ) Complete and Decidable Type Inference for GADTs ( …

atが書けないぴーーーーーーー

data Unit : Set0 where unit : Unit data Nat : Set0 where zero : Nat succ : Nat -> Nat data Bool : Set0 where true : Bool false : Bool _+_ : Nat -> Nat -> Nat zero + b = b (succ a) + b = succ (a + b) data Hold (T : Set0) : Set0 where hold :…

真ん中の気持ちです

期待でも諦めでもない真ん中の気持ち。 {-# LANGUAGE GADTs #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} data …

手抜きした

{-# LANGUAGE GADTs #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE FlexibleContexts #-} data Zero where Zero :: Zero data Succ a where S…

型付けされたTree とその上の関数

{-# LANGUAGE GADTs #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE OverlappingInstances #-} {-…

良く型付けされたtake関数

{-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE KindSignatures #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE MultiParamTypeClasses , ScopedTypeVariables #-} {-# LANGUAGE FlexibleContexts , TypeSynonymInstances #-} {-# LANG…

12/13

http://atnd.org/events/2487Boost勉強会の翌日に何かこんなものがあるので、時間がある人はどうぞ。場所とかは完全に不定。 お店に迷惑をかけず隅の方でひっそりと何かしてはまた別の店に移るとかそういうスタイルです。っていうかちゃんとした場所今から探…

一応C++でもやってみましたが

http://twitter.com/zick_minoh/status/62235261562日近くも掛かってしまいました。ひーん。Haskell版をただ書き直しただけです。templateとかtypenameとかすぐ忘れてしまいますね。なんでやねん的なのが多かったです。 あと結局あちこちにapplyを書く事にな…

メモリたくさん欲しいです

http://blog.livedoor.jp/geek/archives/50888709.html萌え萌えウソつきッ娘論理パズルI作者: 小野田博一出版社/メーカー: イーグルパブリシング発売日: 2009/09/25メディア: 単行本(ソフトカバー)購入: 5人 クリック: 172回この商品を含むブログ (7件) を…