地下の鍵について

XENO @xenophobia__

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

えくすわいえくす / xyx @xyx_is

@xenophobia_TK (fun x->x x)(fun x->x x)

XENO @xenophobia__

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

XENO @xenophobia__

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

さしみ🐟 @sashimi_rawfish

遺伝子で認証

ネクタイ @carbon_twelve

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

さしみ🐟 @sashimi_rawfish

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

🍣 @nin_ten

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

ネクタイ @carbon_twelve

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

やー @y3eadgbe

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

えくすわいえくす / xyx @xyx_is

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

XENO @xenophobia__

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

XENO @xenophobia__

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

XENO @xenophobia__

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

XENO @xenophobia__

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

えくすわいえくす / xyx @xyx_is

@xenophobia_TK 止まらないですからね

XENO @xenophobia__

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

XENO @xenophobia__

s/止まる/止まらない

XENO @xenophobia__

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

えくすわいえくす / xyx @xyx_is

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

XENO @xenophobia__

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

XENO @xenophobia__

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

mokoshi @kooooshiiii

はーまいおにー可愛い