d.y.d. Pluggable Type Systems

19:27 08/02/29 不動点ふたたび LtU で "Data Types a la Carte" を読みました。これの鍵となる技は「型コンストラクタに対する不動点演算子」だと思うのだけど、 あれ、なんで俺これ考えたことなかったんだ…？と不思議に思うくらい楽しげなアイデアですね。てい。 // 不動点演算子 via テンプレート。Dで。 // // Haskell でいう"普通の"不動点関数 fix f = f (fix f) と同じようなもの // = の代わりに継承になっちゃってますけど、まあ似たようなものです class Fix!(alias F) : F!(Fix!(F)) {} 不動点演算の実装は本題ではないので、Yコンビネータみたいな無駄な複雑化はしない方針で。 さて、これを使って class Pair(T) { T left; T right; } ２個同じ型の値のペアを

[Kureduki_Maari]

不動点ふたたび "Data Types a la Carte" d.y.d.

[youz]

Descent

[joan9]

> 「誰か日本語知ってるヤツ、"Beauty"の意味の日本語って何？」「"Bi" だよ。発音 "Be" とほとんど一緒だからいいんじゃね？」「でも "BiOS" って BIOS かよ」みたいなやりとり

[gaba]

バグレポの内容に質問が返ってくるとファビョる

[kgbu]

「普通にそこら辺に転がっているテンプレートの不動点を取ってみると実は結構楽しいのではないか」という話らしい

[yowa]

> > 自分の場合問題の作り方は大きく分けて２通りあって、名前駆動／アルゴリズム駆動

[roba4944]

勉強になった

[monjudoh]

『1. コードで語る。』『2. 知らない単語を使わない。』『3. ググれ。』1番が一番重要な気がする。

[khiker]

グサっとキタｗ英語できないは大概面倒なことをやりたくない言い訳なんだよね・・・.気をつけよう・・・.

[seamlessbias]

前にバグレポ書いたとき、エラー内容とパッチを書いていっしょに送ったらわりと適当な英語でも通じて嬉しかった。

[Wacky]

Descent 0.5 released。ちゅーことで、D言語のIDEというかEclipse Pluginの最新版がリリースされたそうです。

[SiroKuro]

すげぇ……

[sshi]

「静的型は構文上の制約でしかなく、プログラムに意味を与えるものではない。 同一のプログラムに対して、異なる型を使っても、複数の型を使っても、型なしで使用しても問題ない。」