Idris

Day6 理发师告急

Malaysiaisrunningoutofbarbersandneedstoimportforeignworkerstokeepthepopulation’shairneatandtidy.ThePresidentoftheConsumersAssociationofPenang(CAP),S.M.Idris
社会乔·2023-08-07 03:41

Python: NumPy, Pandas学习资料

NumPy学习资料书籍NumPyCookbook_[Idris2012]NumPyBeginner’sGuide,3rd_[Idris2015]Python数据分析基础教程：NumPy学习指南（第2版）
开心鲨鱼·2023-04-14 08:59

Idris 关于环境和数据类型

Alone简介Emacs集成Idris开发环境Idrisrepl使用说明Idris代数类型定义1.Emacs安装idris-mode(use-packageidris-mode:mode(("\\.idr
lambeta·2020-02-13 18:13

【Rust日报】 2019-06-22：wasmer guess game

elbav0.3上线了cli和registry后端都是rust构建的这是国内社区Andy实现的一个idris包管理器readmorewasmerguessgame将rust的猜数字游戏迁移到WASI目标上
nickname_cpongo6·2019-06-22 21:38

说 Python 是最糟糕的语言，其实没说到点子上

没有Let等局部变量声明（Scala有block，Haskell，Idris，Ocaml，es6的Let,js的var)，你无法可靠地在局部引入一个变量，一不小心就把全局变量改了。
Python_1_3·2019-04-19 15:03

12个案例教你用Python玩转数据可视化

「2019Python开发者日」全日程揭晓，请扫码咨询↑↑↑作者 | 伊凡·伊德里斯（Ivan Idris），曾是Java和数据库应用开发者，后专注于Python和数据分析领域，致力于编写干净、可测试的代码
Python大本营·2019-04-11 00:00

说 Python 是最糟糕的语言，其实没说到点子上

没有Let等局部变量声明（Scala有block，Haskell，Idris，Ocaml，es6的Let,js的var)，你无法可靠地在局部引入一个变量，一不小心就把全局变量改了。
Python之禅·2019-03-13 16:00

关于下一代前端框架的一些个人想法

Haskell甚至Idris已经把问题研究到那样的强大了,可是对于前端
题叶·2017-04-12 00:00

Seven More Languages in Seven Weeks （读书笔记）：Idris

> :tmapPrelude.Functor.map :Functorf=>(a->b)->(fa)->fbmap(\x=>x*0.5)(the(ListFloat)[3.14,2.78])数据类型：idris
cteng·2016-03-30 18:00

程序与证明

程序与证明时间: 2015-02-2821:37作者: lsgxeva分类: 基础深入>>language>>haskell摘要: 介绍程序和证明之间的关系与发展标签: 逻辑证明程序计算idris函数式依赖类型
LSGX·2015-08-04 11:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他