Haskell

Haskell是一种标准化的、通用纯函数式编程语言,有非限定性语义和强静态类型。它的命名源自美国逻辑学家Haskell Brooks Curry,他在数学逻辑方面的工作使得函数式编程语言有了广泛的基础。在Haskell中,函数是一等公民。作为函数式编程语言,主要控制结构是函数。Haskell语言是1990年在编程语言Miranda的基础上标准化的,并且以λ演算(Lambda-Calculus)为基础发展而来。具有“证明即程序、结论公式即程序类型”的特征。这也是Haskell语言以希腊字母「λ」(Lambda)作为自己标志的原因。Haskell语言的最主要的执行环境是GHC。
Elm是一种函数式语言,可编译为HTML、CSS和JavaScript。 Elm为函数式反应编程而设计,便于创建高可交互应用。
270Haskell脚本编程语言
nvim-hs-contrib 是与 nvim-hs neovim 互动有用的库函数。它包含了一个 neovim 和 nvim-HS 的相互作用并提供一般功能的模块。
250Haskell常用工具包
HLearn 是采用 Haskell 语言编写的高性能机器学习库,它对任意维度空间有着最快最近邻的实现算法。 HLearn 同样也是一个研究型项目。该项目的研究目标是为机器学习发掘“最佳可能”的...
240Haskell机器学习/深度学习
Ivory 语言是一门可嵌入的领域专用语言,用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性 可嵌入:Ivory 以 ...
280Haskell编程语言
semantic 是一个 Haskell 库和命令行工具,用来解析、分析和比较程序代码。 使用方法: Parse Usage: semantic parse ([--sexpression]...
290Haskell代码管理分析/审查/优化
IHP 是开箱即用 (batteries-included) 的 Web 框架,采用函数式编程语言 Haskell 编写,同时应用了函数式包管理器 Nix。 主要特性 类型安全 IHP 采用的 ...
300HaskellWeb框架
Darcs 是新一代轻量级分布式版本控制系统. 完全使用Haskell编写而成。 不同于以往的版本控制系统, Darcs没有中央服务器. 任何一个本地repository都可以既是客户端也是服务...
420Haskell版本控制系统
Streamly 是一个 Haskell 库,提供构建安全、可扩展、模块化和高性能软件的构建块。使用数据流编程和声明式并发从模块化构建块构建可靠和高性能的系统。 特性: Haskell的类型安全...
260Haskell开发工具
stack-ide 是基于 Stack 的 IDE 后端 JSON 接口。
260Haskell开发工具
Facebook 开源的 Haskell 代码重构工具。该工具能够简化重构过程、提升重构速度及安全性。 特性 能力 可以重写表达式、类型和模式 匹配取决于 alpha 等效性 重写是等式的:在左...
300Haskell代码管理分析/审查/优化
它是一个为快捷、隐私和安全应用发展而设计的领域特定语言(DSL)。经过多年对后量子零知识密码的深入研究,我们为开发者创造了Keelung,帮助他们在没有专业密码学技能的背景下也能创建安全、可信的...
230Haskell安全相关
Glean 是一个用于收集、推导和查询有关源代码信息的系统。它旨在收集和存储有关代码结构的详细信息,并提供对数据的访问,以提供从在线 IDE 功能到离线代码分析的强大工具和体验。你可以将其用于:...
290Haskell代码管理分析/审查/优化
Pandoc 可将多种文档格式,包括:markdown, reStructuredText, textile, HTML, DocBook, or LaTeX 转成: HTML formats:...
280Haskell文档/文本编辑
penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表。 penrose 是一个尚处于发展阶段的早期系统。 我们的系统还没有为贡献或公共使用做好准备,但希望很快就能实现。 如果您对...
300Haskell报表/图表制作
Hasura GraphQL Engine 是一个超快的 GraphQL 服务器,可以让你基于 Postgres 数据库快速简历 GraphQL API 服务。通过数据库事件实现 webhook...
230HaskellGraphQL项目
Carp 是一种小型编程语言,专为对游戏,声音合成和可视化等交互性和性能敏感的用例而设计。它是一个静态类型的 lisp,没有GC,用于实时应用程序。 警告!这是一个研究项目,这里的大量信息可能会...
310Haskell程序开发
当前共17个项目
×
寻找源码
源码描述
联系方式
提交