JASRAC許諾第9009285055Y45038号 JASRAC許諾第9009285050Y45038号 JASRAC許諾第9009285049Y43128号 許諾番号 ID000002929 ABJマークは、この電子書店・電子書籍配信サービスが、著作権者からコンテンツ使用許諾を得た正規版配信サービスであることを示す登録商標(登録番号 第6091713号)です。
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
Review of chapters 9-11 & overall thoughts For Context: All the previous posts in this series Chapter 1: Setting Up an SML# Environment Chapter 2: The Essense of ML Programming Chapter 3: List Processing Chapter 4: Defining and Using Datatypes Chapter 5: Modules and Partial Compilation Chapter 6: Techniques of Designing and Developing ML-style Systems Chapter 7: Interoperability with the C Languag
We are the high quality product of functional beauty for our diversifying lifestyle. 多様化するLIFE STYLEに合わせた 実用的な機能美の追求
κeenです。SML# 3.7.0から実験的機能として _dynamiccase に存在型のサポートが入ったので試してみます。 本記事はSML# 4.0.0 with LLVM 12.0.0で動作確認を行っています。 Dynamicについて _dynamiccase 以前にDynamicの説明から入りましょう。 DynamicはSML# 3.5.0から入った機能です。 型を消して代わりにデータに埋め込んでおき、使うときにその型を復元して使えるものです。 型を消す(型をデータに埋め込む)のは Dynamic.dynamic などのプリミティブを、型を復元するのは _dynamic などの制御構造を使います。 val x = Dynamic.dynamic {a = 1, b = "c"} (* val x = _ : Dynamic.void Dynamic.dyn *) val y = _
Tue, 26 Apr 2022 What was wrong with SML? [ I hope this article won't be too controversial. My sense is that SML is moribund at this point and serious ML projects that still exist are carried on in OCaml. But I do observe that there was a new SML/NJ version released only six months ago, so perhaps I am mistaken. ] I recently wrote: It was apparent that SML had some major problems. When I encounter
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く