好！又不能block群聊的消息

一想到我可能和各位这辈子都没有交集

就有点激动

不过我一向不会 block 别人
第一次被 block 是 @drakeet

我觉得，为人毕竟无法让所有人喜欢，所以做自己就是最好的

我和你的交集，哈哈哈

其他语言的泛型能算parametric polymorphism吗？

Kotlin（
Scala（

typeclass是ad-hoc

id是parametricpolymorphism

真是头疼，现在被人 block 还是会感觉不舒服。 😔

我只是珍惜别人的分享而已，无所谓其它的

我是学rankN

RankNTypes遇到了ad-hoc

就是那个 inner 有类型变量的 可以确定许多次？ forall a -> a 可以 Int Int; String String

谁可以跟我解释下，为什么程序设计语言理论的“学姐”们都那么难相处……

不是说女生会更感性么，这是物极必反，还是搞技术已经很“反人类”了？

并不是PLT的学姐

那是啥的学姐唉

不知道，似乎也不是CS的学姐

虽然我不知道这个是学长还是学姐

反正都喜欢对后辈冷脸