Standard ML のバックアップソース(No.4)

• バックアップ一覧
• Standard ML は削除されています。
  • 1 (2014-06-23 (月) 15:05:33)
  • 2 (2014-06-23 (月) 15:18:30)
  • 3 (2014-06-24 (火) 00:15:11)
  • 4 (2014-06-24 (火) 00:56:56)
  • 5 (2014-06-24 (火) 05:57:44)
  • 6 (2014-06-25 (水) 01:12:58)
  • 7 (2014-06-25 (水) 02:07:50)
  • 8 (2014-12-01 (月) 19:34:55)
  • 9 (2015-04-24 (金) 06:17:10)
  • 10 (2015-04-24 (金) 13:18:04)

*Standard ML [#w51925e4]

-http://www.standardml.org/
--http://www.standardml.org/Basis/
---http://www.standardml.org/Basis/command-line.html

**処理系 [#f73475e7]

-[http://www.smlnj.org/ Standard ML of New Jersey] (SML/NJ)
-[http://www.mlton.org/ MLton]
-[http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/ SML# - SML＃プロジェクト]
--http://www.ueda.info.waseda.ac.jp/~shinobu/smlsharp/install_mingw.html

C:\MinGW\var\lib\mingw-get\data\profile.xml に以下の行を追加

   <repository uri="http://www.pllab.riec.tohoku.ac.jp/smlsharp/download/mingw32/%F.xml.lzma">
     <package-list catalogue="smlsharp-package-list" />
   </repository>

MinGW Shell (MSYS) から以下のコマンドを実行

 $ mingw-get update
 $ mingw-get install smlsharp

**FFI [#l0fcfe26]

***SML/NJ [#pb212d79]

-[http://daweb.ism.ac.jp/~saitohm/top/_tnUp6t-.html 他言語との連携 ～ NLFFIをつかう]
-http://daweb.ism.ac.jp/~saitohm/code/sml-toy/win32test/

***MLton [#qcc7200c]

-[http://d.hatena.ne.jp/uenoB/20070829/1188392658 mlton-20070826のFFI]
-http://www.mlton.org/CallingFromSMLToCFunctionPointer

***SML# [#z15b6c9c]

-[http://www.pllab.riec.tohoku.ac.jp/smlsharp/ja/?FeatureInteroperability SML# - Cとのシームレスな連携]
-[http://d.hatena.ne.jp/eldesh/20121220/1355970020 SML# - C言語バインディング まとめ (ML/LL AdventCalendar20日目)]
-[http://d.hatena.ne.jp/sumii/20070402/p1 SML#の威力]
-[http://rainyday.blog.so-net.ne.jp/2007-03-31 SML# 0.20 から Tcl を呼ぶ]

----
-hellomsg.smi
----
 _require "basis.smi"
 _require "ffi.smi"
----

----
-hellomsg.sml
----
 val user32 = DynamicLink.dlopen "user32.dll"
 val MessageBoxA =
     DynamicLink.dlsym (user32, "MessageBoxA")
     : _import _stdcall (unit ptr, string, string, Word32.word) -> int
 val MB_SYSTEMMODEL = 0wx1000
 val () = ignore (MessageBoxA (Pointer.NULL (), "Hello World!", "SMLSharp", MB_SYSTEMMODEL))
----

 smlsharp -o hellomsg.exe hellomsg.sml

**関連リンク [#p0683ab9]

-[http://d.hatena.ne.jp/keita44_f4/20121203 SML#のoverLoad]
-[http://bleis-tift.hatenablog.com/entry/20120423/1335162974 SCM Boot Camp in Nagoya に行ってきた・・・と見せかけた SML# の多相レコードの話]