【文件属性】：
文件名称：counterexamples:类型系统中的反例
文件大小：123KB
文件格式：ZIP
更新时间：2021-07-24 11:27:40
JavaScript
类型系统中的反例
这个 repo 包含的的来源，这是一个崩溃、段错误或以其他方式爆炸的可怕程序的纲要。
建造
使用make在本地构建（如果您使用的 Linux 系统足够像我自己的系统）。
这本书是用和。
【文件预览】：
counterexamples-main
----book.toml(320B)
----mdbook-katex()
--------mdbook-katex(2KB)
--------.gitignore(6B)
----src()
--------polymorphic-references.md(8KB)
--------subtyping-vs-inheritance.md(6KB)
--------false-pretenses.md(3KB)
--------overloading-polymorphism.md(3KB)
--------general-covariance.md(2KB)
--------distinctness-injectivity.md(4KB)
--------only-one-leibniz.md(3KB)
--------mutable-matching.md(3KB)
--------unstable-types.md(4KB)
--------nearly-universal.md(4KB)
--------suspicious-subterms.md(6KB)
--------intersecting-references.md(4KB)
--------SUMMARY.md(2KB)
--------selfishness.md(4KB)
--------strict-positivity.md(5KB)
--------runtime-misinformation.md(6KB)
--------title.md(120B)
--------distinctness-options.md(2KB)
--------little-knowledge.md(1KB)
--------avoidance.md(3KB)
--------underdetermined-recursion.md(3KB)
--------under-construction.md(3KB)
--------intro.md(7KB)
--------anything-once.md(4KB)
--------incomplete-variance.md(7KB)
--------privacy-violation.md(5KB)
--------eventually-nothing.md(2KB)
--------currys-paradox.md(2KB)
--------dubious-evidence.md(6KB)
--------polymorphic-union-refinement.md(5KB)
--------.gitignore(6B)
--------overdetermined-recursion.md(1KB)
--------scope-escape.md(4KB)
--------glossary.md(4KB)
--------lawvere.md(8KB)
--------distinctness-recursion.md(4KB)
--------anythings.md(5KB)
----theme()
--------index.hbs(14KB)
--------head.hbs(2KB)
--------highlight.js(140KB)
----README.md(408B)
----Makefile(492B)
----.gitignore(5B)
----bin()
--------.gitignore(2B)