You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
论文标题:theorems for free
摘要:From the type of a polymorphic function we can derive a theorem that it satisfies. Every Function of the same type satisfies the same theorem. This provides a free source of useful theorems, courtesy of Reynolds' abstraction theorem for the polymorphic lambda calculus.
原文标题:Free as in Theorem 可以翻译成免费的
原文:"不用写一行代码你也能理解这些定理,它们直接来自于类型本身。" 译为免费的更符合上下文
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: