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

プログラミング言語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

ヲタク言語

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

文字列を内部的にはリストにしてるんかいなぁ？
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"

慣れるとわりといいかも

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>

なんか静ですね

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

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

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

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

>>8

なるほど〜。疑問解消。

ソース、読んでみるよ。

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

動的言語ｗ

プ　rubyｗｗ

>>10
わかりやすすぎ

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

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

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

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

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

はい、さよおなら

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

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

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

だが、それがいい

>>20

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

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

>>22
ワクワクするよな

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

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

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

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

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

>>29

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

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

試してみた。

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>

Rubyの方が断然いいね。

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

Pythonのほうが断然いいね

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

リアルハッカーｗ

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





Guy L Steel兄貴の存在

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

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

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

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

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

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!>
>

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

誰が保守してんだ

グレアム

: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|))))))

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

スレ違いです

&restが要らなくなったー

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

TECO

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

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

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

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

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

なにこれ

>>38
IronScheme

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

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

>>57

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lisp-2 + パッケージシステム + legacy macro = CL
Lisp-1 + hygienic macro = Scheme
Lisp-1 + legacy macro - パッケージシステム = Arc

らしい。ここの shiro さんのコメントより。
ttp://d.hatena.ne.jp/archacker/20080203/1201988205#c

>>67
57じゃないけど、このcccの使い方はいわゆる大域脱出ってやつかな。

Common Lispだとblock/return-from、他の言語だとtry/catch/throw等の
例外機構を使う。

>>69
なるほど〜。

>>68
マクロは竹内先生の本で覚えたのでlegacy macroの方が
自分にとってはわかりやすい。

Arcの方がなんとなくLispっぽいし気楽な感じでいいかも。

>>68
「- パッケージシステム」は必要ない希ガス

つまり　Arc + パッケージシステム　を作れば無敵ｗ

>>72
あーそうだね、そのまま引用しちゃったから気がつかなかった。

ちょっと補足。
関数と変数の名前空間に区別がないのがLisp-1で、区別があるのがLisp-2。

黒田涙目w

arc> (頭良くなれー頭良くなれー　俺)

>>75
いやー、あの人は現状のArcの出来だったらボロクソに言うと思うけどｗｗ

今後Arcは開発コミュニティによってどう育って行くのか楽しみだね。

黒田さんじゃなくても現状のArcは出来はアレだと思うだろ
バージョン0のものを叩くってのは空気の読めないアホだけだよ

trace untrace って無いみたいなのでしょうがなく
こんなことをやってみた。
arc> :a
done
> (require (lib "trace.ss"))
> (trace _fact)
(_fact)
> (tl)
Use (quit) to quit, (tl) to return here after an interrupt.
arc> (fact 10)
|(_fact 10)
| (_fact 9)
| |(_fact 8)
| | (_fact 7)
| | |(_fact 6)
| | | (_fact 5)
| | | |(_fact 4)
| | | | (_fact 3)
| | | | |(_fact 2)
| | | | | (_fact 1)
| | | |[10](_fact 0)
| | | |[10]1
省略
|3628800
3628800
arc>
もっとスマートは方法はないかな？ (ar-funcall(n) ... )をいじればいいのかな。

