ML Day#2 (2018/09/16 13:00〜)
ML Day (ML勉強会） SML、OCaml、F#、Coq、IsabelleなどのML?だと思われる言語の勉強会です。 あなたがMLだと思ったものがMLです。 プログラミング言語の基礎理論から応用プログラミング、入門してみたなど 様々な発表を歓迎します！！！ また、最近関数型言語に関する勉強会があまり見られないので、MLの人に通じそうなネタ（Haskell、定理証明、それっぽい数学）等に関する発表も歓迎します！！！ その際には前提知識としてMLプログラムがわかる人ならわかるくらいの内容でおねがいします。 注意 運営側で発表の難易度は調整しないので分からないこともあるかもしれないと思って来て下さい ML=Meta LanguageですMailing ListでもMachine Learningでもないです 発表者募集 発表者を先着で募集中です。 発表される方はコメントに発表タイトルを書き
Standard MLのモジュールとシグネチャの機能 - Qiita
これはML Advent Calendar 2017の15日目の記事です。 13日目の私の記事の続きになります。 本稿ではSMLのモジュール・シグネチャについて、より細かな機能を紹介いたします。 ファンクタ 先人の例であるOCmalでは、モジュールは第一級であり、関数や値と同等にモジュールを取り扱うことができます。 一方で、SMLのモジュールは第一級ではなく、モジュールがSMLコア（関数や式）とは切り離されて定義されています。 よって、モジュールを受け取ったり返したりするような関数をfun構文で作ることはできません。 しかしその代わりに、モジュールを受け取ったり返したりするために、SMLではモジュール専用のファンクタという機能が用意されています。 ファンクタを使うには、受け取るのと返すモジュールを記述します。1 例えば、実行時に単相のスタックを作るファンクタMakeMonoStackは以下
ウォークスルー Standard ML - Standard ML 入門
ウォークスルー Standard ML たのしい関数型の世界へようこそ！ 目次 本編 Standard ML について Standard ML とは, Standard ML の特徴, Standard ML の仕様 開発環境 SML/NJ について, SML/NJ の使い方, その他の処理系 はじめの一歩 式の評価, 変数, 識別子, 関数, コメント, ファイルの使用 主なデータ型 主なデータ型とリテラル, 論理型, 数値型, 文字型/文字列型, タプル型/ユニット型, レコード型, リスト型, 多相型, 等値型 関数 関数の定義, パターンマッチング, if 式, 相互再帰関数, 高階関数, 関数式, 部分適用, 中置演算子 リスト リストとは, ML のリスト, リストを扱う関数, リストの畳込み データ型の定義 datatype 宣言, 型シノニム, 抽象データ型, 標準のデータ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
大堀 淳さんのツイート: "プログラミング言語Standard ML入門をお読み頂き，flexレコード文法記述に関するコメントありがとうございます．正確にご理解いただき大変嬉しく思います．表記がわかりにくいのはLaTeXの限界かと思います．ご参考までに，このツイートのリプライに，実際に使用したLaTeXソースを示します．… https://t.co/iIcubHNJOG"
Programming in Standard ML
Programming in Standard ML [PDF]
サービス終了のお知らせ
https://smlfamily.github.io/sml97-defn.pdf
画力・博士号・油田 on Twitter: "一応報告しますと，2017年度の未踏事業に採択して頂きました．LaTeXでいうところの “マクロ定義” がML系言語で書けて，かつ型システムによって入力ミスをできるだけ静的に検出してくれる組版システムを竹迫PMのご指導の下で実装していこうと思います．"
