主题 · 领域

语言学

人类语言如何运作：语法、意义与文化，语言之间的差异与演变，以及我们为机器编写的语言从中借鉴了什么。

包括
编程语言, 符号学
页面
2
地图上 2 个页面及其周边主题
点一下选中，再点一下打开。

在完整地图中打开 →

  1. 2026

  2. 文章Source Code Is the New Assembly

    Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.

    AI 辅助工程抽象确定性形式化方法Haskell编译器来源溯源类型系统语言学符号学

    27 分钟阅读 · 15 章

  3. 文章The Last Programming Language Might Not Be for HumansEN中한

    Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.

    AI 辅助工程编程语言抽象形式化方法Haskell编译器类型系统语言学航空航天

    26 分钟阅读 · 5 章

    打开完整搜索 →