【関数】Erlang Part 2【エリクソン】

■ このスレッドは過去ログ倉庫に格納されています
1デフォルトの名無しさん
垢版 |
2010/07/20(火) 16:13:49
■前スレ
【関数】Erlang【エリクソン】
ttp://pc12.2ch.net/test/read.cgi/tech/1176479959/

■関連URL
ttp://www.erlang.org/
ttp://www.erlang.org/download/erlang-book-part1.pdf
ttp://ja.wikipedia.org/wiki/Erlang
ttp://www.planeterlang.org/
ttp://cean.process-one.net/
ttp://www32.atwiki.jp/erlang/
ttp://jijixi.azito.com/cgi-bin/diary/index.rb?category=Erlang
ttp://www.kmonos.net/alang/etc/erlang.php
ttp://quasiquote.org/log2/Erlang
ttp://www.youtube.com/watch?v=uKfKtXYLG78
ttp://video.google.com/videoplay?docid=-5830318882717959520
ttp://erlide.sourceforge.net/
ttp://rucila.s43.xrea.com/memo/?date=0304
2010/08/29(日) 20:17:02
exeファイルにしたい理由：
1. ワンファイルアプリ最高
2. windowsの慣習的にexeファイルがないと、erlangに詳しくない人は実行方法がすぐにわからない。
また、バッチファイルだとコマンドラインの印象があって、詳しくない人は不安を感じる。
3. インストールを前提とする以外の実行方法を提供する自由が欲しい
2010/08/29(日) 20:49:49
>>37
ShllExecute叩くexe作るだけでいいんじゃないの。
Erlang側で準備する必要があるものとは正直思えない。
2010/08/29(日) 20:56:41
>>38
糞でかいerlang処理系まるごと添付するのか？ｗ
ダッサイなぁ
2010/08/29(日) 20:57:46
（ネイティブ）exeにしたい理由もう一個追加
4. 起動を早くしたいから
2010/08/29(日) 21:09:59
>>40
ガイキチは放置の原則を忘れていたよ。
一通り暴れたらヨソ行ってくれ。
2010/08/29(日) 21:48:36
そこまでいけるって思うなら自分で実装してみてはどうだろうか？
Rubyとかの他の言語でもあったよね。そういうの。Exerbか。
ある程度動くところまでやれば未踏で１年分の金くれるかもよ。

あとWindowsの場合、プロセスじゃなくてスレッドでどうこうしたほうがパフォーマンス出ると思うんだよ。
Chromeぐらいじゃないか？普通はスレッドであるべきところを意識的にプロセスにしたアプリケーションは。
2010/08/29(日) 22:00:03
>>42
erlangのプロセスはOSのプロセスではなくてグリーンスレッドだよ。
2010/08/29(日) 22:22:03
>>33 はい では言いだしっぺの法則で ｻﾝﾌﾟﾙよろしく♪
2010/08/29(日) 22:22:54
まちがえた
>>42 はい では言いだしっぺの法則で ｻﾝﾌﾟﾙよろしく♪
2010/08/29(日) 22:30:18
言いだしっぺの法則の趣旨を考えてから二度氏ね
2010/08/29(日) 22:30:53
>>46
やりたくないことを人に押し付ける方便です
2010/08/29(日) 23:36:05
>>36
そんなに安全な言語をWindowsで動かしてもしょうがないからでしょ
2010/08/29(日) 23:40:04
>>48
安全だから気楽にプログラミングできるんじゃないか。
2010/08/30(月) 00:01:42
安全な言語を活かすなら土台も堅牢でないと
土台がやわなら安全な言語も猫に小判、豚に真珠
2010/08/30(月) 04:20:23
>>50
それを言うなら砂上の楼閣でしょう。
猫に小判と豚に真珠は、本人が価値を理解できないというたとえです。
2010/08/30(月) 17:41:07
>>50
LinuxもMacもWindowsも堅牢性は大して変わらん。
微々たる差だよ。
それにCでやろうがJavaでやろうがErlangでやろうがエラー対策はちゃんとやるでしょうが。
2010/08/30(月) 21:44:17
>>52
じゃあLinuxやMac使えばいいじゃん
Exeなんぞいらんぞ
2010/08/31(火) 14:16:37
>>53
そりゃそうだがインストールベースの大きさを無視するのはよろしくないんじゃないか？
2010/08/31(火) 22:14:03
サーバの運用環境ならWindowsのインストールベースなど無視しておk
2010/08/31(火) 23:22:05
>>37の理由なんてサーバサイドじゃ意味ないよな
やっぱEXEなんぞいらん
2010/09/01(水) 00:05:51
>>56
サーバ以外の用途もあるでしょうが。
2010/09/01(水) 00:42:04
ないも同然だろ
だからexeがないんだろ
現実見ろよ
2010/09/01(水) 00:51:35
そもそもErlangのプロセスはVMが仕切ってるので
ネイティブで動く.exe実行ファイルとは相容れないだろう
もしやるとしてもVMを包んだ実行ファイルで配布とかになる
2010/09/01(水) 09:29:33
学習・開発環境としてのWindowsはあり　→　EXE不要
運用環境としてのWindowsはなし　→　EXE不要
2010/09/01(水) 15:23:57
ErlangSDLでゲーム作った　→　EXE必要

