introml
The ML languages (CAML, Standard ML, OCaml, F#) might surprise you. Lots of great stuff here. Logo credit Overview ML was, long ago, a small programming language. Today, ML is the name for a family of languages that include Standard ML (a.k.a SML), Objective CAML (a.k.a OCaml), F#, LazyML, Alice, and Elm. The original ML and its immediate descendants were never really widely used, but they have be
Haskell、Scala、ML、Scheme：あなたが次に学ぶ関数型言語 | POSTD
(編注：2016/7/27、頂いたフィードバックを元に記事を修正いたしました。) 学生たちから、次に学ぶ言語はどれがいいのかとよく聞かれます。IT業界で働きたい人にお薦めするのは、現在盛んに使われている言語です。C++、Java、C#はもちろん、Python、Ruby、PHP、Perlなども挙げられるでしょう。 一方、向学のためという人や、学術研究や起業に関心がある人にとって、次の言語を選ぶ基準となるのは、就職に有利かではなく言語の表現力でしょう。学術研究や起業活動を行うには、プログラマとしての能力を何倍にも高める必要があります。そして、（おそらく）確立されたコードベースを扱った経験はないでしょうから、手元にあるタスクにとって最適な言語を自由に選ぶことができます。 この記事では、勉強に適したHaskell、Scala、ML、Schemeという4つの言語を、私の好きな特徴や参考資料のリストと
ML Advent Calendar 2017 - Adventar
SML, OCaml, F#, ATSなどMLだと思われる言語のアドベントカレンダーです。 MLの定義はゆるゆるであなたがMLだと思ったものがMLです。 コンパイラや基礎理論から応用プログラミングの話まで気軽にどうぞ。 基本的なプログラミングに関する情報も大歓迎します！ 入門してみた、こんなのやってみた、大学の講義でこんなことやったなどお気軽にやっていきましょう。 2016年 https://qiita.com/advent-calendar/2016/ml 2015年 https://adventar.org/calendars/848 2014年 https://qiita.com/advent-calendar/2014/ml ML勉強会 2 https://ml-lang.connpass.com/event/58151/ 1 https://ml-lang.connpass.co
Programming in Standard ML '97: On-line Tutorial
Programming in Standard ML '97: An On-line Tutorial Stephen Gilmore Laboratory for Foundations of Computer Science The University of Edinburgh September 1997 (Revised June 1998, Apr 2000, Jan 2003, March 2004) Standard ML is a programming language which combines the elegance of functional programming with the effectiveness of imperative programming. This tutorial introduces important concepts in t
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
ML勉強会まとめ - type t (* void *)
僕がML情報が集まる会が欲しくて開催しました。 @blackenedgold さん、@khibino さんにご協力頂きましてありがとうございました。 connpass.com 発表一覧 ATSで捕捉されたリアルタイムOSのシステム状態(masterq さん） Real-time OS system state captured by ATS language from Kiwamu Okabe www.slideshare.net リアルタイムOSのChibiOSの紹介とATS2の宣伝（？） ChibiOSは内部的に状態を持っており、API関数を呼ぶときに普遍条件があるけども、 C言語から呼び出すとそれをキャプチャできないのでプログラムが危険になっていました。 それをATS2の依存型を用いて現在のOSのステートを型にエンコードして解決している話でした。 ステートを埋め込むだけならば幽霊型を
古の商用SML処理系MLWorksを動かす - ::Eldesh a b = LEFT a | RIGHT b
2016年現在SMLの処理系はいくつもありますが、昔はMLWorksという商用の処理系がありました。 MLWorksは開発元のHarlequinが潰れて2000年くらいに姿を消していたのですが、突然2013年にオープンソースになりgithub上に公開されました。 実働していた頃は様々な環境で動作していたようですが、githubに公開当初は想定している動作環境自体が古すぎてビルド自体が困難な状態でした。現在ではellerhさんのおかげでLinux(x86)上でビルド;動作するようになっています。 ちょっとした修正を取り込んでもらってCentOS上での動作が確認できたので紹介します*1。 ちなみにこのHarlequinという会社、90年代後半の時点でMLで仕事してたのに加えてバージョン管理に内製のDVCSを使ったりしてたそうで楽しそうですね。(もう無いけど ビルド 現在ではLinux上でsml
Taking advantage of type synonyms in monad-control
Published on December 26, 2014 Bas van Dijk has recently released monad-control-1.0.0.0, the main purpose of which is to replace associated data types with associated type synonyms. The change caused minor breakages here and there, so people might wonder whether and why it was worth it. Let me show you a simple example that demonstrates the difference. Let’s say we are writing a web application. w
HaMLet
"To Be Or Not To Be Standard ML" ;-) Version 2.0.0 What is it? HaMLet is a faithful and complete implementation of the Standard ML programming language (SML'97). It aims to be an accurate reference implementation of the language specification, a platform for experimentation with the language semantics or extensions to it, a useful tool for educational purposes. The implementation is intended to be
SML# - C言語バインディング まとめ (ML/LL AdventCalendar20日目) - ::Eldesh a b = LEFT a | RIGHT b
この記事は LL/ML Advent Calendar #LLAdventJP 20012/12/20の参加記事です。 出来心でRTした次の瞬間には犠牲に参加することになっていました。なごやこわい。 注意：この記事では SML#1.2.0 を使うものとしています。 SML# にはC言語バインディングをサポートする機構が言語レベルで組み込まれており、簡単にC言語で書かれたライブラリを利用することが出来ます。 しかしまぁ、簡単とは言っても相手はあのC言語ですよ。 現実世界のライブラリをバインドするにはキレイな世界だけで完結するはずも無いのです…。 ここでは、私がまともに使い始めて分かってきたことを含めて、基礎からSML#のC言語バインディングの機能を一通り紹介します。 いきなり例 もう界隈の人にはおなじみかもしれません。最も簡単なバインディングの例です。 # val puts = _impor
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
mlton region analysis garbage collection - Google 検索
Google Summer of Code (2013)
Regions
mlworks/demo/mswindows/tetris.sml at master · Ravenbrook/mlworks
How is ML's module system more powerful than Haskell's type classes?
GitHub - Ravenbrook/mlworks: MLWorks is a Standard ML compiler and development environment.
GitHub - UBMLtonGroup/RTMLton: MLton with Realtime GC and Threading features
Standard ML History
Bitbucket | Git solution for teams using Jira
Ravenbrook has recovered and open-sourced MLWorks