2025プログラミング言語論 IOモナド

録画が始まり、プログラミング言語論のオンライン講義が開始される。大学のライセンスの関係で最大40分のセッションであるため、途中で切れた場合は授業が終了することが説明される。出席登録のURLがチャットに共有され、受講者は出席がカウントされることが伝えられる。

前回の講義の内容を振り返り、メイビー・モナドについての説明が行われる。関数の基本的な概念が紹介され、メイン関数の重要性とその分割について説明される。関数合成の概念が紹介され、従来の手続き型プログラミングとの違いが強調される。

関数の参照性について説明され、数が常に同じ値を持つことの重要性が述べられる。汚れた変数の問題が指摘され、関数型プログラミングにおけるイミュータブルとミュータブルの概念が紹介される。具体的な例として、0による除算の問題が挙げられ、エラー処理の方法が説明される。

プログラミング言語におけるエラー処理のポリシーの違いが説明され、例外処理の重要性が強調される。例外が発生した場合のプログラマーへの通知方法についても言及され、数値計算におけるエラー処理の方法が紹介される。

メイビーの概念が具体的に説明され、関数の定義とその戻り値についての考え方が示される。値コンストラクターの使用が強調され、メイビー型の具体例が示される。配列との類似性についても言及され、プログラミング言語設計の観点からの考察が行われる。