物理与天文2015arxiv.org
用 Haskell 编程学习物理
Learn Physics by Programming in Haskell
入门 · 约 45 分钟读完前置知识：Haskell 基础、经典力学基础
导读
这篇论文讨论如何用 Haskell 编程来学习物理，核心是以函数式编程为媒介表达和实验物理概念。评论补充了配套 Haskell 库、后续的量子力学版本，以及在中小学和大学物理教学中整合编程的实践与挑战。
HN 关注点：函数式编程能否帮助理解物理与数学，以及相关课程、库和教学资源是否可行。
HN 评论精选
Bootstrap 将函数式编程融入九年级物理课程，并尽量降低额外 CS 负担。
Bootstrap 正在为九年级开发高中物理课程，把函数式编程作为基础组成部分。目前只有落地页，但我今年夏天参加了他们很酷的工作坊。他们设计语言时避免任何“附带复杂性”——物理老师只需教物理教育目标绝对必要的计算机科学内容。
alew1查看英文原文
Bootstrap is working on a high school physics curriculum for ninth graders, which integrates functional programming as a fundamental component. They only have a landing page up at the moment [0], but I attended a very cool workshop they gave this summer. They’ve designed the programming language to avoid any “incidental complexity”—Physics teachers only have to teach the CS that’s absolutely necessary for the physics education goals they’re trying to achieve. [0] http://www.bootstrapworld.org/materials/spring2018/courses/physics/
指出同方向的后续论文：用 Haskell 学量子力学。
还有续篇《Learn Quantum Mechanics with Haskell》。
kuwze查看英文原文
There is also the sequel “Learn Quantum Mechanics with Haskell”[0]. [0]: https://arxiv.org/abs/1611.09471
提供论文相关的 Haskell 库链接。
Haskell 库在这里：GitHub 和 Hackage 上都有。
privong查看英文原文
The haskell library is here: https://github.com/walck/learn-physics https://hackage.haskell.org/package/learn-physics
物理学生亲历：编程模拟能加深理解，但整合教学需渐进，否则负担过大。
我是物理二年级学生，很高兴看到更多编程尤其函数式编程融入物理课程。我做过与物理课相关的模拟，目的是更深入、更实际地理解原本很理论化的内容。比如我写了一个小过山车模拟，帮助自己体会拉格朗日力学和广义坐标的威力；在电动力学课上写泊松方程有限差分解算器，看到比手算简单几何更多的情形。这类自愿活动很激励我，也帮助理解概念。有些课程已在作业中加入模拟和数值内容。更深入整合编程教学需要时间和资源推动，也不是人人都乐意——有人会觉得被迫学编程；入门数值物理课也显示同时学编程、数值和物理很难。尽管有缺点，我仍认为这是未来物理教育的方向，温和引入、伴随物理慢慢教编程是关键。
flannelhead查看英文原文
I'm a physics sophomore, and I would be very glad to see more programming, especially FP, integrated to physics courses. During my studies, I've programmed some simulations related to the physics courses I've taken. My main purpose has been to gain a deeper, more practical insight on the subject which would've otherwise remained quite theoretical and distant. For example, I made a little rollercoaster simulation to demonstrate the power of Lagrangian mechanics and generalized coordinates to myself. On the electrodynamics course I programmed a solver for Poisson's equation using the finite difference method to see a little more than the few simple geometries we calculated by hand. That kind of voluntary activities have greatly motivated me and helped me to understand various concepts. On some courses we already have some simulation work and numerics in homework problems. Maybe deeper integration of programming into teaching requires time and, more importantly, a driving force and resources behind it. Then, of course, not everyone would be happy to see that kind of integration – I'm sure some would feel like they're forced to learn to program. And, as it has been seen on our entry level numerical physics course, learning programming, numerics and physics the same time is really quite hard. Given those shortcomings, I still feel this is the way to go for future physics education. A gentle introduction and slowly teaching programming alongside physics would be the key, I think.
相关资源
从这篇论文所有 HN 讨论帖的全部评论里整理出来的链接。
历次讨论
- 2015Hacker News 讨论帖240 分 · 55 评
- 2018Hacker News 讨论帖468 分 · 80 评
同领域还值得读
LIGO 探测到第二个引力波
Second Gravitational Wave Detected at LIGO
LIGO 宣布探测到第二个双黑洞并合产生的引力波信号（GW151226）。
物理与天文2016 · 621 分 · 174 评入门 · 约 20 分钟编辑精选W 玻色子质量测量显示与理论计算存在 7σ 偏差
Measurement of the W boson mass reveals 7σ deviation from calculations
对 W 玻色子质量的测量结果与标准模型理论计算存在 7σ 的偏差，远超统计学显著性标准，可能暗示新物理的存在。
物理与天文2022 · 356 分 · 151 评进阶 · 约 60 分钟编辑精选涌现引力与暗宇宙
Emergent Gravity and the Dark Universe
Verlinde 的这篇论文提出“涌现引力”理论，认为引力并非基本相互作用，而是由时空的量子信息（熵）涌现而来，并据此试图在不引入暗物质粒子的情况下解释星系旋转曲线等通常归因于暗…
物理与天文2016 · 219 分 · 81 评 · 引用 7专业 · 约 120 分钟编辑精选Feynman：用计算机模拟物理（1981）
Feynman: Simulating Physics with Computers (1981)
这是费曼 1981 年的经典演讲论文，探讨用计算机模拟物理系统（尤其是量子系统）的问题。
物理与天文2016 · 187 分 · 22 评入门 · 约 60 分钟编辑精选量子世界中观察者独立性的实验否证
Experimental rejection of observer-independence in the quantum world
报告了一个检验观察者独立性的量子实验，借助多观察者版本的 Wigner's Friend 场景，考察不同观察者获得的测量结果是否能被视为客观、观察者无关的事实。
物理与天文2019 · 187 分 · 111 评 · 引用 4专业 · 约 50 分钟编辑精选