Gauche > Archives > 2021/07/18

2021/07/18 13:32:53 UTCshiro

なんとなく型っぽいのができつつある

gosh> (procedure-type cons)
#<^ <top> <top> -> <pair>>
gosh> (of-type? cons (<^> <top> <top> -> <top>))
#t

がちがちに検査したりするつもりはないけど、ある程度わかった方が最適化はしやすいので