最近の『関数型言語でマルチスレッドゲーム製作』ブームで
ゲームに適してるって騙されてゲーム作った俺に誰でもいいから土下座して謝ってください。
2010/09/01(水) 15:25:29
スマンカッタ OTL
2010/09/01(水) 15:45:47
>>61
ちょっとまて、関数型言語がゲームに適しているってどこに書いてあったんだ？
あとerlangは関数型言語じゃなくてプロセス指向言語だぞ
2010/09/01(水) 15:46:12
ごめんなさいですの OTL
2010/09/01(水) 16:23:19
>>63
プロセス指向ってどんだけみみっちいな区分けすんだよｗ
どう考えてもErlangは関数型だろ。

ttp://game.watch.impress.co.jp/docs/20080911/epic.htm
PS4やらXBOX720やらになったら関数型言語が主役になるんだよ。
それで関数型言語マンセーなんだよ今は。
2010/09/01(水) 16:26:54
>>65
それには理由があって、
基礎理論が何かで分けられるべきだと思うんだよ。
HaskellやMLやLispなどはlambda-calculusを基礎理論としているのに対して、
Erlangやgoなどはpi-calculusないしはCSPを基礎理論にしている。
だから関数型言語というよりもプロセス指向言語と呼んだほうが分類としては正しいと思うんだ。
2010/09/01(水) 17:50:31
で、結局EXEの作り方知ってる人いたら容量がどんだけ大きくなってもいいので教えてください。
2010/09/01(水) 19:22:31
VM(起動OS含めて)まるごとの実行環境作ってしまえば医院で内科医？
2010/09/01(水) 19:30:31
どこから沸いてきたんだってくらい盛り上がってるねw
70!omikuji
垢版 |
2010/09/01(水) 19:47:07
どうだ
2010/09/01(水) 23:15:59
Wings3Dだけexeでずるいぃ！
Sculptrisの登場で見放されちゃったんだから
こんな使えない３Ｄモデラー作ってないで、
素直にErlangの実行ファイル作成ソフト作ってくれよん！

って誰かWings3Dの作者に言ってよ英語わからないから！
2010/09/13(月) 18:16:10
>>66
基礎理論で分類するなら、ラムダ計算をベースに構文糖を被せた
JavaScript/Smalltalk/Rubyあたりも関数型言語になるんか？
また、CSPを基礎理論とするOccamやGHC(KL1)等も
プロセス指向言語と呼んだほうが正しい分類なのか？

普通に(常識的に)、JavaScript/Smalltalk/Rubyは(関数型機構も使える)
オブジェクト指向言語でいいし、Occamは手続き型言語、
GHCは並列論理型言語でいいと思う。同様にErlangも関数型言語だね。

>>65
言っている事はアレだがw、紹介してくれたリンク先の記事は面白かった。
ただし、その記事(ゲームと超並列化)が対象としているのは
メモリ共有による「密結合型」並列計算だよ。
Erlangは相互リンク(たとえばネットワーク)による「粗結合型」並列計算、
あるいは「分散型」並列計算だから、記事にあるようなリアルタイム
3Dレンダリングを生かしたゲーム開発には向いていないと思われ。
2010/09/13(月) 18:20:24
JavaScript/Smalltalk/Rubyは手続き型言語だろ普通に。
2010/09/13(月) 18:22:34
>>72
全く見当違い。

> 基礎理論で分類するなら、ラムダ計算をベースに構文糖を被せた
> JavaScript/Smalltalk/Rubyあたりも関数型言語になるんか？

完全な手続き型言語だろ。

> また、CSPを基礎理論とするOccamやGHC(KL1)等も
> プロセス指向言語と呼んだほうが正しい分類なのか？

