函数编程课程,
Functional Programming Course, (2023-03-06, Haskell, 0KB, 下载0次)
函数编程课程,
Functional Programming Course, (2023-06-23, Haskell, 0KB, 下载0次)
ITMO大学函数编程讲座的幻灯片和其他材料,
Slides and other materials for functional programming lectures ITMO university, (2022-01-17, Haskell, 0KB, 下载0次)
应用函数编程课程-从练习移动到工作应用程序!,
Applied Functional Programming Course - Move from exercises to a working app!, (2023-05-29, Haskell, 0KB, 下载0次)
高性能、并发函数编程抽象,
High performance, concurrent functional programming abstractions, (2023-07-23, Haskell, 0KB, 下载0次)
Shell编程,Haskell风格,
Shell programming, Haskell style, (2023-06-21, Haskell, 0KB, 下载0次)
没有回调或副作用的交互式程序。函数 React编程(FRP)使用可组合事件和时变值...,
Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse. (2023-07-07, Haskell, 0KB, 下载0次)
Haskell、Ocaml和Python中说明的函数编程概念、示例和模式,
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python, (2019-08-06, Haskell, 0KB, 下载0次)
使用Haskell的教育计算机编程环境
Educational computer programming environment using Haskell (2023-02-12, Haskell, 0KB, 下载0次)
一种编译为WebAssembly的多语法函数式编程语言。
A multi-syntax functional programming language that compiles to WebAssembly. (2021-08-04, Haskell, 0KB, 下载0次)
Oden编程语言(不再处于主动开发中)
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT) (2017-04-11, Haskell, 0KB, 下载0次)
一种具有静态内存管理的依赖类型编程语言
A dependently-typed programming language with static memory management (2023-06-25, Haskell, 0KB, 下载0次)
Kit:一种神奇的、高性能的编程语言,专为游戏开发而设计。
Kit: a magical, high performance programming language, designed for game development. (2021-08-14, Haskell, 0KB, 下载0次)
Eta编程语言,JVM上Haskell的一种方言
The Eta Programming Language, a dialect of Haskell on the JVM (2022-07-31, Haskell, 0KB, 下载0次)
一种依赖类型的函数编程语言
A Dependently Typed Functional Programming Language (2023-03-04, Haskell, 0KB, 下载0次)
未来的友好编程语言
A friendly programming language from the future (2023-06-27, Haskell, 0KB, 下载0次)
用于通用编程的全堆栈 React架构。代数基元和单代数可组合基元...
A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web, and distributed computing with complete de-inversion of control (No callbacks, no blocking, pure state) (2021-03-06, Haskell, 0KB, 下载0次)
Haskell编程语言的视频、讲座和课程的巨大列表。
Huge list of videos, talks, courses for Haskell programming language. (2017-10-17, Haskell, 3KB, 下载0次)
一种数据并行函数编程语言
A data-parallel functional programming language (2023-06-09, Haskell, 2565KB, 下载0次)
Agda是一个依赖类型的编程语言交互式定理证明器。
Agda is a dependently typed programming language interactive theorem prover. (2023-05-31, Haskell, 7135KB, 下载0次)