Arc Forumでジョークなのか＄かsevalでScheme関数を呼び出すってのがあるなんてやってた。
そんなの無かったので追加してみた。
(ac s env)に加える。
((eq? (xcar s) '$) (ac-seval (cadr s)))
そして
(define (ac-seval x)
`(eval ,x))

arc> (= x "hello")
"hello"
arc> (($ string-fill!) x #\a)
#<void>
arc> x
"aaaaa"

[ ... ]っていいね。かなり記述量減らせる。
明示的に変数名も入れられるとベターなんだけど。
[< a b c > ...]みたいな

記述量減らせるけど、カッコ以外の記号覚えるの嫌だ>[]

あれあれ、'とか.とか:とか#とか`とか,とか,@とか&とかいっぱいありますよ？
[]は元々違う意味ですよ？(superbrace)

おれは#L()の方がいいよ

覚えるのが嫌だとは思わないが、カスタマイズできない構文が増えると嫌だな
しかし fn や if の定義は変更できないほうがいい

shiro氏公開のポールエッセイに数学的だから長生きだ、
みたいな事書いてたけど、[]は数学的根拠はないよね。
if辺りの拡張も俺言語オナニーと発想レベルは同じ。
長生きしないでしょう。

根拠がないなら作ればいい
たとえば、関数適用とラムダ抽象は全然違うんだから全然違うカッコを使うべきだとか

昔は ' も無かったんだし、単なるsyntax sugarでしょ。目くじら立てるようなもんじゃない。
まあ定着するかどうかは微妙だと思うけど。

>>86
長生きさせる気無いんじゃない？
というか最近、彼の一流の技術者的なジョークなんじゃないかという疑いを持つようになった。
あーだこーだ言ってる俺を見てほくそ笑んでるんでは無いかと。
Ctrl-Cの人はそれに気付いてジョークで返したんでは無いかと。
そうやっていつもアイツらは俺を笑ってるんだ。クソ！

>>89
Paranoid schizophreniaの可能性がありますので医師に御相談ください

100%ジョークってことはないが
Arcのソースにdefine-syntaxが一度たりとも出てこないのはわざとだろうなぁ

>>83
>[]は元々違う意味ですよ？(superbrace)
いつの時代の話してんの？w
その処理系つかったことあるの？w

>>92
なめんな。お前みたいな俄かLisperとは違うわ。
大した手間でもないから、わざわざ自分の
処理系には必ず入れていたぐらい精通してるよ。
後でマイナーな存在だと知ったけどな。
結局、閉じ括弧が減った程度じゃ、
一般人にLispは受け入れられないと悟った。
俺も色々変態構文は作ってきた方だが、
arcの[]みたいな使い方は思いつかなかった。
#fn <args> <expr> => (lambda <args> <expr>)
みたいな物ならいくつもあるが。

ニヤニヤ

>> 93
わりと論旨がとっちらかってて、なにが言いたいのか分からないんだけど、
でも、なんだか凄い人なのは理解できたかも！！！！！
Arcに超カッコが取り入れられる日も近い！
一般人への啓蒙のためにも[]は超カッコで、#L()を採用するべきだわ。
それか、gooみたいに(op _)とかね！まあ、cutでも良いか！

ちなみに#fn <args> <expr>って俄Lisperの漏れには
一見全然便利そうに見えないんですけど、どういうところで、
便利なんですか？！！！　
どこまでが後悔関数の引数なのか分かんなくなって混乱しちゃいそうです！！

ニヤニヤ

パンチカードを使ってた頃は便利だったなあ＞超カッコ
まともなエディタがあれば要らないね。ｗ
あと [ ] を vector と解釈する処理系も無かったっけ。Interlispだっけか。

Emacs Lisp も (vector 'a 'b 'c) => [a b c]

Taoではprintで[]を再現出来るんじゃなかったっけ?

>>95
「わりとなんだか凄い人」なのは判ってくれたようだが、
分からないのは理解しようと努力してないからだ。
>ちなみに#fn <args> <expr>って俄Lisperの漏れには
さて、この変態構文の例を>>7のコードで示せばこうなる。
(trues #fn (_) (if (odd _) (+ _ 10)) '(1 2 3 4 5))
何が便利かはこれで判るだろ。
少なくともarcの[]の様なナンセンスな仕組みよりも、
何を意図するものか判り易い。
付け足すなら、短く書きたいという願望は判るが、
arcの[]は引数が'_'限定では述語ぐらいにしか使えないし、
'_'という名前が名前だけに、読み手に意図も伝えられない。
実際に[]が入っているコードを見たら、頭を1回転させないと
判らない難解さを感じた。
いくら短く書けてもぱっと見で意味不明なのは問題だろうよ。
lambdaをfnに変えたぐらいのセンスで、もうひと捻り欲しい。

かえって分かりづらいね。
センスが悪いと生きるのも大変だろうね。

_決め打ちだとネストできないのは困るな

こういう目新しい構文って、それなりに使ってみないとまともに評価できないよな
単に慣れないから不自然に見えるだけなのか、根本的に使いにくい構文なのかが一見では区別できない

>>100
自分の中に入りすぎていて論旨がわかりにくい。
もうちょっと行数を減らしてくれないと読むのが苦痛だ。

>>104
日記です。

面倒だから全レスしてやるよ。
>>101 このレベルじゃ常人に理解されなくても困らないんだぜ。
>>102 ネストなんて意図を汲み取れば考慮の外だろ。
>>103 俺なら経験とカンである程度判断できる。
>>104 苦痛でも無理して読むといいよ。
>>105 いい目をしているな、それに度胸もいい。
あえて言うなら[]があればその中で'_'が使われている可能性アリ、
という対の関係を脊髄反射的に印象付けられる、変数ではなく
記号的な識別を行えるという目論見はあるだろうな。

可哀想

さすが、普通のやつらの上を行ってるやつらの言う事は違うな

上様御乱心

>>106
日本だと成功しないよあんた

まるで外国なら成功するみた（ｒｙ

そりゃ成功するでしょ

じゃあ、さっさと（ｒｙ

>>112
アフガニスタンとかか？

Arc の [] は、極端に単純な関数を極端に簡単に書くためだけの仕組みでしょ。
ちょっとでも複雑なコードが書きたいなら、普通に fn で書けばいいんだよ。
変数名とかがなくても一目でわかるくらいのコードに限定して、便利に使えればそれでいい。
別に fn を置き換えるようなものじゃないんだから。

C++の_1とか好きだけどな。

de Bruijn indexというのがあってだな
現在のスコープで最も内側で束縛された変数を 1 とする

de Buijn indexはlambda抽象を明示しないと成り立たないし、Boostの_1とは別物だろ

>> 115
そうだよね、letとwithの関係みたいなね。
引数が一つだけのlambdaが多用されるから便利に、ってことなんじゃないのかしら。

>>118
BoostはおいといてArcの[]を一般化しようという妄想だから

>>115
その「限定された範囲で便利に使える」機能は
普遍的な機能 (マクロなど) から導き出せるはずだっていう思想があるから
fnを置き換えるほど普遍的な機能だ
ということにすれば受け入れられやすいのではないか

>>117
0じゃね? まどっちでもいいんだが

あら、もう新しいarc1.tarが出たみたい。
x.yとか、x!yとか新しい構文が…。

arc> :a
> (expand-ssyntax 'x.y)
(x y)
> (expand-ssyntax 'x!y)
(x (quote y))

下らない小手先の構文糖衣ばっかりだなあ

くだらなくない糖衣構文キボンヌ

type genericとか
ここらで一気に強い型な言語になろうぜ

(= x (table))
(= x!key 'val)

将来的には「applyメソッドをoverride」したり中置記法のマクロを書けるようになるのか？

うーむ。意外な方向に発展する言語だなあ。

なんか予想外だよね。こまいところだけ手が入ってる感じ。

なんかarc1の説明にcutが沢山でてくると思ったらsubseqから名前変わったのね。
他にも変更になったのあるのかしらん。

保守

・ポール・グレアム「新しいものを作る6つの原則」 - らいおんの隠れ家
http://d.hatena.ne.jp/lionfan/20080224

・Arcをリリースした - 武蔵の日記
http://d.hatena.ne.jp/sirocco634/20080130/

・ポール・グレアム「Arc公開」を翻訳しかけたのですが - らいおんの隠れ家
http://d.hatena.ne.jp/lionfan/20080225

てめぇらの意見が聞きたい

型やマクロに制約のある言語を使ってると
その制約と相性の悪い新機能を使うために新しい言語に移行するパターンが多くないか？

制約のある言語はいつか破綻するものと割り切って使うしかないのか？

なんか抽象的な質問だなあ

そうかもしれん

ポールグレアムは「高級言語はプログラムを短くするためにある」と言った
でも普通のやつらは新しい機能を使うために新しい言語を使うんじゃないか
そこには、新しい機能を古い言語で実現できないという前提がある

Arcが期待はずれだった人も、
プログラムを短くすることではなく、新しい機能を期待していたのだと思う

だがポールグレアム的には、古い言語で実現できない新しい機能など存在しない
できないのは言語に色んな制約をつけた奴が悪い

で、静的型やhygienic macroのある言語って何なの？って話

Cを始めてみた時、ここまで記号羅列で表記する意味はあるのか、
いやないんじゃないかと思った。今では慣れた。endすらうざい。

Cにendなんてないわけだけど。
Rubyのことを言ってるならあれはEmacsから一発でインデントと共に
入れるもの。

括弧が記号じゃないとエディタで対応とらせるのに不便よね。
インデントだけじゃなくて移動とか。
PostScriptみたいに[,]が実はオペレータってのも勘弁だが。

,はunquoteじゃないの?

>>137
inputが面倒という以外に、視覚的に鬱陶しいというのもあるのでは？

>>140
Lispの括弧と同じで慣れれば見えなくなるけどね

レンタルサーバ上で Arc によってウェブアプリを書いている人いますか？


Arcで書かれたポールグレアムの News.YC がオープンソース化
http://d.hatena.ne.jp/higepon/20080225/1203913944

Arcからの挑戦
http://practical-scheme.net/wiliki/wiliki.cgi?Arc%E3%81%8B%E3%82%89%E3%81%AE%E6%8C%91%E6%88%A6

Arcからの挑戦
http://practical-scheme.net/wiliki/wiliki.cgi?Arc%E3%81%8B%E3%82%89%E3%81%AE%E6%8C%91%E6%88%A6

単純な問題を、挑戦として示すことにしよう。
そして、ポピュラーな言語での解答を集めて、その長さを比べてみるつもりだ。

次のようなプログラムを書け。
URL said (例えば http://localhost:port/said )は、入力フィールドひとつと、送信ボタンひとつのページを生成する。
送信ボタンが押されたら、2番めのページとして、"click here." と書かれたリンクひとつのページを生成する。
それがクリックされたら、3番めのページとして、"you said: ..." と書かれたページにいく。
ここで ... は、さっきの入力フィールドにユーザがタイプしたものだ。
ただし、3番めのページは、ユーザが実際にタイプしたものだけを表示すること。
つまり、入力フィールドの値を URL で渡してはいけない。そうしないと、最後のページの動作をURLで変えるようなことができてしまう。

単純だし、このようなテストに求められるように、これは例として不自然ではない。
Webアプリは、このようなことをいつもやっているのだ。あるいは、何か難解なライブラリ(Arcにあって他の言語にはないような)に頼るわけでもない。Webアプリを書くのに使われる言語なら当然もっているものだけでいい。

これが Arc の答えだ:

(defop said req
　(aform [w/link (pr "you said: " (arg _ "foo"))
　　　　　　(pr "click here")]
　(input "foo")
　(submit)))

もし Arc になじみがなければ、私のいうことを信じてもらうほかないが、これはコード上のトリックで圧縮したわけではない。
これが　Arc で書くには標準的な書きかたなのだ。

Arcで書かれたポールグレアムとlispで書かれたポールグレアムはどっちが強いんだろう

詠唱速度というのがあってだな

>>144
http://practical-scheme.net/wiliki/wiliki.cgi?cut-sea#H-1119bvv

＞(define-page (said)
＞　(self-chain "self"
＞　 (form/cont/ (entry-lambda (:keyword say)
＞　　　　　 (a/cont/ (cut p/ "You say:" say) "click here"))
＞　　 (readln/ say)
＞　　 (submit/))))
＞
＞Arc: 23ノード：15の葉/字句 + 8内部ノード
＞Kahua: 27ノード：17の葉/字句 + 10内部ノード

野良犬日記 2.1 ? Going to the Mutts
- Paul Graham のエッセイは翻訳が許可されている
http://tamo.tdiary.net/20080304.html#p01

> たとえば cond マクロ。こいつには Lisp 1 からこのかた余計な括弧がびっ
> しり付いてきて、それを誰も何ともしてこなかった。 if と cond を押しつ
> ぶしてひとつのオペレータにする Arc の技も、誰かがとっくに見つけてい
> たっておかしくなかったのだが、 間違いなくそんな周知の事実はない。こ
> んなことができると気づいたときは嬉しかったなあ。

これって何の話？誰か教えてプリーズ。

↑http://practical-scheme.net/wiliki/arcxref?if

ありがとう。
if の引数が偶数個のときは、else節が無いということかな。

この if ほんとに便利なのかなぁ

cond のほうが見やすく思えるのは、体に染みついてるからだけはないと思う

cond の括弧が「余計」だとは思わない。
要素の数を数えるより、括弧の対応だけ追うほうが楽だし。
ただ、 Arc の if のが書きやすいかもしれないとは思う。

インデントで見やすくすればいいだけ

ifもそうだけど、思ったよりwithも使い勝手悪い気がするんだよね。
letは良いんだけど。

>>154
インデントで見やすくする、っていう発想/行為自体が、括弧を減らすことで、
見やすさが向上してないってことじゃなかろうかww
まあ、もっと高尚な目的のために括弧を減らしたんだろうけどね。

ifとcond2つ要らないことが重要なり〜

そのりくつはおかしい

when や unless の立場はｗ

カッコが余分にないと暗黙のprognにしにくい。> if

condだけでもいいよ

どれか一つだけ残すなら cond だな

ところでprognってなんて読むの？
俺は心の中では「ぷろぐなぁー」。人前では発音したことない。l

おれの心の中では「プログン」だなぁ

俺は「プロオン」だな。「オ」のところは喉をすぼめて。
人前で読むなら「プログエヌ」だろうか。

俺も人前なら「プログ・エヌ」
人前でなければ発音しないｗ

同じような構文糖がゴチャゴチャあると余計わかりにくい。

実際ifのtrue節やfalse節でよくdoしてるよな。
letな局面も多くて、いつもしているわけじゃないけど。
あと、elseifが連なる時、どれが条件だか分かりにくいわ。
今のインデントルールだと全部同じ高さだから。

まあこんなのはどうでもいいところだけど。

prog1(プログワン)があるんだからプログエヌ

コンマ

で、このアークってのは今までのLispの方言に比べて何か画期的な
機能とかあるの？

何か画期的な機能がある方言のほうが珍しいからなあ。無いんじゃないかなあ。

文字列処理が変態的と聞いたが、使ってみた人、どうよ

俺LISP作るような人から見たら大した事してないよ
マクロでこんなん作りましたレベル

逆に画期的な方言が知りたい。

萩谷（昌己）さんが学生のとき作ったHyperlispなんて変態的で画期的だったな。
もはやLispではないかもしれんが。

どう画期的なのか、概略だけでも書いてくれると、
もうちょっとは盛り上がります罠。

ググれば論文出てくるよ。
ファースト・オーサーは佐藤さん。

二分木を基底にした数学的意味を持つLisp。

Arcは「シンボルの構造化」とか言えば画期的に聞こえないこともないと思う

>>175
今の感覚からみるとHyperってのが時代を感じるね。

HTML侮辱STOP! (AA略

時代を感じるってのは侮辱なのか？
日本語でおｋ

ハイパーカードのことも、ときどきは思い出してあげてください

HyperTalkもあったね。

HyperCardをArcで実装してくれ

じゃあ、俺は、ハイパーオリンピック

鉄の定規は、使用禁(ry

なつかしすぐるｗｗｗｗｗ

あれのせいで全国的にコントローラが傷だらけになった罠ｗ

HyperLibってあったな。

HyperText⇒HTML

>>189
>>180へ無限再帰

ハイパーターミナル

ハイパーリンク

CR ハイパー海物語INカリブ

>>188 super.lib じゃなくて？

>>194
ﾊｲﾊﾟｰｶｰﾄﾞのスタックに特化した季刊誌があったような希ｶﾞｽ。

一ヶ月に一回位のペースで新バージョンがリリースされるのかと思ったら、ペース落ちてきたね。

正直、現状の肉でも魚でもないものじゃ更新ペースが速くても興味がわかない。
もう少しまとまった形になってから出してくれた方がいい。

>>197
どのあたりから肉とか魚になるのさw

Rubyになった時だろ。

Σ(´д` ).

相互再帰たらいまわし

(= Y* ([_ _]
[fn fs (fn (f) (fn xs (apply (apply f (map (apply (_ _) fs) fs)) xs)))]))

(= tarai
((fn (f g) ((Y* f g) f))
(fn (f g)
(fn (x y z)
(if (<= x y) y
(g (f (- x 1) y z)
(f (- y 1) z x)
(- z 1) x y))))
(fn (f g)
(fn (x y zx zy zz)
(if (<= x y) y
(let z (f zx zy zz)
(f x y z)))))))

直接貼ると見づらいが、リンクするのも微妙だし、なんとかならんのか

>>201
どうなってるんだｿﾚ

ふつうの定義。超遅い。竹内関数とも呼ばれる。
(= tarai
  (fn (x y z)
    (if (<= x y)
      y
      (tarai
        (tarai (- x 1) y z)
        (tarai (- y 1) z x)
        (tarai (- z 1) x y)))))

#これコピペすると&#160;が鬱陶しい

Y*は2変数ならこうなる
((Y* f g) h) => (h ((Y* f g) f) ((Y* f g) g))

>>201を（´д`）Editで観易くするテスト

(= Y* ([_ _]
　　　[fn fs (fn (f) (fn xs (apply (apply f (map (apply (_ _) fs) fs)) xs)))]))

(= tarai
　　((fn (f g) ((Y* f g) f))
　　 (fn (f g)
　　　(fn (x y z)
　　　　(if (<= x y) y
　　　　　(g (f (- x 1) y z)
　　　　　　(f (- y 1) z x)
　　　　　　　(- z 1) x y))))
　　 (fn (f g)
　　　(fn (x y zx zy zz)
　　　　(if (<= x y) y
　　　　　(let z (f zx zy zz)
　　　　　　(f x y z)))))))

スターリスプみたいにさ、デフォルトで並列対応とかしてれば人気出るのに。

>>206
まだ表面的な部分しか公開されていないが実はそうなんｼﾞｬﾏｲｶ？

並列どころか平行なんｼﾞｬﾏｲｶＪＫ。

ジャマイカとか言う前にちゃんと調べてから書け

調べてみた
http://ja.wikipedia.org/wiki/%E3%82%B8%E3%83%A3%E3%83%9E%E3%82%A4%E3%82%AB

>>210
そのリンクは『ジャマイカ』ｼﾞｬﾏｲｶｗ

またLispの方言できたの？

使用者ごとに23の方言があると言われているのがLisp

schemeとCLに比べて、何が凄いの？

作った人が凄い

アーク　ザ　ラングエッジ

…インテリジェントパイプ？違うか。

過疎ってるね。

dylanとどっちが強いの？

既存のschemeのプログラムをそのまま走らせることはできるの？
slibとかそのままもってこれる？

誰かが直接Arcのインタプリタを実装してくれないかな....

ひさしぶりだね。

俺実装しようかな。

>>222
頼むよ、このままじゃPlan9みたいに
第三のプログラムが作成されない現状のままになるから。
Common Lispはでかい割に必要な機能がないという異常事態だし。

仕様がほぼ決まったら作り始めるよ。

Cでサクッと

>>225
そんなにさくっとLispインタプリタがかけるようになるのは
どういう練習をしたらいいんだ?
どういう練習をしたら良いのかさっぱりわからん、
Cのプロフェッショナルになる必要が有るのだろうか？

>>226
さくっとかけないの？馬鹿なの？

>>227
さくっとかけないよ.
だよ、Listを読み込む方法がわからないよ。
(から)までなの?
`(バッククオート)の処理の方法が思いつかないよ

指輪物語のゴクリみたいなしゃべり方になったwwww

>>228
調べろよ。
OpensoruceのLispの処理系なんていくらでもあるだろ。

それに、Lispの処理系を作ったことがないとか、プログラマーとして如何なものかと思う。

> それに、Lispの処理系を作ったことがないとか、プログラマーとして如何なものかと思う。

さすがにそれはどうか

いや作ったことあるけどさ

>>231
つか、オレオレ言語の一つもって意味なんじゃね？

>>231
作っただろ、プログラマーなら
どことなくLispに惹かれて
なんとなく書いちゃうもんなんだよ。

作るのは別にいいけど人に使わせようと出してくんなよ

3.1 きたね
最新のMzScheme対応

どうよ、最近
クリスマスの予定は決まったか？？

言語仕様書みたいなのって無いの?

すっかり過疎ったな

誰か使ってる奴いる？

ちょっとだけ

過疎わろた・・・

普通のやつらの上を行き過ぎて
誰も付いてこれなくなったか

いやまあ海のものとも山のものともつかんものを実用にはできんだろ

上には上が

風船おじさんすぐる

age

上様

http://toki.2ch.net/test/read.cgi/dataroom/1293616589/

http://tryarc.org/

Rubyバカにしてる子ってさ
変数に＄ついてる言語触ってるって事だよね

いちいちSHIFT＋４キーおして ＄ 打ちまくってる感触はどう？

>>250
頭にウジがわきましたか？
それをこのスレで言われましても。

さっさと死ねばいいんじゃね？

-
「「「「「「 さっさと死ねばいいんじゃね？ 」」」」」」(キリッッ！キリッッッッキリッッッ！！キリッッッ
---------(きリッッきリッッ

http://tryarc.org/ が復活してた
これは良いっすな

これを使ったらウェブアプリも書けるのかな?

https://github.com/Pauan/ar/blob/lib/arc2js.arc

http://toki.2ch.net/test/read.cgi/dataroom/1309855042/

http://toro.2ch.net/test/read.cgi/tech/1202098949/

Arcって使ってるユーザーいるの？
あと、他の言語とは何が違うの？
CLの正常進化版？

次にお前は俺のレスが見えないフリをする

Arcユーザーています？

Arcって名前がカッコイイな。
厨二心をくすぐられる。