そうだよ。

関数型言語はシーングラフベースのグラフィックスなら強いパワーを発揮しそうだ。
2010/09/13(月) 18:33:01
>>73
より正確にはオブジェクト指向手続き型言語だろうね。
オブジェクト指向というのは大きな概念(パラダイム)だから、計算モデルと両立する。
だからオブジェクト指向関数型言語やオブジェクト指向並列論理言語も存在しうる。

2010/09/13(月) 18:37:04
>>75
オブジェクト指向ってどういう基礎理論に基づいているの？
2010/09/13(月) 18:37:36
>>75に自己レス。
オブジェクト指向並列論理言語ではなくて、オブジェクト指向論理言語に訂正。

ちなみに例を挙げれば、
・オブジェクト指向関数型言語：OCaml
・オブジェクト指向並列論理言語：ESP
になるけど、普通はそれぞれ関数型言語、論理型言語と呼ばれているし、それで正しい。
2010/09/13(月) 18:41:28
>>75
君がオブジェクト信者だってことはわかったけど、
オブジェクト指向は指向と呼ばれることからわかるようにプログラミングスタイルを意味する言葉だよね。
2010/09/13(月) 18:43:40
関数型言語だろうと並列論理言語だろうとプロセス指向言語だろうとどっちでもいいだろ。
どうせやることは一緒なんだ。
2010/09/13(月) 18:45:17
>>76
計算モデルとしての(狭義の)オブジェクト指向の基礎理論は「アクター理論」と呼ばれる。
これは作用型計算モデル(関数型言語)と命令型計算モデル(手続き型言語)を統ーした
計算モデル。このモデルでは、すべての要素(オブジェクト)がアクターになる。たとえば
関数は不変アクター(imutable actor)で、手続きは可変アクター(mutable actor)になる。
2010/09/13(月) 18:46:44
俺が聞いたところによるとオブジェクト指向の完全な理論化は出来ていないとの事だったけどなぁ。
2010/09/13(月) 18:58:40
>>81
その通り。だから>>80では「狭義の」と書いた。例えば「継承(inheritance)」ひとつを
とっても、静的言語ですらその形式的定義は完成していない(はず)。だから、たとえば
OCamlのオブジェクト指向は不完全なので(型推論が破綻しているので)、嫌う人は多い。

ま、いいかげんオブジェクト指向はErlangとはスレ違いの話題だから、これで終わりにする。
Erlangにおける並行オブジェクト指向プログラミングなんて話題になれば、また顔を出すよ。
2010/09/13(月) 21:53:00
>>77
> ・オブジェクト指向並列論理言語：ESP

