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
大堀先生の偉大さについて - soutaroブログ
先日筑波大で「プログラミング言語処理系に関するコロキウム」というのがありまして、大堀先生とささださんがお話をしてくださいました。 私は、大堀先生は初めてだったのですが、噂通りの過激偉大なお言葉の数々に感動しました。このお言葉を知る人間が、一部の研究者だけと言うのはもったいないことだと思いますので、手元のメモから一部を掲載したいと思います。ちなみに、大堀先生がおっしゃることには「ソフトウェア科学会の招待講演よりも、かなり過激さを取り除いた」とのことです。 (MLでは) 「バッファオーバフローなど、そもそもトピックですらない」 (MLの素晴らしさを語っている最中に、Rubyなどのスクリプト言語を評して) 「小さなプログラムでは、若干生産性が高いかな」 (SML#の実装に関して) 「半分くらいのコードは僕が書いていた 個人的には全部僕が実装をやりたかった」 大堀先生から訂正のコメントをいただきま
プログラミング言語SML#の開発とその基礎理論
ML SML] SML] SML] SML] FAQ SML] — ? — http://www.pllab.riec.tohoku.ac.jp/˜ohori/ 2006 9 14 SML] 1 / 77 ML SML] SML] SML] SML] FAQ PPL2007 2007 3 2007 2 18 2006 9 14 SML] 2 / 77 ML SML] SML] SML] SML] FAQ 1992 ML - (1992 ) 2006 9 14 SML] 3 / 77 ML SML] SML] SML] SML] FAQ 1992 ML - (1992 ) • 1992 yes ML 2006 9 14 SML] 3 / 77 ML SML] SML] SML] SML] FAQ 1992 ML - (1992 ) • 1992 yes ML • 2006 ML 2006 9
新北野MLラビリンス
「新北野MLラビリンス」へようこそ。 ここは、 MLというプログラミング言語の紹介を目的とするウェブサイトです。 MLのすばらしさを一人でも多くの人に伝えるため、 末永くメンテナンスを続けていきたいと思っておりますので、 なにとぞよろしくお願い申し上げます。
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)
ML (プログラミング言語)
関数型言語のお勧めは？ 単なる興味からですが、関数型言語をひとつ習得してみようと思っています。…
iitaku on Twitter: "あった http://t.co/HCkz785d"
LISP
Links
Stairway to Functional Programming for Macintosh
http://www.math.u-toyama.ac.jp/~iwao/links.html
サービス終了のお知らせ