【普通のやつらの】 Arc Language 0 【上を行け】

[1 デフォルトの名無しさん 2008/02/04(月) 13:22:29]

プログラミング言語Arc

あのPaul Grahamが長年考案しつつもベーパーウェアだったArcがとうとう発表された。
これを使えば今日から君もスーパーハッカーだ（＊注: Arcは現在のところASCII以外の
文字を適切に扱えません）。

公式サイト
http://www.arclanguage.org/
インストール
http://www.arclanguage.org/install
チュートリアル
http://ycombinator.com/arc/tut.txt
非公式リファレンス
http://practical-scheme.net/wiliki/arcxref

* なぜArcはとりたててオブジェクト指向でないのか
http://practical-scheme.net/trans/noop-j.html

[2 デフォルトの名無しさん 2008/02/04(月) 13:25:01]

ヲタク言語

[3 デフォルトの名無しさん 2008/02/04(月) 14:01:07]

へーあのグレアムの。
暇が出来たらやってみよう。

[4 デフォルトの名無しさん 2008/02/04(月) 18:18:13]

文字列を内部的にはリストにしてるんかいなぁ？
arc> (subst 'a '(b) '(a b c))
"aac"
arc> (+ '(a b c) '(d e f))
(a b c d e f)
arc> (+ "abc" "def")
"abcdef"

[5 デフォルトの名無しさん 2008/02/04(月) 18:24:27]

慣れるとわりといいかも

arc> (= x '((a . a1)(b . b1)))
((a . a1) (b . b1))
arc> x
((a . a1) (b . b1))
arc> (= (caar x) 'z)
z
arc> x
((z . a1) (b . b1))
arc>

[6 デフォルトの名無しさん 2008/02/04(月) 18:31:12]

なんか静ですね

[7 デフォルトの名無しさん 2008/02/04(月) 18:54:39]

これいい
arc> (trues [if (odd _) (+ _ 10)] '(1 2 3 4 5))
(11 13 15)

[8 デフォルトの名無しさん 2008/02/04(月) 20:52:02]

>>4
subst は substring の略っぽい。
http://practical-scheme.net/wiliki/arcxref?subst

List に対する subst(itute) は tree-subst という関数がある。
http://practical-scheme.net/wiliki/arcxref?tree-subst

この辺の命名規則はまだ適当みたいだな。
ソースは簡単に読めるので一度読んでみるといいかも。

[9 デフォルトの名無しさん 2008/02/04(月) 21:56:42]

>>8

なるほど〜。疑問解消。

ソース、読んでみるよ。

[10 デフォルトの名無しさん 2008/02/05(火) 00:41:19]

いまさら、こんな糞言語使わなくても、動的言語ならrubyでいいだろ。

[11 デフォルトの名無しさん 2008/02/05(火) 00:44:31]

動的言語ｗ

[12 デフォルトの名無しさん 2008/02/05(火) 00:46:17]

プ　rubyｗｗ

[13 デフォルトの名無しさん 2008/02/05(火) 00:57:57]

>>10
わかりやすすぎ

[14 デフォルトの名無しさん 2008/02/05(火) 01:08:27]

マジな話、arcがrubyより優れている所ってあるの？

[15 デフォルトの名無しさん 2008/02/05(火) 01:10:11]

rubyは嫌いじゃないが、ruby使ってる人は厭な人が多いな

[16 デフォルトの名無しさん 2008/02/05(火) 01:10:57]

>>14
rubyを知らなくても使えるという点じゃないかな

[17 デフォルトの名無しさん 2008/02/05(火) 01:13:51]

まだ生まれて間もないという所が優れている

[18 デフォルトの名無しさん 2008/02/05(火) 01:21:10]

まだまだこれからってことだな。５年後まだ残ってたら使ってみるよ。

[19 デフォルトの名無しさん 2008/02/05(火) 01:27:06]

はい、さよおなら

[20 デフォルトの名無しさん 2008/02/05(火) 01:43:06]

>>8
あ、ごめん、やっぱり subst の引数は seq になってるから
まだ、string にしか実装されてないってことだった。

[21 デフォルトの名無しさん 2008/02/05(火) 01:52:50]

だれかEmacsの環境作れてるひといる？
inferior-lisp-programでArcを指定する方法はやったんだけど、
SLIME とかで使えんのかな

[22 デフォルトの名無しさん 2008/02/05(火) 02:14:10]

チュートリアルプレインテキストｗ

[23 デフォルトの名無しさん 2008/02/05(火) 03:06:02]

だが、それがいい

[24 デフォルトの名無しさん 2008/02/05(火) 07:36:38]

>>20

seq ってのは文字列とリストのことなんかね。

arc> (findsubseq '(c) '(a b c d))
2
arc> (findsubseq "c" "abcd")
2
arc>

[25 デフォルトの名無しさん 2008/02/05(火) 09:26:41]

>>22
ワクワクするよな

[26 デフォルトの名無しさん 2008/02/05(火) 17:38:15]

とりあえず階乗。
Schemeと何が違うんじゃ　ってのは勘弁して。

(def fact (n)
　(if (is n 0)
　　　1
　　　(* n (fact (- n 1)))))

[27 デフォルトの名無しさん 2008/02/05(火) 17:45:10]

26向けじゃなくて、Schemeと大きく違うところって何？

[28 デフォルトの名無しさん 2008/02/05(火) 19:10:10]

isが同一、同値、同形判定のどれを意図してるのか判らん

[29 デフォルトの名無しさん 2008/02/05(火) 19:47:27]

>>27
Schemeはマクロやモジュールをどうするかで悩んでる
その結果、変な言語でマクロを記述したりR6RSでREPLがなくなったりしてる
Arcはその辺に関して楽観的というか何も考えてないっぽい

[30 デフォルトの名無しさん 2008/02/05(火) 19:52:01]

>>29

若くて元気で楽観的な青年　＝　Arc

は、そのうち何とかな〜るだろ〜お。

[31 デフォルトの名無しさん 2008/02/05(火) 20:07:05]

試してみた。

arc> (is 1 1)
t
arc> (is 'a 'a)
t
arc> (is "a" "a")
t
arc> (is '(a b) '(a b))
nil
arc> (iso '(a b) '(a b))
t
arc>

[32 デフォルトの名無しさん 2008/02/05(火) 21:47:27]

Rubyの方が断然いいね。

[33 デフォルトの名無しさん 2008/02/05(火) 21:56:36]

Rubyのどこがいいのか判らん

[34 デフォルトの名無しさん 2008/02/05(火) 21:57:50]

Pythonのほうが断然いいね

[35 デフォルトの名無しさん 2008/02/05(火) 22:33:16]

リアルハッカーなら断然Perlだよね

[36 デフォルトの名無しさん 2008/02/05(火) 22:33:45]

リアルハッカーｗ

[37 デフォルトの名無しさん 2008/02/05(火) 22:35:34]

Arcに欠けているもの、それは、、、、、





Guy L Steel兄貴の存在

[38 デフォルトの名無しさん 2008/02/05(火) 22:37:07]

schemeが.netに対応してVisual Studioに統合されたら最強だわ。

[39 デフォルトの名無しさん 2008/02/05(火) 22:39:05]

わしはコモンリスプのほうがいいのお

[40 デフォルトの名無しさん 2008/02/05(火) 22:39:50]

> 欠けているもの
オライリーの本

[41 デフォルトの名無しさん 2008/02/05(火) 22:43:03]

やれやれ、グレアム自身が実装されたArcの発表は当分先だな。

[42 デフォルトの名無しさん 2008/02/05(火) 22:45:01]

彼自身が人工知能になっちまうのかい？

[43 デフォルトの名無しさん 2008/02/05(火) 23:00:05]

ArcのうちSchemeで書かれたコアな部分は１０００行くらいなんで読んでる。
けっこう発見があって面白い。黒川利明先生のLispの本にあったLispでLispを記述
する部分を思い出している。

ところでnamespace-set-variable-value!ってどこで定義しているのかと探しても
見つからない。プリミティブだった。へ〜。そんなのあるんだ。

(namespace-set-variable-value! 'a 1)
> a
1
> namespace-set-variable-value!
#<primitive:namespace-set-variable-value!>
>

[44 デフォルトの名無しさん 2008/02/05(火) 23:02:23]

今のグレアムは既にVer.11ぐらいらしい。

[45 デフォルトの名無しさん 2008/02/05(火) 23:09:32]

誰が保守してんだ

[46 デフォルトの名無しさん 2008/02/05(火) 23:10:08]

グレアム

[47 デフォルトの名無しさん 2008/02/05(火) 23:14:38]

:aでSchemeに抜けて　acompileを使うとコンパイルされた結果が
Schemeファイルとして出力される。
> (acompile "fact.arc")
#t
>
((lambda ()
　 'nil
　 (ar-funcall3 _sref _sig '(n . nil) 'fact)
　 ((lambda ()
　　　'nil
　　　(if (not (ar-false? (ar-funcall1 _bound 'fact)))
　　　　((lambda ()
　　　　　 'nil
　　　　　 (ar-funcall1 _disp "*** redefining ")
　　　　　 (ar-funcall1 _disp 'fact)
　　　　　 (ar-funcall1 _writec #\newline)))
　　　　'nil)
　　　(begin
　　　　(let ((| fact|
　　　　　　　 (lambda (n)
　　　　　　　　 'nil
　　　　　　　　 (if (not (ar-false? (ar-funcall2 _is n 0)))
　　　　　　　　　 1
　　　　　　　　　 (ar-funcall2
　　　　　　　　　　 _*
　　　　　　　　　　 n
　　　　　　　　　　 (ar-funcall1 _fact (ar-funcall2 _- n 1)))))))
　　　　　(namespace-set-variable-value! '_fact | fact|)
　　　　　| fact|))))))

[48 デフォルトの名無しさん 2008/02/05(火) 23:25:29]

>>44
スレ違いだがストールマンは？

[49 デフォルトの名無しさん 2008/02/05(火) 23:32:51]

スレ違いです

[50 デフォルトの名無しさん 2008/02/05(火) 23:33:02]

&restが要らなくなったー

[51 デフォルトの名無しさん 2008/02/05(火) 23:33:30]

>>48
ストールマンは何で実装されてるの？

[52 デフォルトの名無しさん 2008/02/05(火) 23:40:00]

TECO

[53 デフォルトの名無しさん 2008/02/05(火) 23:40:22]

三角関数がないのは(xdef 'sin sin)をac.scmに追加すれはＯＫ。
で、xdefで関数名に _ を追加して名前空間にセットしているらしい。

(sin 3.14)がコンパイルされると
(ar-funcall1 _sin 3.14)

１０００行くらいなら読めるしPaul Grahamが残したらしいコメントから
彼の思考過程を探ることもできそうだ。こりゃ、面白いぜ。

[54 デフォルトの名無しさん 2008/02/06(水) 00:11:16]

これ、なんでシンボルを| fact|とかにしてるの？

[55 デフォルトの名無しさん 2008/02/06(水) 00:18:17]

> '(1 . 2 . 3)
(2 1 3)

なにこれ

[56 デフォルトの名無しさん 2008/02/06(水) 07:27:58]

>>38
IronScheme

[57 デフォルトの名無しさん 2008/02/06(水) 19:15:19]

ラムダ計算プログラムを書いてみた

http://natal.web.fc2.com/lambda.arc.txt

[58 デフォルトの名無しさん 2008/02/06(水) 19:53:26]

>>57

あなた、すごい人だね。
解説、頼みます。

[59 デフォルトの名無しさん 2008/02/06(水) 21:37:26]

やっぱりrubyには敵わないな

[60 デフォルトの名無しさん 2008/02/06(水) 22:17:19]

そうだな。RubyはLispの方言としてはずば抜けてるからな。

[61 デフォルトの名無しさん 2008/02/06(水) 22:34:06]

S式に囚われている限りRubyには勝てないね

[62 デフォルトの名無しさん 2008/02/06(水) 22:42:45]

逆。S式に(逆向きに)囚われてるのはMatzなんだから
> S式に囚われている限りRubyは勝てないね
だよ。

[63 デフォルトの名無しさん 2008/02/06(水) 22:43:38]

俺のarcスレで関係ない言語の話すんなよ

[64 デフォルトの名無しさん 2008/02/06(水) 22:45:10]

arcってschemeと何が違うんだよ。

単なるschemeの別バージョンならschemeスレでやれってこと。
糞スレ立てるなってこと。

[65 デフォルトの名無しさん 2008/02/06(水) 22:47:27]

すまん。おまえのスレで。

[66 デフォルトの名無しさん 2008/02/06(水) 22:48:10]

>>64
SchemeよりはむしろLispに近いと思うが

[67 デフォルトの名無しさん 2008/02/06(水) 23:29:34]

57の人には感心してしまった。

(ac s env) のssyntax? って何だろう？と首をひねっていた。
car:cdr は〜、なるほど。

cccの使い方ってそれはバックトラック？

忙しいのかね〜。出てきて教えて欲しいね〜。