地下の鍵について

0
XENO @xenophobia__

@carbon_twelve じゃあOCamlの既存の処理系では型エラーになるようなものを!

2011-07-16 22:21:10
XENO @xenophobia__

@xyx_is Ω演算子でしたっけ。この場合何と答えれば……

2011-07-16 22:21:55
XENO @xenophobia__

「処理系持ってたらIS」って判断基準なら、「LiLFeSが入ってたら」のほうが判定精度が上がる気がする。

2011-07-16 22:23:01
ネクタイ @carbon_twelve

学生証のICチップとか攻撃したら破れそう [The next station is Shinjuku-sanchome.]

2011-07-16 22:22:35
さしみ🐟 @sashimi_rawfish

◯◯だったら生情って基準は何かあるだろうか

2011-07-16 22:23:59
🍣 @nin_ten

待て処理系持ってるかで認証するとしたら俺入れないじゃないか

2011-07-16 22:25:39
ネクタイ @carbon_twelve

おいwwww [The next station is Shinjuku-sanchome.]

2011-07-16 22:26:09
やー @y3eadgbe

@nin_ten なんで持ってないんだよwww

2011-07-16 22:30:06
えくすわいえくす / xyx @xyx_is

@xenophobia_TK ocaml -rectypesで fun ()->(fun x->x x)(fun x->x x);; してみましょう

2011-07-16 22:24:01
XENO @xenophobia__

@xyx_is unit -> 'aなんで、特に制約のない型パラメタってことですかね……

2011-07-16 22:26:42
XENO @xenophobia__

てかこれ推論が終わらないんじゃなかったか。

2011-07-16 22:27:01
XENO @xenophobia__

一応型が定義されるのか。

2011-07-16 22:27:23
XENO @xenophobia__

やっぱ(fun x-> x x)(fun x -> x x)を評価しようとすると止まるのか。

2011-07-16 22:28:25
XENO @xenophobia__

@xyx_is 処理系が固まる的な意味です。まあ止まりませんよね。

2011-07-16 22:29:41
XENO @xenophobia__

(fun x -> x x)(fun x -> x x)を型エラーにする処理系とか作れないのかな。流石に無理か。

2011-07-16 22:31:55
えくすわいえくす / xyx @xyx_is

@xenophobia_TK 普通のocamlなら型エラーになってるじゃん

2011-07-16 22:32:26
XENO @xenophobia__

@xyx_is いやまあそうなんですけど。

2011-07-16 22:33:37
XENO @xenophobia__

YCombinatorも通るのはなんか面白いな。

2011-07-16 22:36:24
mokoshi @kooooshiiii

はーまいおにー可愛い

2011-07-16 22:44:53