搜索

[24308] 2015-09-20_对话函数式编程语言Roy发明人BrianMckenna

文档创建者：s7ckTeam
浏览次数：0
最后更新：2025-01-18
2015-09-20_对话函数式编程语言Roy发明人BrianMckenna 对 话 函 数 式 编 程 语 言   R o y   发 明 人 B r i a n   M c k e n n a 伍 昆   L i n u x 中 国   2 0 1 5 - 0 9 - 2 0 编 程 语 言 有 多 少 种 ？ 你 只 需 看 下 维 基 百 科 上 的 清 单 就 知 道 了 ， 种 类 极 其 繁 多 。 当 然 我 们 不 可 能 每 一 门 语 言 都 会 ， 但 学 习 下 新 事 物 ， 笔 者 认 为 还 是 很 有 必 要 的 。 本 文 就 带 大 家 认 识 一 下 函 数 式 语 言 R o y 。 本 文 译 自 国 外 记 者 F e d e r i c o   C a r r o n e 对 B r i a n   M c K e n n 的 专 访 ， B r i a n 是 编 程 语 言 R o y 之 父 。 访 谈 内 容 涉 及 R o y 与 P u r e s c r i p t ， 依 赖 类 型 等 事 物 的 比 较 以 及 B r i a n 对 其 它 流 行 技 术 的 看 法 。 Q 1 ： ： R o y 的 主 要 特 性 有 哪 些 呢 ？ 的 主 要 特 性 有 哪 些 呢 ？ B r i a n   M c K e n n ： ： R o y 属 于 函 数 式 编 程 语 言 ， 其 特 性 有 ： 类 型 和 类 型 推 断 ； 代 数 数 据 类 型 和 模 式 匹 配 ； M o n a d i c ( 单 细 胞 ) 语 法 。 Q 2 ： 请 问 设 计 ： 请 问 设 计 R o y 的 初 衷 是 ？ 的 初 衷 是 ？ B r i a n   M c K e n n ： ： 在 用 J a v a S c r i p t 工 作 几 年 后 ， 我 开 始 了 R o y 的 编 写 。 在 学 习 H a s k e l l 的 时 候 ， 它 给 了 我 很 多 启 发 和 灵 感 。 有 类 型 概 念 的 函 数 式 编 程 使 我 在 工 作 过 程 中 获 益 良 多 ， 所 以 我 想 把 它 运 用 到 W e b 编 程 里 。 R o y 与 P u r e s c r i p t 是 很 相 似 的 ， 那 么 他 们 的 区 别 在 哪 里 呢 ？ R o y 的 实 施 会 更 加 便 捷 。 如 果 P u r e S c r i p t 在 日 后 能 够 实 现 与 R o y 一 样 的 快 速 实 施 ， 我 会 更 推 荐 P u r e S c r i p t ； 因 为 它 有 更 严 谨 的 体 系 和 更 少 的 B u g 。
Q 3 ： 你 还 编 写 了 ： 你 还 编 写 了 L e x e r 和 和 P a r s e r 。 请 问 编 写 的 目 的 是 什 么 呢 ？ 是 现 有 工 具 存 有 不 足 还 是 其 他 原 因 ？ 。 请 问 编 写 的 目 的 是 什 么 呢 ？ 是 现 有 工 具 存 有 不 足 还 是 其 他 原 因 ？ B r i a n   M c K e n n ： ： 我 的 L e x e r （ 基 于 J a v a 编 写 的 C 语 言 词 法 分 析 器 ） 是 对 空 格 敏 感 的 ， 并 且 会 把 数 据 传 入 J i s o n   p a r s e r 生 成 器 。 这 与 C o f f e e S c r i p t 所 做 的 一 样 。 一 个 自 定 义 的 L e x e r r 是 有 必 要 的 ， 因 为 J i s o n   l e x e r 生 成 器 对 空 格 不 敏 感 。 类 似 于 P a r s e c 和 T r i f e c t a 的 p a r s e r 组 合 工 具 非 常 好 用 ， 因 为 易 于 使 用 并 允 许 编 写 出 可 复 用 的 抽 象 代 码 。 Q 4 ： 请 问 ： 请 问 m o n a d i c 语 法 的 非 限 制 特 性 对 于 编 程 语 言 有 什 么 好 处 ？ 语 法 的 非 限 制 特 性 对 于 编 程 语 言 有 什 么 好 处 ？ B r i a n   M c K e n n ： ： 其 实 R o y 的 m o n a d i c 没 有 实 现 非 限 制 特 性 的 ， 但 是 可 以 透 过 F F I 实 现 。 S c a l a 则 是 实 现 得 非 常 完 美 的 一 家 。 对 于 m o n d a d i c 语 法 ， 请 看 下 面 的 一 个 对 比 ： 该 代 码 可 简 写 为 ： 这 里 就 不 存 在 非 限 制 的 作 用 了 。 Q 5 ： 对 于 编 程 初 学 者 来 说 ， 请 问 你 有 什 么 建 议 呢 ？ ： 对 于 编 程 初 学 者 来 说 ， 请 问 你 有 什 么 建 议 呢 ？ B r i a n   M c K e n n ： ： 程 序 源 代 码 是 很 好 的 学 习 资 源 。 我 建 议 透 过 P u r e S c r i p t 和 I d r i s 编 译 器 来 进 行 学 习 。 H a c k a g e 上 有 很 丰 富 的 代 码 资 源 ， 例 如 以 下 的 W 算 法 实 现 ： h t t p s : / / h a c k a g e . h a s k e l l . o r g / p a c k a g e s / 。 Q 6 ： 请 问 我 们 该 如 何 学 习 不 同 类 型 的 系 统 ？ ： 请 问 我 们 该 如 何 学 习 不 同 类 型 的 系 统 ？ B r i a n   M c K e n n ： ： B e n j a m i n   P i e r c e 的 文 章 类 型 和 编 程 语 言 是 非 常 好 的 学 习 资 源 。 他 深 入 地 剖 析 了 有 关 类 型 问 题 的 细 节 ， 并 结 合 O G a m l 给 出 了 很 多 好 的 实 例 ， 非 常 值 得 一 读 。 Q 7 ： 近 日 你 发 表 了 关 于 ： 近 日 你 发 表 了 关 于 I d r i s 的 看 法 ， 一 种 依 赖 类 型 的 语 言 。 请 问 你 是 怎 么 看 待 依 赖 类 型 的 ？ 的 看 法 ， 一 种 依 赖 类 型 的 语 言 。 请 问 你 是 怎 么 看 待 依 赖 类 型 的 ？ B r i a n   M c K e n n ： ： 对 于 非 依 赖 类 型 语 言 ， 对 象 的 值 是 依 赖 于 其 它 值 的 ： 函 数 ！ 对 于 依 赖 类 型 来 说 ， 也 有 这 种 函 数 ， 但 是 还 有 种 函 数 是 把 类 型 返 回 的 。 1 .   f o r   {     2 .       n a m e   < -   m a y b e F i r s t N a m e     3 .       u s e r   < -   l o o k u p ( n a m e )     4 .       a v a t a r   < -   g e t A v a t a r ( u s e r )     5 .   }   y i e l d   a v a t a r     1 .   m a y b e F i r s t N a m e . f l a t M a p   {   n a m e   = >     2 .       l o o k u p ( n a m e ) . f l a t M a p   {   u s e r   = >     3 .           g e t A v a t a r ( u s e r )     4 .       }     5 .   }    
来 源 ： C S D N 原 文 ： h t t p : / / w w w . c s d n . n e t / a r t i c l e / 2 0 1 5 - 0 9 - 1 7 / 2 8 2 5 7 2 3 - R o y 作 者 ：   伍 昆 H a s k e l l 有 两 种 完 全 独 立 的 语 言 ： 语 言 的 值 以 及 语 言 类 型 。 最 新 版 本 的 G H C 可 以 把 值 传 给 类 型 ， 但 如 果 你 想 编 写 一 个 函 数 来 覆 盖 其 它 值 ， 你 就 需 要 编 写 一 个 值 级 别 和 类 型 级 别 分 开 处 理 的 版 本 。 依 赖 类 型 则 无 需 这 么 转 折 。 你 只 需 编 写 一 个 函 数 就 可 以 了 ， 它 可 以 根 据 实 际 情 况 进 行 复 用 。 Q 8 ： 请 问 依 赖 类 型 语 言 在 实 际 中 有 什 么 亮 点 ？ ： 请 问 依 赖 类 型 语 言 在 实 际 中 有 什 么 亮 点 ？ B r i a n   M c K e n n ： ： 可 以 在 类 型 里 使 用 值 。 例 如 以 下 的 链 表 倒 转 例 子 ， 进 行 二 次 倒 转 后 链 表 恢 复 原 样 ： 或 者 我 们 可 以 在 排 序 函 数 里 生 成 一 个 按 值 大 小 进 行 倒 序 排 列 的 链 表 。 还 有 对 于 元 编 程 来 说 ， 因 为 知 道 会 传 递 什 么 样 的 值 ， 所 以 可 以 计 算 出 想 要 的 类 型 。 Q 9 ： 从 你 的 博 客 里 发 现 你 学 习 了 ： 从 你 的 博 客 里 发 现 你 学 习 了 G o q 和 和 A g d a 。 可 以 分 享 一 下 心 得 吗 ？ 。 可 以 分 享 一 下 心 得 吗 ？ B r i a n   M c K e n n ： ： G o q 和 A g d a 可 以 使 人 们 知 道 可 用 的 类 型 以 及 如 何 进 行 交 互 设 计 。 同 时 它 们 可 以 帮 助 实 现 元 编 程 ， 例 如 根 据 输 入 字 符 串 进 行 静 态 字 符 串 检 测 。 Q 1 0 ： 你 现 在 在 关 注 哪 些 新 语 言 和 新 技 术 ？ ： 你 现 在 在 关 注 哪 些 新 语 言 和 新 技 术 ？ B r i a n   M c K e n n ： ： G a b r i e l   G o n z a l e z 编 写 的 M o r t e 是 一 个 前 途 光 明 的 分 布 式 项 目 。 它 可 以 编 写 出 非 常 高 效 的 数 据 库 代 码 ， 以 函 数 而 不 是 库 的 方 式 来 进 行 包 管 理 。 具 体 介 绍 请 看 这 里 。 P a u l   C h i u s a n 编 写 的 U n i s o n 试 图 解 决 编 程 中 的 “ 字 符 列 表 ” 问 题 ， 同 时 为 程 序 员 带 来 更 好 的 函 数 式 编 程 体 验 。 1 .   r e v e r s e I n v o l u t i o n   :   ( x s   :   L i s t   a )   - >   r e v e r s e   ( r e v e r s e   x s )   =   r    
阅 读 原 文
回复

举报

高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

使用Markdown编辑器编辑 使用富文本编辑器编辑

Archiver| 手机版| 小黑屋|
Powered by Discuz! X3.4 Copyright © 2001-2020, Tencent Cloud. 商业源码建议获取授权，如侵犯您的权益，请联系客服处理