搜索

[22468] 2014-03-16_计算机大师Dijkstra谈Haskell和Java

文档创建者：s7ckTeam
浏览次数：11
最后更新：2025-01-18
2014-03-16_计算机大师Dijkstra谈Haskell和Java 计 算 机 大 师 D i j k s t r a 谈 H a s k e l l 和 J a v a L i n u x 中 国   2 0 1 4 - 0 3 - 1 6 2 0 0 1 年 ， 出 生 于 荷 兰 的 计 算 机 大 师 、   图 灵 奖 获 得 者 E d s g e r   W .   D i j k s t r a 给 德 州 大 学 预 算 委 员 会 写 信 ， 力 劝 不 要 将 计 算 机 入 门 课 程 改 为 J a v a 。 这 封 信 的 P D F 版 可 以 从 这 里 下 载 。 不 幸 的 是 ， 学 校 最 终 还 是 用 J a v a 课 程 替 换 了 H a s k e l l 。 相 关 联 的 ， 麻 省 理 工 的 计 算 机 程 序 结 构 和 分 析 课 程 ( 6 . 0 1 ) 中 的 S c h e m e 语 言 也 被 P y t h o n 语 言 替 换 掉 。 致 预 算 委 员 会 成 员 我 写 这 封 信 给 你 们 是 因 为 有 谣 言 说 ， 大 学 教 学 中 的 计 算 机 入 门 课 程 将 不 再 使 用 函 数 式 编 程 语 言 H a s k e l l ， 而 是 使 用 命 令 式 语 言 J a v a ， 鉴 于 此 ， 我 认 为 预 算 委 员 会 有 责 任 去 阻 止 这 项 错 误 的 决 定 。 你 们 知 道 ， 这 不 是 小 事 。 其 它 州 的 同 行 经 常 好 奇 于 我 如 何 能 在 德 州 奥 斯 汀 这 样 的 地 方 生 存 下 来 ， 他 们 都 以 为 德 州 顽 固 的 保 守 主 义 必 然 造 就 了 同 样 顽 固 的 平 庸 。 我 的 回 答 通 常 是 ， “ 不 要 担 心 ， 教 育 系 统 还 是 一 个 比 较 开 明 的 地 方 ， 例 如 在 计 算 机 入 门 课 程 上 ， 我 们 教 新 生 H a s k e l l 语 言 ” ； 他 们 的 反 应 起 初 通 常 都 是 怀 疑 ， 然 后 是 嫉 妒 — — 大 多 是 因 为 他 们 的 大 学 课 程 无 法 再 从 P a s c a l 语 言 向 C + + 或 J a v a 这 样 的 语 言 的 转 变 中 恢 复 回 来 。 我 偏 爱 函 数 式 编 程 的 一 个 非 常 现 实 的 原 因 是 ， 对 于 新 生 的 课 程 ， 大 多 数 学 生 都 已 经 对 命 令 式 编 程 有 一 定 的 熟 悉 。 让 他 们 面 对 新 奇 的 函 数 式 编 程 ， 能 立 即 传 达 一 个 信 息 ： 编 程 比 他 们 想 象 的 要 丰 富 的 多 。 并 且 ， 他 们 很 快 就 会 观 察 到 ， 对 于 他 们 用 高 中 时 学 到 的 编 程 知 识 很 难 表 达 或 无 法 表 达 的 问 题 ， 函 数 式 编 程 能 提 供 优 雅 的 解 决 方 案 。 而 选 择 函 数 式 编 程 的 一 个 最 根 本 的 原 因 是 ， 相 比 起 命 令 式 编 程 语 言 ， 它 更 容 易 当 成 数 学 对 象 来 使 用 ， 在 教 学 中 你 可 以 用 它 精 确 的 解 释 程 序 是 什 么 。 另 外 一 个 优 势 是 函 数 式 编 程 的 “ 延 迟 执 行 ( l a z y   e v a l u a t i o n ) ” ， 它 提 供 了 一 个 环 境 来 防 止 操 作 性 的 推 理 [ 1 ] [ 2 ] 。 最 后 ， 在 H a s k e l l 语 言 跟 J a v a 的 具 体 方 面 对 比 中 ， 尽 管 H a s k e l l 不 完 美 ， 但 仍 然 比 J a v a 好 几 个 数 量 级 ， J a v a 就 是 一 个 大 杂 烩 ( 它 是 通 过 大 范 围 的 广 告 和 销 售 员 夸 张 的 宣 传 才 达 到 它 的 商 业 接 受 ) 。 总 得 来 说 ， 这 事 非 常 的 糟 糕 ， 业 界 把 有 目 共 睹 的 低 劣 的 设 计 当 作 了 “ 事 实 ” 标 准 。 我 个 人 的 认 为 ， 大 学 里 应 该 让 更 健 康 的 编 程 方 式 存 在 。 不 仅 仅 是 小 提 琴 能 塑 造 小 提 琴 家 ， 我 们 全 都 被 我 们 使 用 的 工 具 塑 造 ， 而 在 编 程 语 言 方 面 ， 影 响 是 潜 移 默 化 的 ： 它 们 塑 造 我 们 思 考 的 习 惯 。 这 使 得 第 一 种 编 程 语 言 的 选 择 非 常 的 重 要 。 我 们 应 该 把 入 门 课 程 当 成 一 种 工 具 来 创 造 一 种 为 计 算 机 科 学 教 学 服 务 的 文 化 ， 而 不 是 去 强 迫 丢 掉 过 去 的 那 些 知 识 ( 如 果 非 要 这 样 ， 那 我 们 的 过 去 算 是 什 么 ， 成 了 永 远 的 遗 物 ) 。 这 种 选 择 担 负 着 对 我 们 的 大 学 生 的 沉 重 责 任 ， 这 也 就 是 为 什 么 这 种 事 不 能 让 某 个 什 么 主 席 来 决 定 ， 而 是 应 该 由 预 算 委 员 会 来 决 定 。 这 种 事 情 不 能 让 什 么 公 务 员 或 政 客 办 理 ， 这 里 需 要 有 远 见 的 政 治
家 。 A u s t i n ,   1 2   A p r i l   2 0 0 1 E d s g e r   W .   D i j k s t r a 1 .   O n   t h e   c r u e l t y   o f   r e a l l y   t e a c h i n g   c o m p u t i n g   s c i e n c e ↩ 2 .   R e a l   m a t h e m a t i c i a n s   d o n ’ t   p r o v e ↩ [ 英 文 原 文 ： D i j k s t r a   o n   H a s k e l l   a n d   J a v a   ]   v i a   ：   h t t p : / / w w w . v a i k a n . c o m / d i j k s t r a - o n - h a s k e l l - a n d - j a v a /   本 文 地 址 ： h t t p : / / l i n u x . c n / a r t i c l e - 2 6 8 6 - 1 . h t m l   阅 读 原 文
回复

举报

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

本版积分规则

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

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