Skip to content
  • 中文版
  • 关于我们 – 知识库
  • 常见问题(FAQ)– 知识库
  • 隐私声明 – 知识库

知识库

知识库
  • Home-old
  • Services
  • About
  • Reviews
  • Why Us
  • Contact

函数式

信号处理, 函数式编程, 编程语言, 软件工程, 音频处理

FAUST (编程语言) (FAUST (Functional AUdio STream))

FAUST, 信号处理, 函数式, 编程, 音频
函数式编程, 形式化验证, 类型论, 编程语言, 计算机科学

Agda (编程语言)

Agda, 依赖类型, 函数式, 编程, 验证
Scheme, 函数式编程, 编程语言, 编译器, 软件开发

Chicken (Scheme 实现) (Chicken (Scheme implementation))

CHICKEN, Scheme, 函数式, 编程, 编译器

Copyright © 2025 知识库