搜索

神语言纯函数语言

0粉丝
神语言是一种便携式的纯函数语言，提供以下特性： 模式匹配 lambda演算 惰性求值静态类型检查 集成全功能的Prolog 内置 compiler-c
知识
简介
神语言是一种便携式的纯函数语言，提供以下特性： 模式匹配 lambda演算 惰性求值静态类型检查 集成全功能的Prolog 内置 compiler-compiler... 更多
其它信息
地区
国产
开源组织
无
所属分类
程序开发、 脚本编程语言
授权协议
未知
操作系统
跨平台
收录时间
2023-09-27
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Frege纯函数编程语言
Frege是一个非严格的纯函数编程语言，其灵感来自于Haskell，Frege程序可编译成Java并在JVM中运行。
Shen语言函数编程语言
Shen语言是函数编程语言Qi的继承者，由 Mark Tarver博士开发，首个版本是在2011年释
Shen语言函数编程语言
Shen语言是函数编程语言Qi的继承者，由MarkTarver博士开发，首个版本是在2011年释出，其名字意思是“精神”。Qi采用的是GPL和私有许可证，而Shen没有使用GPL，而是作者自己制定的一
F#函数式编程语言
F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言，是函数编程语言（FP，FunctionalProgramming），函数编程语言最重要的基础是LambdaCalculus。它是基于OC
Futhark函数式编程语言
Futhark 是一个小型全新的函数式编程语言，可编译为高性能的 GPU 代码。使用静态类型、并行数
Whiley函数式编程语言
Whiley是一个轻量级面向对象和函数式编程语言，目标代码在Java虚拟机上执行。Whiley在编译时就可以排除很多错误，例如除0、数组越界和空引用等。示例代码：voidSystem::main([s
F#函数式编程语言
F#是由微软发展的为微软.NET语言提供运行环境的程序设计语言，是函数编程语言（FP，Functio
Haskell函数式编程语言
Haskell是一种纯函数式编程语言，它的命名源自美国数学家HaskellBrooksCurry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Mi
Futhark函数式编程语言
Futhark是一个小型全新的函数式编程语言，可编译为高性能的GPU代码。使用静态类型、并行数据以及纯函数数组语言。该语言对编译器提前进行重度的优化，通过OpenCL生成GPU代码。Futhark并非
Haskell函数式编程语言
Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry