Tic tac types: a gentle introduction to dependently typed programming (functional pearl)
Tic tac types: a gentle introduction to dependently typed programming (functional pearl)
复制标题
Tic tac 类型：对依赖类型编程的简单介绍（函数式珍珠）
DOI：
10.1145/3331554.3342606
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Innes S
中科院分区：
文献类型：
--
作者：
Innes S
一字棋是一款简单、熟悉、经典的游戏，深受许多人喜爱。这颗珍珠的设计目的是让没有经验的函数式程序员了解依赖类型的世界。我们涵盖了一个旅程，从在几乎没有类型的| string的严酷世界中的Tic-Tac-Terrible实现，到知道自己长度的vector的安全避风港，再到过于强类型的Tic-Tac-Titanium版本。一路上，我们发现了一些我们一直知道的东西；类型很好，但要适度。在更复杂的递归版本中很快就会用到这个教训。
Tic-Tac-Toe is a simple, familiar, classic game enjoyed by many. This pearl is designed to give a flavour of the world of dependent types to the uninitiated functional programmer. We cover a journey from Tic-Tac-Terrible implementations in the harsh world of virtually untyped |Strings|, through the safe haven of vectors that know their own length, and into a Tic-Tac-Titanium version that is too strongly typed for its own good. Along the way we discover something we knew all along; types are great, but in moderation. This lesson is quickly put to use in a more complex recursive version.
登录
查看更多内容
Profunctor Optics：模块化数据访问器
DOI：
10.22152/programming-journal.org/2017/1/7
发表时间：
2017
期刊：
Art Sci. Eng. Program.
影响因子：
--
作者：
Matthew Pickering;J. Gibbons;Nicolas Wu
通讯作者：
Nicolas Wu
DOI：
10.1145/2503778.2503781
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Bird R
通讯作者：
Bird R
使用单例进行依赖类型编程
DOI：
--
发表时间：
2013
期刊：
ACM SIGPLAN Symposium/Workshop on Haskell
影响因子：
--
作者：
R. Eisenberg;Stephanie Weirich
通讯作者：
Stephanie Weirich
作用域操作的语法和语义
DOI：
--
发表时间：
2018
期刊：
Logic in Computer Science
影响因子：
--
作者：
Maciej Piróg;Tom Schrijvers;Nicolas Wu;Mauro Jaskelioff
通讯作者：
Mauro Jaskelioff
使用香蕉、镜头、信封和铁丝网进行函数式编程
DOI：
--
发表时间：
1991
期刊：
Conference on Functional Programming Languages and Computer Architecture
影响因子：
--
作者：
E. Meijer;M. Fokkinga;R. Paterson
通讯作者：
R. Paterson