ESPは逐次型
逐次推論マシンPSIで使われていた
2010/09/16(木) 06:37:32
>>71
Wings3Dソースみてみたけど、werl起動するだけみたいよ？
インストールするとErlangのディレクトリ構造でライブラリ(**/ebin/*.beam)があるし。
exeは出来なくても良いけど、ソース無し(*.beamだけ)の実行環境と、ライブラリ集めて
インストールパッケージ作る、簡単な方法はほしいと思う。
2010/11/03(水) 01:22:04
ほしゅ
86デフォルトの名無しさん
垢版 |
2010/11/03(水) 05:07:20
このスレまだあったのか
87デフォルトの名無しさん
垢版 |
2010/11/04(木) 16:44:34
>>84
バッチファイルをEXE化して実行ファイル作ろうと思っても、
OTPからerl.exeとかerlc.exeとか引っ張り出すと動かなくなる。
なんでWings3Dは動いてんだよぉ…
2010/11/15(月) 17:07:33
一時期はerlang便利って思ってたけど、最近では普通にCだな・・・
スタイルさえ確立すればCでもErlangでも同じ。
2010/11/15(月) 17:08:28
しかもerlang遅いし。
2010/12/27(月) 06:37:49
741 デフォルトの名無しさん [sage] 2010/12/25(土) 00:53:53 ID: Be:
    erlangがほとんど話題に上がらないのはなぜ？
2010/12/27(月) 07:38:46
そんなことErlangへんでえ
2010/12/27(月) 09:06:10
座布団どころか家財全部もってちゃいなさい
2011/04/07(木) 09:11:31.10
http://www.infoq.com/jp/news/2011/04/erlang-copied-jvm-and-scala

Erlang を共同で開発した Joe Armstrong と Robert Virding 両氏が，Erlang が Java から多大な着想を得たことを認めている。

ErlangFactory 2011 SF で行われたインタビューで両氏は，Erlang では「プロセス」と呼んでいるものを作る上で，
Scala の Actor が大きな影響を与えているという，以前からあった噂をついに
肯定したのだ。さらに Erlang の VM が，かの有名な Java 仮想マシン (Java Virtual
Machine，JVM) のクローン同然のものであることも告白した。
2011/04/07(木) 09:18:19.82
>>93
うわ、これはショックだ
そうじゃないかと思ってはいたけど両御大の言葉ともなると
つらいものがあるな…漏れはArmstrong本で勉強したわけだし
きっと何か事情があるんだと思うな…そうであってほしい
2011/04/07(木) 09:30:56.90
>>94
>かの有名な JVM に回帰すること，の２点を約束している。
むしろこのあたりでちょっとうれしかったり
2011/04/07(木) 09:31:33.38
>>94
Posted by Sadek Drobi on Apr 01, 2011

2011/04/07(木) 09:33:02.12
>>96
ぐはぁ、そういう記事を1週間も遅れて貼るかなもう
2011/04/07(木) 09:55:37.68
>>97
しかも>>94は縦読みだ。
2011/04/07(木) 14:57:04.63
April Fool
2011/04/07(木) 16:20:29.39
>>99
that's right!
2011/04/07(木) 20:25:44.71
>>94
Cool !
2011/04/07(木) 22:44:01.66
このスレこんな人いたのかｗ

Erlang再入門開始
カンマとセミコロンとピリオドの使い分けがようやく見えてきた
2011/04/08(金) 21:55:40.57
Erlang使えば未来予知が出来るのかと思って喜んできてみたら嘘かよ
2011/04/09(土) 05:20:40.84
>>103
Erlangやったからといってバラ色ではないことくらいの予知ならできるが。
105デフォルトの名無しさん
垢版 |
2011/04/10(日) 00:55:39.83
これソースからインストールすると死ぬほど時間かかるんだけどなんとかなんないの
2011/04/10(日) 19:36:25.14
一回だけだろ
気にすんな
2011/04/10(日) 20:41:25.95
クラウド鯖で使うから何度もインストールするんだよね
2011/04/10(日) 20:57:57.37
待つだけだろ
気にすんな
109デフォルトの名無しさん
垢版 |
2011/04/10(日) 23:50:53.53
気にしない
2011/04/10(日) 23:52:29.12
>>105
インストールに時間掛かるとか言うやつは、osインストールやった事無いだろ
2011/04/11(月) 13:12:35.07
>>107
同じ構成のインスタンス借りてるんだろ？
ならコンパイルした結果を丸ごともってきゃいいじゃねぇか
2011/05/10(火) 20:00:37.36
ですな。
checkinstallでrpm化してもいいし。
最近のcheckinstallがどうも不具合ぶくみだが、、
2011/05/29(日) 11:40:10.62
haha
2011/07/04(月) 11:22:19.64
これ ； デリミタっていうんだけどさ、これをつけなきゃエラーになるような
そんな言語使ってる奴ってどうみてもゴミだと思うんだけど

もしかして「；」これ打ち忘れてコンパイルエラー出すのが楽しいの？
そうか、二度と話かけんなよ

ゴミが口を開くな
2011/07/06(水) 07:44:35.82
これ ； デリミタっていうんだけどさ、これをつけなきゃエラーになるような
そんな言語使ってる奴ってどうみてもゴミだと思うんだけど

もしかして「；」これ打ち忘れてコンパイルエラー出すのが楽しいの？
そうか、二度と話かけんなよ
ゴミグラマじゃねーか
116デフォルトの名無しさん
垢版 |
2011/11/30(水) 00:33:25.95
PhalangerやBoo、IKVMみたいな.NET上で動くErlang実装ってないの？
2011/11/30(水) 06:17:52.47
このスレまだあったのか
118デフォルトの名無しさん
垢版 |
2011/11/30(水) 21:44:56.56
ちょっと聞きたいんだけど、入力される文字列長が不定でCRとかLFで終端されるとは限らない上に
eofにも到達しない場合、erlangでどうやって書いたらいいんだろう。

file:read(IoDevice, Number)だとNumber分だけ文字が入力されるまで待ってしまうわけで、
つまりシステムコールとしてのread(2)に近い動作をしてほしい。
流石に1文字づつ読みに行くみたいな頭悪いことしたくないし、Cとかで書いてラップするのが安定？
2011/12/12(月) 17:39:24.26
PythonとかRubyとか使ったけどやっぱりErlangのバイナリ処理とパターンマッチは最強だわ。
文字列の処理が楽だから、プログラムの翻訳機がかなり作りやすい。
で、他にもっと使いやすい言語ある？
2011/12/13(火) 02:03:46.41
鯖移転記念
ttp://www.atmarkit.co.jp/news/200704/27/erlang.html
121デフォルトの名無しさん
垢版 |
2012/01/27(金) 06:04:19.72
ようするにやっぱ最強だわ
2012/02/24(金) 03:36:57.12
How To Become A Hacker
http://cruel.org/freeware/hacker.html

もしコンピュータ言語をなにも知らないなら、まず Python から始めることを
おすすめします。設計がきれいだし、ドキュメントもしっかりしているし、
初心者にもそこそことっつきやすくできています。でも入門言語として最適でも、
おもちゃではありません。強力で柔軟で、大きなプロジェクトにもじゅうぶん
対応しています。

Java もプログラミングを学ぶにはよい言語です。 Python よりはむずかしい
ですが、できるコードは Python より高速です。二番目の言語としてはとても
すぐれていると思います。

本気でプログラミングをするなら、C を勉強するしかありません。これはUnix の
中核となる言語です。C++ は C と密接な関係にあります。片方を知っていれば、
もう片方を学ぶのはそんなにむずかしくありません。が、どっちも真っ先に
勉強しようとするのには向いた代物ではありません。
2012/02/24(金) 08:47:40.07
C++でプログラム書くのを覚えるとCでプログラム書くのは無理
Cを読むくらいならできるけど、Cで書くなんてバカらしくてやってらんない
2012/02/24(金) 11:47:20.51
>>119
ない
2012/02/24(金) 12:31:54.46
>>123
おれ産業系なんで、Cばっかりだよ。
2012/02/25(土) 11:16:27.76
>>124
Prolog御大を挙げなくちゃ。
2012/03/02(金) 15:27:53.31
>>123
それCommonLispで以下略とか
Erlangで以下略とか
なんでもよくね？

Cの良いところって組み込みで使ってもリソース食わないとか
ハードウェアに密接する処理書いてもOKとかそのくらいしかわからん(ここはC++でもいいんだが)
2012/04/29(日) 13:59:15.71
Erlangプログラミングを70ページ読んでやって「これ->を:-にすればPrologじゃん」と気付いた
2012/04/29(日) 14:13:00.69
Prologみたいな双方向のユニフィケーションとか、同じ変数名を使ったパターンとか、あるの？
2012/05/07(月) 17:57:49.82
Erlangもっと流行ってほしいなぁ。
ほかの言語やってるとやっぱりErlangのパターンマッチが最強過ぎていやになるわ。

初心者にとっつきやすいようにprint分を簡単にして、
プリコンパイラを簡単にして関数を全部publicアクセスにして、
レコードをクラスっぽい使い方できるようにすれば
ちょっとはとっつきやすくなるんじゃないかな。
2012/05/07(月) 20:40:16.21
標準入出力よりも数値計算が充実してくれれば
行列で検索してもキューの話ばっかり出てきて困る
2012/05/07(月) 23:20:06.08
バイナリ吐けるようになったらね。
2012/05/11(金) 01:23:00.97
C言語とかで関数の頭で引数の検査でassert使うけど、それをパターンマッチングでできるので楽
2012/05/12(土) 11:46:22.40
f({a,X}, {b,X}) ->
みたいに引数の同値の検査を省略できるのはたしかに楽
2012/05/13(日) 00:44:56.28
いくらググってもemacsモードのファイルがヒットしないのでしばらくあきらめてたら、配布物の中に入ってた
136デフォルトの名無しさん
垢版 |
2012/09/01(土) 10:27:54.02
Erlang入門という中古書籍片手にErlangの勉強を始めましたが、
本に書いてある通り、
c(モジュール名).
とコマンドを実行しても、
モジュール名.bea#: error writing file
とエラーが出てコンパイルできません。

http://blog.overlasting.net/2007-05-09-1.html
のサイトを見て、c(sample).を実行しても
sample.bea#: error writing fileと表示されます。

Erlangはマイナー過ぎてググっても分かりません。
誰か助けてください…。
■ このスレッドは過去ログ倉庫に格納されています
5ちゃんねるの広告が気に入らない場合は、こちらをクリックしてください。
ニューススポーツなんでも実況