関数型言語SML# とC言語を使って本格的なプログラミングを始めるための知識と技術を習得するための講義シリーズです。 すでに配信済みの「Windows PC上のプログラミング環境整備」ビデオで、Ubuntu（build-essential) + Emacs + SML# の環境を整備すれば、初めてプログラミングを...
SML#はオープンソースの関数型プログラミング言語です。Standard MLと互換性を保ちながら、C言語やデータベースとの連携など実用上重要な機能を備えています。詳しくは「SML#について」をご覧ください。 val puts = _import "puts" : string -> int fun f x = ignore (puts (#b x)) val _ = f {a = "Hi", b = "Hello"} val _ = f {b = "World", c = "SML#"} 最近のニュース SML# 4.2.0 リリース 2025年3月24日 SML# 4.2.0 がリリースされました。 もっと読む... SML# 4.1.0 リリース 2024年11月15日 SML# 4.1.0 がリリースされました。 もっと読む... SML#の教科書が出ました 2021年4月15日
SML# is a new generation of the Standard ML family of programming languages being developed at Research Institute of Electrical Communication, Tohoku University. Its design goal is to provide a moderate but practically important extensions based on recent advance in type theory for ML-style languages while maintaining the compatibility of the Definition of Standard ML. The main features of SML# in
概要：プログラミング言語SML# 研究開発の動機・内容・経緯など、および、プログラミング言語の学術研究に関する雑感 出典：令和4年3月7日、東北大学 情報科学研究科 学術懇話会 (最終講義) 他の先生方による講師紹介、質問等のビデオ部分は削除して公開しています。質問については、その内容をスライドで紹介し、その回答を含めています。なお、東北大学情報科学研究科のロゴを含む動画公開の許可を得ています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
