编程语言基础：Agda 语言描述

编程语言基础：Agda 语言描述 本书是 Philip Wadler 和 Wen Kokke 所著的《Programming Language Foundations in Agda》的中文翻译。是对编程语言理论的介绍。书中的程序使用证明助理 Agda 编写 || #电子书

Julia 编程语言交流

Julia 是一个面向科学计算的高性能动态高级程序设计语言。在许多情况下拥有能与静态编译语言相媲美的性能。