- 综合排序
- 最热优先
- 最新优先
- 来自专栏编舟记
Idris 关于环境和数据类型
Alone 简介 Emacs集成 Idris 开发环境 Idris repl 使用说明 Idris 代数类型定义 1. Emacs 安装 idris-mode (use-package idris-mode :mode (("\\.idr$" . idris-mode) ("\\.lidr$" . idris-mode)) :ensure t :defer t) (provide 'init-idris) emacs 打开任何以*.idr和*.lidr作为后缀的文件，都可以启用idris-mode 另外，使用C-c C-l可以在*idris-repl*中加载当前文件并启用 type check 进行检查，出现的错误会打印在*idris-notes* buffer中。 ---- 学习资料 [1] Idris mode [2] Learn idris [3] Idris docs
38940发布于 2018-08-17 - 来自专栏Android 开发者
理解音频焦点 (第1/3部分)：常见的音频焦点用例
原文地址：Understanding Audio Focus (Part 1 / 3): Common Audio Focus use cases 原文作者：Nazmul Idris (Naz) 译文出自 理解音频焦点 (第2/3部分) - Nazmul Idris (Naz) - Medium 想学习怎么在您的应用中实现音频焦点的相关操作，请阅读本系列 第三篇文章（终章）。 理解音频焦点 (第3/3部分) - Nazmul Idris (Naz) - Medium Android多媒体开发资源 示例代码 — MediaBrowserService 示例代码 — MediaSession
2.7K21发布于 2018-05-31 - 来自专栏Rust语言学习交流
【Rust日报】函数指针与闭包的区别
thisweekinbevy.com/issue/2024-05-20-rumblings-of-0-14-god-rays-and-depth-of-field Rust 异步编程 这是 Nazmul Idris 的一系列教学文章和视频，Nazmul Idris 是前谷歌工程师，维护 r3bl_tui，同时也是一名软件工程师、创业者、设计师、领导者。
32310编辑于 2024-05-29 - 来自专栏互联网杂技
用于数学的 10 个优秀编程语言
IDRIS Idris是一种具有相关类型的通用纯函数编程语言。类型系统类似于Agda使用的类型系统。 语言支持可与Coq媲美的交互式定理证明，包括策略，即使在定理证明之前，重点仍然放在通用编程上。 Idris的其他目标是“充足”性能，易于管理的副作用和支持实施嵌入式领域特定语言。 我的看法 研究型语言。它结合了Haskell和Coq的元素。很有意思。 8.
4.1K100发布于 2018-04-03 - 来自专栏Rust语言学习交流
【Rust日报】 2019-06-22：wasmer guess game
elba v0.3 上线了 cli 和 registry 后端都是 rust 构建的 这是国内社区Andy 实现的一个idris包管理器 read more wasmer guess game 将rust
56710发布于 2019-07-09 - 来自专栏华章科技
10本书，从Python爬虫小白进阶数据分析大神（建议收藏）
《Python数据分析实战》 作者：伊凡·伊德里斯（Ivan Idris） 推荐语：通过140多个实例，详细讲解用Python进行数据分析的各种实用技术及最佳实践，并包含各种工具的Docker镜像。 关于作者：伊凡·伊德里斯（Ivan Idris），实验物理学硕士。毕业后曾经效力于多家公司，从事Java、数据仓库开发以及QA分析等方面的工作。目前，他的兴趣主要集中在商业智能、大数据和云计算等领域。 Ivan Idris以编写简洁可测试的程序代码以及撰写有趣的技术文章为乐，著有《NumPy Beginner's Guide》和《Python Data Analysis》《NumPy Cookbook
2.5K31发布于 2019-03-08 - 来自专栏顶级程序员
6 个新奇的编程方式，改变你对编码的认知
相关类型 示例语言：Idris， Agda， Coq 你可能习惯使用C和Java等语言来键入系统，编译器可以检查变量是整数，列表还是字符串。 相反，Idris使得类型成为编程语言的第一类成员，因此依赖类型系统似乎更加强大和干净。为了进行比较，请查看Scala vs Idris：相关类型，现在以及未来的讨论。
2.8K50发布于 2018-04-26 - 来自专栏Android 开发者
理解音频焦点 (第 2/3 部分)：更多的音频焦点用例
原文地址：Understanding Audio Focus (Part 2 / 3): More Audio Focus use cases 原文作者：Nazmul Idris (Naz) 译文出自： 理解音频焦点 (第 3/3 部分) - Nazmul Idris (Naz) - Medium Android多媒体开发资源 示例代码 — MediaBrowserService 示例代码 — MediaSession
3.1K20发布于 2018-05-31 - 来自专栏自然语言处理
【LLM系列之BLOOM】BLOOM: A 176B-Parameter Open-Access Multilingual Language Model
训练BLOOM的计算力是由来自于法国公共拨款的GENCI和IDRIS，利用了IDRIS的Jean Zay超级计算机。
1.4K30编辑于 2023-08-25 - 来自专栏华章科技
贫民窟的人工智能
▲Idris Abdi搬出了贫民窟，并计划参与商业领导力课程 经我们观察，办公室内几乎没有人体工程学的设备来为工作人员服务。长时间的蹲伏、点击都将对视力和身体造成一定伤害。 25岁的Idris Abdi是其中一员，他也因此搬出了贫民窟。 他说，“Samasource改变了我的一切，它改变了我的眼界，让我看到除了生活在这片土地之外新的希望。”
41930发布于 2018-12-26 - 来自专栏大数据文摘
贫民窟的人工智能
Idris Abdi搬出了贫民窟，并计划参与商业领导力课程 经我们观察，办公室内几乎没有人体工程学的设备来为工作人员服务。长时间的蹲伏、点击都将对视力和身体造成一定伤害。 25岁的Idris Abdi是其中一员，他也因此搬出了贫民窟。 他说，“Samasource改变了我的一切，它改变了我的眼界，让我看到除了生活在这片土地之外新的希望。”
39620发布于 2018-12-21 - 来自专栏CDA数据分析师
贫民窟的人工智能
Idris Abdi搬出了贫民窟，并计划参与商业领导力课程 经我们观察，办公室内几乎没有人体工程学的设备来为工作人员服务。长时间的蹲伏、点击都将对视力和身体造成一定伤害。 25岁的Idris Abdi是其中一员，他也因此搬出了贫民窟。 他说，“Samasource改变了我的一切，它改变了我的眼界，让我看到除了生活在这片土地之外新的希望。”
33510发布于 2018-12-24 - 来自专栏CSDN技术头条
改变开发者编码思维的六种编程范式
示例语言：Idris, Agda, Coq 你可能习惯于像C和JAVA等语言的类型系统，编译器可以检查一个变量是整数，列表，或者字符串。 为了比较，可以看看“Scala VS Idris：从属依赖类型的，在现在和未来”演讲。 形式化验证方法已经存在很长一段时间了，但往往过于繁琐，不适用于通用编程。 依赖类型的语言，如Idris，甚至在未来的Scala中，可能会提供更轻量级和更实用的替代方案，这仍然可以显著的提高类型系统捕捉错误的能力。
2.5K100发布于 2018-02-12 - 来自专栏终身学习者
摊牌了，作为开发者，我经常用这14个 Github 偷偷学习
作者：Olubisi Idris Ayinde 译者：前端小智 来源：dev 本文 GitHub https://github.com/qq449245884/xiaozhi 已收录，有一线大厂面试完整考点
53030编辑于 2022-06-15 - 来自专栏Python乱炖
python 的 tuple 是不是冗余设计？
在一些FP语言中Tuple的基础其实是Pair，比如Idris中，("Baz", "Foo", "Bar", 39)被当成("Baz", ("Foo", ("Bar", 39)))。
77240发布于 2019-09-23 - 来自专栏Android 开发者
在 Android O 上用到 MediaStyle 的提醒功能
原文地址：Migrating MediaStyle notifications to support Android O 原文作者：Nazmul Idris (Naz) 译文出自：掘金翻译计划 本文永久链接
2.8K20发布于 2018-05-31 - 来自专栏云云众生s
2023年开源大语言模型一览
2022 年 7 月发布的，但它入选我们的列表，因为它是一个由 60 个国家、250 个机构的 1000 多名 AI 研究人员在 Hugging Face 和法国 GENCI(大型国家强烈计算设备)与 IDRIS
1.1K10编辑于 2024-03-28 - 来自专栏深度学习与python
用了VS Code、IDEA等十几款编辑器后，我总结出优秀编辑器的特质
idris-hackers/idris-vim neovim 的 idris 语法支持。 posva/vim-vue neovim 的 Vue.js 语法支持。
2.8K10发布于 2020-11-06 - 来自专栏ThoughtWorks
Scala 3 不再支持 XML 了吗？
但如果换用OCaml、Haskell、Idris这样的学术界语言，生态环境又太差，没法用。 ? Scala解决了这个痛点。
1.4K20发布于 2019-07-09 - 来自专栏开源优测
BeautifulSoup的使用
Python数据分析 作者：[印尼]Ivan Idris 伊德里斯 当当 广告 购买
1.3K10发布于 2018-07-25
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号