[B! sml] kiyo_hikoのブックマーク

SMLtoJs - A Standard ML to JavaScript Compiler

By Martin Elsman, 2008-2015 Introduction SMLtoJs (pronounced "SML toys") is a compiler from Standard ML to JavaScript, which allows programmers to enjoy the power of Standard ML static typing, higher-order functions, pattern matching, and modules for programming client-side web applications. SMLtoJs compiles all of Standard ML, including most of the Standard ML Basis Library. It also has support f

kiyo_hiko 2015/07/28

sml
js

リンク

https://sourceforge.net/projects/mingw/files/latest/download

kiyo_hiko 2013/08/30

SML#の実行にmingw-get-setupを使った。mingw-get update mingw-get install smlsharpだが、まずprofile.xmlにリポジトリの記述を追加しとく必要ある

リンク

Amazon.co.jp: プログラミング言語StandardML入門: 淳,大堀: 本

kiyo_hiko 2013/08/23

買う。

sml
買う

リンク

http://www.pllab.riec.tohoku.ac.jp/smlsharp/smlIntroSlidesJP.pdf

kiyo_hiko 2013/08/23

SML# よみやすい

リンク

Emacs Lisp packages

Emacs Lisp packages I maintain several Elisp packages, most of which are included in Emacs. Here are the ones that still aren't included. Send any complaint/question/praise/ice-cream to me. SML mode Its home page is now at GNU ELPA. SML-mode is a major Emacs mode for editing Standard ML source code. It provides syntax highlighting and automatic indentation and supports interaction with an inferior

kiyo_hiko 2013/08/21

Emacs24以降ならM-x list-packages使ってよとのこと。

リンク

Standard ML - Wikipedia

Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている[1]。概要[編集] Standard ML は基本的には関数型言語である。Standard ML で書かれたプログラムの大部分は、値を計算すべき式で構成されている。他の関数型言語と同様、Standard ML の鍵となる機能は関数であり、それによって抽象化を行っている。例えば、階乗関数は次のように表される。 Standard ML のコンパイラは、このようにユーザーが全くデータ型を指定していない記述から int -> int という型を静的に推論する必要がある。すなわち、x が整数の式でしか使われていないことから、それ自身も

kiyo_hiko 2013/08/20

「1次元離散ウェーブレット変換はSMLでは簡単に実装でき、リスト上のパターンマッチの好例」

sml

リンク

Standard ML of New Jersey

Standard 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 with some additional improvements. See the README for details. [2023-12-10] Release 2023.1 of the developm