Hatena Blog Tags
はてなブログ トップ
Standard ML
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

Standard ML

(コンピュータ)
【すたんだーどえむえる】

関数型プログラミング言語MLの一種．
MLの生みの親であるRobin Milnerらによって定義されたMLの標準．多相型型推論，パターンマッチング，型理論をベースに構築されたモジュールシステムなどの優れた機能を持つ．
Standard MLは文法・型システム・操作的意味論の全てが形式的に定義されており，その言語仕様に曖昧性は存在しない．この厳密な定義によって，Standard MLは実用に供することができる規模を持ちながら型安全性などの重要な性質が言語それ自体について検証されている数少ない言語である．
また，言語定義と実装が明確に分かれていることから，その定義に基づいて実装された多くの処理系（コンパイラ）が存在する．言語定義に準拠したプログラムであれば，任意のStandard MLコンパイラでプログラムをコンパイルし実行することができる．
Standard MLを実装した主な処理系に以下のものがある．

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
Vengineerの妄想•8ヶ月前

Tenstorrent の Blackhole が上がってきたようだ。Blackhole は、AI Accelerator ではなく、AI SoC なのか？

はじめに Tenstorrent の Blackhole が上がってきたようです。 Jim san の Xの投稿に、チップおよび評価ボードの写真が載っています 以下、Jim san の Xの投稿を説明のために引用します。また画像も引用します。 記録のために残します。 3月7日のブログには、4月に火入れということなので、順調にいっているようです。 vengineer.hatenablog.com Blackhole Our new chip is working Great team @tenstorrent pic.twitter.com/fIhTkNcYUn— Jim Keller (@ji…

ネットで話題

もっと見る
31ブックマーク大規模グラフ処理フレームワーク Pregel のオープンソース実装 Bagel とか - Standard ML of Yukkuriref: http://portal.acm.org/citation.cfm?id=1582723大規模グラフ処理フレームワーク Pregel の論文を読み, BSP (Bulk Synchronous Parallel) モデルで実装したいグラフのアルゴリズムがいくつかあったのでオープンソース実装を探してみた. GoldenOrb, Phoebus, HAMA (汎用的なBSP model), そして Bagel などいくつかの...d.hatena.ne.jp
20ブックマーク就職も進学もあるんだよ - Standard ML of Yukkuri株式会社はてなにエンジニアとして入社しました. 同時に奈良先端科学技術大学院大学の博士後期課程に進学しました.私はエンジニアリングが大好きで, 大学院で研究がしたいと考えるようになったのも, それが大きく影響しているのだと思います. 小さなエンジニアリングの積み重ねによりサービスの品質を上げ, この便利なサ...d.hatena.ne.jp
17ブックマークStandard ML of New JerseyStandard ML of New Jersey (abbreviated SML/NJ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software. What's New [2024-03-14] Version 110.99.5 is released. This version is primarily a bugfix release wit...www.smlnj.org
16ブックマークプログラミング言語 Standard ML 入門核言語，モジュールシステムの解説のみならず，Standard ML基本ライブラリ (The Standard ML Basis Library)の詳細な解説とそれらライブラリを使った インターネットプログラミングプロジェクトを含む最新の入門書． 更新情報（令和２年9月22日） 練習問題の解答例の誤り等を修正。 「テキスト中のプログラムのソースコ...www.pllab.riec.tohoku.ac.jp
15ブックマークApache Giraph で Label propagation を実装した - Standard ML of YukkuriLabel propagation (ラベル伝播アルゴリズム) は半教師あり学習モデルの基本的な手法のひとつです. こいつを Pregel のオープンソース実装であるところの Apache Giraph で実装しました. ref: https://github.com/smly/java-Giraph-LabelPropagationLabel propagation algorithm は半教師あり学習モデルの基本的な手法の...d.hatena.ne.jp
14ブックマーク2009 UCSD/FICO Data Mining Contest とか - Standard ML of Yukkurihttp://mill.ucsd.edu/index.php?page=Results学部生からポスドクまでを対象としたUCSD主催のデータマイニングコンテストに参加してました. チーム名は smly で一人チーム. NAIST からは他にも論理生命学講座の先輩方のチーム west が参加していて, 彼等がひとつのタスクで優勝したようです. おめでとうございます. 二ヶ...d.hatena.ne.jp
14ブックマークComparing Objective Caml and Standard MLThis page compares point-by-point the Objective Caml (OCaml) and Standard ML (SML) programming languages, the two main representatives of the ML programming language family. The comparison includes language design and current tool availability, as well as further social factors. This page isn't m...adam.chlipala.net
12ブックマークStandard ML Family GitHub ProjectThis is the web page for the Standard ML Family GitHub project (organization name: SMLFamily). This site is very much "under construction", and it replaces the earlier SourceForge web site for standardml.org (which now redirects to this page). Contributions, corrections, and suggestions for addit...smlfamily.github.io
11ブックマークStandard ML - WikipediaStandard ML は基本的には関数型言語である。Standard ML で書かれたプログラムの大部分は、値を計算すべき式で構成されている。 他の関数型言語と同様、Standard ML の鍵となる機能は関数であり、それによって抽象化を行っている。例えば、階乗関数は次のように表される。 Standard ML のコンパイラは、このようにユー...ja.wikipedia.org

関連ブログ

エレファント・ビジュアライザー調査記録•9ヶ月前

関数型言語の拡張(3)

ここでもChatGPTでプログラムの仕様を書いてもらいます。以下のように入力しました。 次のようなプログラムを考えます。今日から一日に一回、気象観測システムからその日の天気が晴れなのか雨なのかという情報が送られてきます。このプログラムはこの情報を一日に一回受け取ります。この情報をある日受け取るとこのプログラムは、今日からその日までに受け取ったすべての情報に基づいて、次の日の天気が雨である確率を予測し、それを返します。このようなプログラムを C# で書こうと思います。このようなプログラムの仕様を書いてください 以下は引用です。 以下は、C#で記述された天気予測プログラムの仕様です。 プログラムは…

エレファント・ビジュアライザー調査記録•9ヶ月前

関数型言語の拡張(2)

プログラミング言語に関する質問をChatGPTに入力してみることの続きです。変数を変更することができる関数型言語のプログラムを変数を変更することができない関数型言語のプログラムに変換するという問題を考えます。ここで扱う例はクロージャーには関係なくなるかもしれないので、「関数型言語の拡張」は「関数プログラミングのクロージャー」に引き継いだのですけど、復活しました。クロージャーに関連しないことはこちらに書くことにしました。有限の回数で終了するプログラムであれば、変数を変更することができない関数型言語のプログラムに変換することはできると思われるので、有限の回数では終了しないプログラムを考えます。また…

エレファント・ビジュアライザー調査記録•9ヶ月前

関数プログラミングのクロージャー(1)

プログラミング言語に関する質問をChatGPTに入力してみる「関数型言語の拡張」の続きです。変数を変更することができない純粋関数型言語では状態を変化させながら無限に動作することはできないが、変数を変更することができる場合はできる、ということはたぶん正しいです。「関数型言語の拡張」でも最初はクロージャーのことを質問していたのですが、変数を変更することができるクロージャーならできるが、変数を変更することができないクロージャーならできないと思われます。そこでここでは、変数を変更することができるクロージャーを変数を変更することができないクロージャーに変換できるような機能を、変数を変更することができない…

エレファント・ビジュアライザー調査記録•9ヶ月前

関数型言語の拡張(1)

プログラミング言語に関する質問をChatGPTに入力してみることにします。この目的は関数型言語に無限に動作するための機能を追加することです。 純粋関数型言語のクロージャーについて教えてください これは思っていた答えと違いました。 純粋関数型言語では変数を書き換えることができないとします これで書き直してくれるかと思ったのですが、書き直してはくれませんでした。 純粋関数型言語のクロージャーについて教えてください これはいい感じになりました。 純粋関数型言語のイテレーターについて教えてください これは正しそうな答えが返ってきました。 純粋関数型言語で、サーバー上で無限の時間にわたって動き続けるプロ…