[B! Standard ML] miki_beneのブックマーク

「純粋関数型データ構造」を読み進めるための SML/NJ Tips

「純粋関数型データ構造」を読んでる．中身は SML/NJ で書かれており，演習とかやってるとイロイロ調べるんで，そのまとめを．正直，何番煎じだって感じですけど．読み進めながら，少しずつ増やしていくつもりです． (まだ，3章までしか読んでない) 環境僕は，前回に自分が作った Docker イメージを使ってる．その中身は SML/NJ のバージョン 110.81． Docker の OS は Debian だと思う． Tips 対話型処理系 (Docker イメージは Jupyter なんでホントは関係ないんだけど) sml で対話型処理系が起動し，Ctrl-D で終了する．最後に ; が無いと処理され始めないので注意．サンプルコードについて基本的なことはめんどくさいのでサンプルコードで解説 signature STACK = sig type 'a Stack val emp

miki_bene 2019/11/16

Standard ML

リンク

はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

はてなグループの終了日を2020年1月31日(金)に決定しました以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記はてなグループ日記のエクスポートデータは2020年2月28