ILC2012 Francois-Rene Rideau - LIL: CLOS reaches higher-order, sheds identity, and has a transformative experience

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 fare clos

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 bad monorphism assoc gethash

athos)))))))) @athos0220

"LIL: CLOS reaches higher-order, sheds identity, and has a transformative experience" by Francois-Rene Rideau #ILC2012

Masatoshi SANO(aka🦈) @snmsts

#ilc genericfunction でlookup map keyがよかんべ

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 reduction to monomorphism

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 (lookup interface map key)のかたちで

athos)))))))) @athos0220

interface-passing styleとな？なんかおもしろそう #ILC2012

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 (insert <alist> * 2012 "UKY") いいなこれ

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 (/= pure:insert stateful:insert) ふむ…

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 (= <alist> (<alist> <eql>)) いいなこれ…

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 define-interface 昨日も聞いた名前だけどちと違うのかな

fukamachi @nitro_idiot

Interfaceと聞いて想像していたものと違った。学習コストは減るかな。可読性も上がるのかな…? #ilc2012

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 lisp-2であること利用しまくり

日比野 啓 (Kei Hibino) @khibino

.@nitro_idiot interface じゃなくて実装の dictionary なんじゃなかろうか。型クラスだと、型推論した結果を使って適切な dictionary をコンパイラが渡してくれているところをこれだと明示的に渡している ＃ILC2012

日比野 啓 (Kei Hibino) @khibino

でも結果の型が使えないぶん能力がさがってそうだが #ILC2012

日比野 啓 (Kei Hibino) @khibino

いや、結果の型まで含んだ dictionary を作ればいいだけだがら能力は下らない #ILC2012

y2q_actionman @y2q_actionman

with-interface はいいなあ

Masatoshi SANO(aka🦈) @snmsts

#ilc2012 綺麗だなー。

日比野 啓 (Kei Hibino) @khibino

.@seijikoide forall が入れ子になるようなやつです ＃ILC2012

François-René Rideau @fare

Double fail in my #ilc2012 presentation. 1- I forgot to start the recording. 2- I ran out of time and could not convey some of my points.