YouTube再生リスト SML# で学ぶデータベースプログラミング にまとめられた参考ビデオ.

データベースプログラミングは,データベース操作をプログラミング言語で表現しデータベースを活用したシステムをプログラムすることと捉えられる.

この講義では,プログラミング言語の型理論にデータベース操作を統合る枠組みとその統合を実現した言語SML# を用いたデータベースプログラミングを学ぶ.この理解のために ・データベースの基礎の復習(database crash course) ・プログラミング言語のレコード多相性の概要(将来詳しく講義予定) ・SML# におけるSQL式の導入の概要 の解説の後,データベースプログラミングを実践する.

データベースプログラミングの実践を含む後半部分は,教科書「SML# で始める実践MLプログラミング、大堀 淳 著・上野 雄大 著、共立出版、2021」 の第9章 データベースとの連携 に準拠.