Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
ACM SIGPLAN Workshop on ML, 18 September 2011, Tokyo, Japan
ACM SIGPLAN Workshop on ML Sunday, 18 September 2011, Tokyo, Japan (co-located with ICFP) The ML family of programming languages includes dialects known as Standard ML, Objective Caml, and F#. These languages have inspired a large amount of computer-science research, both practical and theoretical. This workshop aims to provide a forum for discussion and research on ML and related technology (high
Web1.0で遊ぶOPA: 週記
OPAをご存じでしょうか？ OPAはMLstateという会社が開発したweb開発用の言語です。 わたしはこのOPAがかなり気に入ってしまったので、これから数回にわたり、ちまちまと紹介記事を書こうかと思います。 といっても、わたしはあまりwebページの作成経験がないので、どちらかというとWeb 1.0的なテーマをネタに、サンプルを作ることになりそうですが。 わたしの思う、OPAの良いところリストは以下の通りです。 ・パターンマッチ ・パターンマッチ ・パターンマッチ（大事なことなので３回言いました） ・代数型と、それと親和性の良いDB ・型検査（＋推論） ・サーバー側とクライアント側を同一の言語で書ける これからのシリーズで、この特徴をいくつか見ていければ良いかなと思います。よろしくお願いします。 Hello, OPAHello, counterHello, transactionHello
The Opa Language
1. One Language to Rule Them All Write simultaneously the frontend and backend code, in the same language, within the same module. Even better: the Opa Slicer automates the calls between client and server. No more manually written AJAX calls or value serialization! And when auto is not enough, add hints to the code to enforce client or server-side, privacy, synchronous or asynchronous.
Programming in Standard ML
Programming in Standard ML (WORKING DRAFT OF FEBRUARY 13, 2009.) Robert Harper Carnegie Mellon University Spring Semester, 2005 Copyright c 2008. All Rights Reserved. This work is licensed under the Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License. To view a copy of this license, visit http://creativecommons.org/licenses/by-nc-nd/3.0/us/, or send a letter t
SML# - How to build SML#
This page describes how to build SML# 0.60 series and version 0.90 from the source tarball. Prerequisites SML/NJ or MLton Necessary to build SML# compiler and extra tools. Required version is SML/NJ 110.65 or above, or MLton-20100608 or above. The latest version is recommended. GNU MP Bignum Library Necessary to build SML# runtime system. Both version 4 series and version 5 series are OK, but note
ちょっと草植えときますね型言語 Grass
_, ._ （ ・ω・） んも〜 ○=｛=｝〇, |:::::::::＼, ', ´ ､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗＷｗ ｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ 作ってみたｗｗｗｗｗ とりあえず公開ｗｗｗｗｗｗｗっうぇ 日本語版はてきとーです．きっと英語版のほうが詳しいです． 実装 インタプリタ Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in ニコスクリプト Interpreter written in Prolog by zick Interpreter written in Java b
SML# - SML#の理論的基礎
SML＃の種々の特徴は，ML系言語のための型理論の伝統の上に，以下を含む我々の独自の基礎研究成果を基に実現されている． レコード多相性の理論 ランク１多相性の理論 データベース演算の多相型理論 JAVAとの相互運用のための型理論 高階の関数の相互運用に関する型理論 自然なデータ表現のための型理論 論理学に基づくコンパイル理論
MLの多相関数の実装方法 - sumiiのブログ
PPLでの質問にも関連するのですが、意外と周知というわけでもないようなので、簡単にメモしてみました。MinCamlでも実装されていないことですし（某所のコンパイラ演習の課題にはなっていますし、私が学部４年生だったときの演習課題にもありましたが）、サーベイ論文やチュートリアルにするほどのことではないので…。もし私の勘違いがあったら是非ともご指摘を（実はそれが目的です）。 ML（やHaskellなど）には、たとえばOCamlの文法で let f x y = yと定義すると val f : 'a -> 'b -> 'b = <fun>と型推論され、 # f "abc" 123 ;; - : int = 123 # f 4.5 67.89 ;; - : float = 67.89のように任意の型の値に対して適用できる「多相関数」(polymorphic function)があります。JavaやC#
ランク１多相性 - sumiiのブログ
http://d.hatena.ne.jp/succeed/20061026#1161853372 知っていて書いている:-)のかもしれませんが、これ↓を「きちんと動く」とは言えない、という考え方なのでしょう。 # let f x y = (x, y) ;; val f : 'a -> 'b -> 'a * 'b = <fun> # let f1 = f 1 ;; val f1 : '_a -> int * '_a = <fun> # f1 2 ;; - : int * int = (1, 2) # f1 ;; - : int -> int * int = <fun> # f1 true ;; Characters 3-7: f1 true ;; ^^^^ This expression has type bool but is here used with type int参考： > s
MinCamlバグ - sumiiのブログ
直しました。擬似コードも。発見・修正＆報告多謝。なぜかトラックバックは来ていませんでしたが、僕の見落としか設定ミスでしょうか…？ 追記：なにやらこちらからのトラックバックも失敗します。一回目はread time outとか何とか言われ、二回目以降は http://app.blog.livedoor.jp/azounoman/tb.cgi/50232574 へのトラックバックに失敗しました。 (302 Found)だそうで…。はてなのせい？ ちなみに、ちょっと前にも書きましたが、K正規形の元になったA正規形の元になったCPSはSSAより遥かに先ですよう（1974年）。で、CPSとSSAは大体等価という。あとK正規形も僕が考えたわけじゃないです。ML Kitから来ているので… あとレイトレのオリジナルはPascalじゃなくてBASICだったかと（だからMLに移植しても再帰がすべて末尾だったので
t.dvi
Purely Functional Data Structures Chris Okasaki September 1996 CMU-CS-96-177 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Peter Lee, Chair Robert Harper Daniel Sleator Robert Tarjan, Princeton University Copyright c 1996 Chris Okasaki This research was sponso
MLton
MLton is a whole-program optimizing compiler for the Standard ML programming language. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature ri
Developing applications with Objective Caml
This is a preliminary translation of the book Développement d'applications avec Objective Caml by Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, published by O'Reilly France. The translation is available in several formats: HTML for online reading. PDF in one big file (3 megabytes). PDF, one file per chapter. The translation is not entirely finished yet; in particular, some solutions to exer
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cs.cmu.edu/~rwh/smlbook/offline.pdf
Amazon.co.jp: プログラミング in OCaml ~関数型プログラミングの基礎からGUI構築まで~: 五十嵐淳: 本
OCamlチュートリアル
Benefits of OCaml
Pretty Printing with F#
OCaml - U-Wiki+