OCaml
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[Program]] ＞ OCaml
RIGHT:2018-11-18 (日) 公開
RIGHT:2020-06-19 (金) 更新
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
#contents
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* OCamlとは？ [#c262f771]
https://ja.wikipedia.org/wiki/OCaml
>OCaml（オーキャムル、オーキャメル）は、フランスの INRIA ...
MLの各要素に加え、オブジェクト指向的要素の追加が特長であ...
かつては Objective Caml という名前で、その略として OCaml ...
** 公式サイト [#ob0dd03f]
- OCaml
https://ocaml.org/
- OCaml.jp
http://ocaml.jp/
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* リファレンス ／ チュートリアル [#o4308ece]
- OCamlチュートリアル – OCaml
https://ocaml.org/learn/tutorials/index.ja.html
-「プログラミングの基礎」を使った授業紹介
http://pllab.is.ocha.ac.jp/~asai/book-mov/
-京都大学工学部専門科目「プログラミング言語」講義資料(201...
https://github.com/aigarashi/PL-LectureNotes
-2015年度 筑波大学 ソフトウェア技法・OCaml入門
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/tsukuba16/
-お気楽 OCaml プログラミング入門
http://www.geocities.jp/m_hiroi/func/ocaml01.html
** PDF（英語） [#td4292f8]
-Introduction to Objective Caml
http://courses.cms.caltech.edu/cs134/cs134b/book.pdf
-Developing Applications With Objective Caml
http://caml.inria.fr/pub/docs/oreilly-book/
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
//* ライブラリー ／ フレームワーク
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* Tips [#beb43805]
+OCamlの実行環境
++[[OCamlをVisualStudioCodeで書く]]
+[[OCaml学習メモ]] 学ぶ前に仮説を立てて、実際にやってみて...
** OCamlを選ぶ理由 [#g6daa949]
-SCamlによるTezosプログラミング#0 - DaiLambda, Inc.
https://www.dailambda.jp/blog/2020-02-01-scaml-jp-0/
>だからOCaml
+C系(C++/C#)のポインタ、リファレンスは必要ありません。
+型の無いスクリプト言語で手軽にスマートコントラクトを書い...
+Scalaはクラス部分が余分。
+手続き型言語はプログラムの意味解析が人間、機械共に難しい。
+Erlangのような並列計算への利便性は必要ない。
+Haskellは遅延評価が相性が悪い。
+SMLは形式的検証にはIsabelleがあるが、OCaml x Coqと比べる...
+Rustが提供するポインタ安全性やリソース安全性は純粋関数型...
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* 参考書 [#xeac7987]
- [[プログラミングの基礎]]（目次）
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
- [[プログラミング in OCaml]]（目次）
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
Kindle 価格: ￥ 3,152</td></tr></table>
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
「Real World OCaml」は、Web版が公開されているので無料で読...
- Real World OCaml https://realworldocaml.org/
- 第1版 Table of Contents / Real World OCaml https://v1....
- 第2版 Real World OCaml http://dev.realworldocaml.org/t...
//----------------------------------------
// A8 Ads - sakura VPS banner
~
#html{{
<center><a href="http://px.a8.net/svt/ejp?a8mat=1O73NW+3B...
}}
//----------------------------------------
終了行:
[[Program]] ＞ OCaml
RIGHT:2018-11-18 (日) 公開
RIGHT:2020-06-19 (金) 更新
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
#contents
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* OCamlとは？ [#c262f771]
https://ja.wikipedia.org/wiki/OCaml
>OCaml（オーキャムル、オーキャメル）は、フランスの INRIA ...
MLの各要素に加え、オブジェクト指向的要素の追加が特長であ...
かつては Objective Caml という名前で、その略として OCaml ...
** 公式サイト [#ob0dd03f]
- OCaml
https://ocaml.org/
- OCaml.jp
http://ocaml.jp/
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* リファレンス ／ チュートリアル [#o4308ece]
- OCamlチュートリアル – OCaml
https://ocaml.org/learn/tutorials/index.ja.html
-「プログラミングの基礎」を使った授業紹介
http://pllab.is.ocha.ac.jp/~asai/book-mov/
-京都大学工学部専門科目「プログラミング言語」講義資料(201...
https://github.com/aigarashi/PL-LectureNotes
-2015年度 筑波大学 ソフトウェア技法・OCaml入門
http://www.math.nagoya-u.ac.jp/~garrigue/lecture/tsukuba16/
-お気楽 OCaml プログラミング入門
http://www.geocities.jp/m_hiroi/func/ocaml01.html
** PDF（英語） [#td4292f8]
-Introduction to Objective Caml
http://courses.cms.caltech.edu/cs134/cs134b/book.pdf
-Developing Applications With Objective Caml
http://caml.inria.fr/pub/docs/oreilly-book/
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
//* ライブラリー ／ フレームワーク
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* Tips [#beb43805]
+OCamlの実行環境
++[[OCamlをVisualStudioCodeで書く]]
+[[OCaml学習メモ]] 学ぶ前に仮説を立てて、実際にやってみて...
** OCamlを選ぶ理由 [#g6daa949]
-SCamlによるTezosプログラミング#0 - DaiLambda, Inc.
https://www.dailambda.jp/blog/2020-02-01-scaml-jp-0/
>だからOCaml
+C系(C++/C#)のポインタ、リファレンスは必要ありません。
+型の無いスクリプト言語で手軽にスマートコントラクトを書い...
+Scalaはクラス部分が余分。
+手続き型言語はプログラムの意味解析が人間、機械共に難しい。
+Erlangのような並列計算への利便性は必要ない。
+Haskellは遅延評価が相性が悪い。
+SMLは形式的検証にはIsabelleがあるが、OCaml x Coqと比べる...
+Rustが提供するポインタ安全性やリソース安全性は純粋関数型...
//===== ===== ===== ===== ===== ===== ===== ===== ===== =...
* 参考書 [#xeac7987]
- [[プログラミングの基礎]]（目次）
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
- [[プログラミング in OCaml]]（目次）
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
Kindle 価格: ￥ 3,152</td></tr></table>
<hr>
}}
#html{{
<table border="0" cellpadding="5"><tr><td valign="top"><a...
<td> </td>
<td valign="top"><a href="https://www.amazon.co.jp/exec/o...
<hr>
}}
「Real World OCaml」は、Web版が公開されているので無料で読...
- Real World OCaml https://realworldocaml.org/
- 第1版 Table of Contents / Real World OCaml https://v1....
- 第2版 Real World OCaml http://dev.realworldocaml.org/t...
//----------------------------------------
// A8 Ads - sakura VPS banner
~
#html{{
<center><a href="http://px.a8.net/svt/ejp?a8mat=1O73NW+3B...
}}
//----------------------------------------
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
