はじめまして！ 👋😄

• 山本悠滋 (@igrep)
  • HN: すがすがC言語
• Haskeller歴 ≒ プリキュアおじさん歴 ≒ 約13年。
• 趣味ではTypeScriptで自作言語を作ったり、
• 仕事ではMagicPodというアプリケーションを開発したりしています。
• igrep.elというEmacsプラグインがありますが無関係です！

🇯🇵自己紹介 + 宣伝 1:

• 日本Haskellユーザーグループ（Haskell-jp）の発起人の一人です
• haskell.jpというドメインを活かして何かしら活動する人を応援します

🔰自己紹介 + 宣伝 2:

• そのHaskell-jpの活動の一環として、Make Mistakes to Learn Haskell - 失敗しながら学ぶHaskell入門という入門コンテンツをずっと作っています

📝今日話すこと

• Haksellは普通に入出力（IO）も出来る
• 本当に大事なこと:
  • IOが原則全てファーストクラスオブジェクトで表現されること
  • その「IO」を実行するAPIが隠蔽されていること
• 「普通にIO出来る」Haskellは、型で副作用の有無を見分けられるのが目玉
  • 「純粋」な部分と「不純」な部分を明確に分けることができる

どうして「純粋」なのか

• Haskellは「純粋関数型言語」として生まれた
• まずはその歴史を見てみよう

Haskellが生まれた背景

• Haskell搭乗前: ML, Miranda, Hopeなどの純粋関数型言語が登場
• 1987年: 純粋な関数型言語を統一しよう
  • ➡️Haskell Committee設立

Haskell以前のIO

Miranda最新版(‼️)のマニュアル曰く…

• Mirandaには限られたIOしかない
  • read :: [char]->[char]など
  • 原則読むだけ！
  • 参照透明ですらない！
• 「純粋関数型言語」という看板を下ろさないでIOできるようにしよう！
  • 重要なゴールだった事が伺える

Haskell 1.0のIO

Haskell 1.1のIO

Haskell 1.2のIO

Haskell 1.3以降のIO

IOは純粋な関数？

実用上は全くそんなことない！

それでも純粋っぽい部分

• IOは常にファーストクラスオブジェクト
  • Worldを受け取ってWorldを返す関数オブジェクト
• 実行するAPIがない

こういう意見もある

• 想定反論: 「視点の違いでは？」ほとんどのプログラマーにとっては「実行器までがHaskell」。他の言語ではそんな議論するまでもないですし

何故こんな議論に？

• Haskellが純粋じゃないと、アイデンティティーの危機が！

IO以外にも…

まとめ

• 😩

概要: 「Haskellは純粋関数型言語だから副作用がないらしいけど、入出力処理などはどうやるんだろう？」というような疑問を抱えている方は多いでしょう。本発表ではHaskellの歴史と現状を顧みて、そのような疑問が生まれる背景や、「Haskellは副作用がない」と考えることの問題点と、それを踏まえて「副作用があるHaskell」という認識が普及した未来について論じます。関数型プログラミングやHaskellを学習する際ありがちな「思考の憑きもの」を祓う発表になれば幸いです。

話したいこと案（TBD）

• 昔は確かに「純粋」だった（あるいは純粋を目指していた）
  • それらしい部分はIOによって完全に隠蔽され、よく知らないと区別できなくなった
• 関数型パーサーとかも純粋な関数ではあるが結局命令型プログラミングらしくなる（「純粋」というより「命令型をうまい具合に取り入れた」？）
  • 本当に大事なこと1: 「純粋」から「不純」へのグラデーションが描けるようになった（Effect Systemの話とかに繋げる？）
• どうして「純粋」だと言い張れるのか
  • 本当に大事なこと2: IOが原則全てファーストクラスオブジェクトであること
  • Identity crisis との闘い: ではHaskellは何なのか
• 純粋な関数と関数型プログラミングの限界を認めて楽になろう

https://dl.acm.org/doi/10.1145/1238844.1238856

https://www.haskell.org/onlinereport/haskell2010/haskellli2.html#x3-2000

https://en.wikipedia.org/w/index.php?title=Haskell&oldid=1281033176

https://ja.wikipedia.org/w/index.php?title=Miranda&oldid=93111387

https://www.cs.kent.ac.uk/people/staff/dat/miranda/downloads/

https://github.com/typeclasses/haskell-report-archive

https://www.cs.kent.ac.uk/people/staff/dat/miranda/

https://www.cs.kent.ac.uk/people/staff/dat/miranda/manual/100.html