ふむ

2:50 AM

HM型推論を勉強・ちょっと実装した経験があるから

2:50 AM

直感的には、まあできるだろうって思う事が多い

2:51 AM

サブタイピングとかオーバーロードが絡んでるところはよくわからなくて、すごいって思うけど

2:51 AM

アプリカティブの連続適用とかはそういう意味では素直