#Haskell

Haskell是一种标准化的,通用的纯函数编程语言,有非限定性语义和强静态类型。

正确地使用 Kotlin 的 internal

bennyhuo

腾讯 · 高级工程师 (已认证)

Kotlin 的 internal 是一个比较有用的访问控制关键字,特别是当你开发一些 SDK 给别人用时,有些类的 API 只能为 public 却又不想让外...

22920

Kotlin版图解Functor、Applicative与Monad

bennyhuo

腾讯 · 高级工程师 (已认证)

内部发生了什么? Monad 是 Haskell 中的另一个类型类。 这是它(在 Haskell 中)的定义的片段:

11520

PFQ:一款针对多核心架构的功能性网络框架

C4rpeDime

黑白安全 · 创始人 (已认证)

Pfq-lang受到了Haskell的启发,主要针对的是运行在网络设备驱动器上的特定应用程序。在pfq-lang的帮助下,研究人员可以构建高效的网桥、端口镜像、...

14120

好的编程语言具备哪些特性?

Python猫

当然,Haskell 是一种非常有趣的语言,但它非常抽象。你真的需要六种不同的方法来实现阶乘吗?我想说,也许 Haskell 的主要关注点在于抽象代数和对数学的...

31510

什么是好的编程语言?

AI研习社

当然,Haskell 是一种非常有趣的语言,但它非常抽象。你真的需要六种不同的方法来实现阶乘吗?我想说,也许 Haskell 的主要关注点在于抽象代数和对数学的...

37420

来自于编程大师的职业建议:别老想着写码

ConardLi

“可以根据类型的不同各挑一个来深入了解,能够更好理解计算机是如何工作的的语言(C语言),一个封装特性好的语言(Haskell, Prolog), 一个静态类型的...

12820

通过欧拉计划学习Rust编程语言

申龙斌

看了一下网上有关Rust的介绍,都说它的学习曲线相当陡峭,曾一度被其吓着,后来发现Rust借鉴了Haskell等函数式编程语言的优点,而我以前专门学习过Hask...

33730

5门可能衰落的编程语言

华章科技

据称,Haskell 将在 2020 年进行一次重大的更新(由 GHC 和 GitHub 中与 Haskell 相关的仓库可以看出)。一些知名公司和项目(Fac...

35630

一些Qt第三方语言绑定库(修正)

Qt君

66520

为何 Go 的声明语法有点怪?(语法比较)

Dylan Liu

Go 语法对第一次接触 Go 的新手来有点怪,因为大家习惯了类 C 语法将类型放在前面的方式,对 Go 将类型放在参数后面有点不习惯,刚开始感觉很别扭,那 Go...

22740

使用Optional来减少null检查

Dylan Liu

在Haskell中有一个Maybe类来处理可能的null,Scala中也提供了OptionT来表示,Kotlin中使用在调用后加?来安全的处理返回值为null的...

18840

Haskell

icepy

这门语言在数学模型上有着很深的优势,虽然它有很多特性,让人很难接受,随着学习的深入,你才会发现这会多么有趣。

26130

沅有芷兮:类型系统的数学之美

tyrchen

昨天的文章删了,因为我的 vscode 把 markdown 里的 * 自动替换成了 _,导致一些公式的表述变得异常奇怪。另外,原创忘记打开了。

20310

newtype_Haskell笔记8

ayqy贾杰

阿里巴巴 · 高级前端工程师 (已认证)

在List场景,xs <*> ys表示从左侧xs中取出函数作用于右侧ys中的每一项,有两种实现方式:

11430

GitHub趋势榜第二名:解析、对比不同编程语言的Semantic库

机器之心

semantic 是一个用于解析、分析和对比不同语言源代码的 Haskell 库和命令行工具,目前支持 JavaScript、TypeScript、Python...

25320

函数式编程 - Type Class 介绍

joymufeng

由于 Haskell 是一门纯函数式编程语言,没有类和接口的概念,所以使用 Type Class 表达类似接口的概念。例如 Haskell 的 Ord 类型类在...

16410

[译]柯里化有用吗?

the5fire

Haskell和JavaScript的第一点不同是,在Haskell中,柯里化是内置的概念。这是入门的门槛——因此所有的Haskell开发者都知道这个概念。

21230

iOS 面向函数编程的理解

ZY_FlyWay

函数编程(简称FP)不只代指Haskell Scala等之类的语言,还表示一种编程思维,软件思考方式,也称面向函数编程。 编程的本质是组合,组合的本质是范畴Ca...

15220

函数式思维

Sheepy

自从大四看了三章《SICP》之后我就自诩为一个函数式编程爱好者,之前也在公司分享过一个 Haskell 的 Topic,效果非常糟糕,讲到后来已经没剩几个人了,...

19610

如何在Debian 9上使用Python 3设置Jupyter笔记本

葡萄

Jupyter Notebook为交互式计算提供了一个命令shell作为Web应用程序。该工具可以与多种语言一起使用,包括Python,Julia,R,Hask...

67980

扫码关注云+社区

领取腾讯云代金券