要点（Key Ideas）

本文主要是介绍要点（Key Ideas），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

        该文章主要是记录日常遇到的关键点（Key Ideas， Notes），但又不会将该点进行拓展或详细说明而形成文章，仅用一句话或短语去加以记录，后续有机会也许会将点子扩展成文章。同时，会不定时更新要点内容。

1. Cut-Elimination as Composition. （2024-09-02）

2. Everything is a function. (2024-09-02)

3. In Bash, there is only one type, String. So as in CMake, etc. (2024-09-02)

4. No type means unique type, as in Javascript, untyped lambda calculus, etc. (2024-09-02)

这篇关于要点（Key Ideas）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---