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

Kotlin（
Scala（

typeclass是ad-hoc

id是parametricpolymorphism

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

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

我是学rankN

RankNTypes遇到了ad-hoc

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

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

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

并不是PLT的学姐

那是啥的学姐唉

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

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

反正都喜欢对后辈冷脸

给人一种不止是脸，心也是零下十度的感觉

“type infer的有一个分步骤一般是unification。
bidirectional parsing是unify，general的parsing只是模式匹配。
还有你可以不可以滚？”

“你不会去试图深入，去总结，不会尝试把一个孤立的东西用更宏大的框架的表达。你hype你的设计，认为他新颖，认为好用，不会去思考前为何人们面对相同的问题做了不同的选择，不待见学术意义上的成果。
你为工程界人数上压制学术界窃喜，你为自己不听不问闭门造车而骄傲，你并不尊敬那些穿越千山万水仍困顿在前沿问题的研究者，你希望用你那些不成熟的，还未从火热的激情化为冷酷真理的认知，去荼毒初探编程世界，满是白纸，可能对你大声称赞的新手，你是这样一个人。
你在技术上没有责任心，你在parsing技术上也没有天分。至于你誓死捍卫我们说话的权利，这得等到你比我们在任何领域有更大的话语权。”

我感觉这些人的眼里似乎没有自己的领域，没有对领域里其他人的热心，意识不到没有新人 会少许多可能

有些事纯粹的精英主义有些不是，但都对简单的东西不感兴趣

或许他们喜欢自己的学科，但他们也只是重视，甚至说只能看见哪一个侧面
学术和正常工程中的鸿沟只会越来越大

@ScienceYuan 什么是first order logic

你问本民科我怎么知道