板検索:
Lisp Scheme Part40 (494)
まとめビュー
1
デフォルトの名無しさん[sage]   投稿日:2015/03/16 13:45:52  ID:EEYZoZ1i.net


2
デフォルトの名無しさん[sage]   投稿日:2015/03/17 01:44:14  ID:wiNtO9kJ.net
>1乙

3
デフォルトの名無しさん[sage]   投稿日:2015/03/17 09:53:16  ID:DlMQwoSW.net
>1

4
デフォルトの名無しさん[sage]   投稿日:2015/03/18 23:56:10  ID:/VH+nDBr.net
ho

5
デフォルトの名無しさん[sage]   投稿日:2015/03/19 00:28:58  ID:azHU8zeY.net
もー前スレおちたぁ

6
デフォルトの名無しさん[sage]   投稿日:2015/03/19 02:30:16  ID://Xwd8cIh
こっそり。

7
デフォルトの名無しさん[sage]   投稿日:2015/03/19 21:49:34  ID:huDE+3Pz.net
そりゃ980超えたら落ちるって

8
デフォルトの名無しさん[sage]   投稿日:2015/03/19 21:50:55  ID:gfNdMEUZ.net
チンコそそり立ちましたぁ!!

9
デフォルトの名無しさん[sage]   投稿日:2015/03/19 22:37:25  ID:xkSYEtbo.net
OnLisp難しい
みんなどれぐらいで読めた?

10
デフォルトの名無しさん[sage]   投稿日:2015/03/19 22:45:10  ID:vj62FvKk.net
読むだけなら三〇分だったなぁ(速読なんで)
理解するのは3月以上かかった orz

11
デフォルトの名無しさん[sage]   投稿日:2015/03/19 22:45:39  ID:W/Yj+6+X.net
OnLisp を読んで、ユーザー定義のマクロは害悪だと、あらためて認識しました
コメント1件

12
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/03/20 10:11:21  ID:zxNcWGv0.net(2)
極端なマクロを作るべきではないし実際にそれほど使われないけど、
マクロを使いたいときというのは汚いコードを隠蔽したいときだったりするので、
マクロを定義できないとたぶんもっとひどいことになる。


13
デフォルトの名無しさん[sage]   投稿日:2015/03/20 11:05:47  ID:O5J2wnNt.net(2)
On Lisp読んでmacroを害悪って感じるのが不思議だわ
使いどころを間違えると確かに非道いものになるが、使うべき所で使わないのも非道い事になるって明確に述べられているじゃん
コメント1件

14
デフォルトの名無しさん[sage]   投稿日:2015/03/20 11:51:10  ID:T3pE7L+s.net
マクロのおかげでいちいちクオートせずに済むのが吉

15
デフォルトの名無しさん[sage]   投稿日:2015/03/20 12:15:37  ID:tzi7z/rK.net
マクロあってこそ唯一無二のLisp族なのに、マクロを否定したら読み辛いだけの欠陥言語やないか〜い!
コメント1件

16
デフォルトの名無しさん[sage]   投稿日:2015/03/20 12:22:46  ID:1skyWr+5.net
マクロなくても読みやすくね?
コードが視覚的に構造化されてるし
コメント1件

17
デフォルトの名無しさん[sage]   投稿日:2015/03/20 12:41:17  ID:UxTdHBIs.net
>13
OnLispの内容を、隣の同僚に説明することまで想像してください

18
SCHEME餃子 ◆8X2XSCHEME [sage]   投稿日:2015/03/20 13:11:21  ID:zxNcWGv0.net(2)
>15-16
構造化と言えば構造化だけどどの構造も同じように括弧で表されるのは微妙。
慣れれば読み難いとは思わないけど、読み易いというほどでもないんじゃないか。
読み易いかどうかと言うよりも許容可能かどうかという話だと思う。

どの構文にも名前 (記号によって表される名前のこともあるけど) が付いているから検索しやすいとか、
本物のマクロを使えるとか、そういうのは利点としてカウントできるから見難さを上回る利点になるけど、
簡単に覚えられる程度の決まりきった構文しか使わないという人には利点がないわけで、欠点が上回ってしまうということは考えられる。

>11
そんなわけで、マクロを否定しつつそれでもLISPを使いたいというのは何が嬉しいのかよくわからない。
それともLISP自体が駄目と言いたいのかな?
わからないというのは言葉通りの意味で、批判とかではないよ。
わかるように是非とも説明して欲しい。

19
デフォルトの名無しさん[sage]   投稿日:2015/03/20 14:26:01  ID:40hCSndp.net
カッコいいから

20
デフォルトの名無しさん[sage]   投稿日:2015/03/20 19:33:58  ID:zrSU6lyb.net
理系女を引っ掛ける時の武器になるじゃない

俺「つまり、リスプで無名再帰をランダムでYコンビネーターするわけさ。実際見てみたい?」
女「うん」
俺「(*´σー`)エヘヘ、そそり立ったマクロをランダムに君のYにプス。ニップルにもプス、さあさあ、リスプリスプ」
女「リスプ・スゴー!ズコーってスゴー」

21
デフォルトの名無しさん[sage]   投稿日:2015/03/20 20:20:04  ID:h7LYVeHC.net
ラテン語みたいなものだろう
知ってると箔が付く
コメント1件

22
デフォルトの名無しさん[sage]   投稿日:2015/03/20 20:55:26  ID:O5J2wnNt.net(2)
>21
ラテン語はEUの大学出のインテリだったらほぼ必須と思って良かったはず
エゲレスはラテン語圏じゃないからしらん

23
デフォルトの名無しさん[sage]   投稿日:2015/03/20 22:05:05  ID:A7MaPU0q.net
はっきり言ってマクロなしでもLISPを使いたい
コメント1件

24
デフォルトの名無しさん[sage]   投稿日:2015/03/21 06:38:20  ID:A3oIMbrm.net
チンコそそり立つ奴うぜえと思ってggったら個人特定できてワロタw

25
デフォルトの名無しさん[sage]   投稿日:2015/03/21 08:30:58  ID:DmU1FDu0.net
ふふふ、俺に嫉妬してるな
よし、中国五千年の秘法、少漏多接でおまえもチンコ鍛えろ

26
デフォルトの名無しさん[sage]   投稿日:2015/03/22 13:48:56  ID:UD5BMgeo.net
>16
むしろ Lisp 使うときのモチベーションがマクロ
専用エディタがなくても使う人はいるのかどうか

27
デフォルトの名無しさん[sage]   投稿日:2015/03/22 15:24:08  ID:EgqLl3qo.net
OnLispにてベジエ曲線とかで詰んだ

28
デフォルトの名無しさん[sage]   投稿日:2015/03/22 17:14:41  ID:JNKpaAnB.net
ショートリフの医薬品エキスパートシステムではマクロは使われてたんかいなぁ?
コメント1件

29
デフォルトの名無しさん[sage]   投稿日:2015/03/22 17:37:58  ID:sE6THi50.net
>28
使われてたというか、無しだと難しいでしょう
プロンプトとのインターフェイスだけはマクロの方が読みやすいのは、さすがの私でも認める

30
デフォルトの名無しさん[sage]   投稿日:2015/03/22 20:29:13  ID:qgxjSyJi.net
積み木の世界は?

31
デフォルトの名無しさん[sage]   投稿日:2015/03/26 17:33:28  ID:nOM28eq7.net
記号処理ベースのAIは絶滅したのだろうか。

32
デフォルトの名無しさん[sage]   投稿日:2015/03/26 21:15:18  ID:3jWPMno2.net
巷で話題のDeep Learningとは対極だしね

33
デフォルトの名無しさん[sage]   投稿日:2015/03/27 07:49:53  ID:P/37pHtr.net
>23
S式単位の編集、評価が便利すぎるんだよな

34
デフォルトの名無しさん[sage]   投稿日:2015/03/30 00:47:47  ID:Ti6GzTDJ.net(2)
最近はCommon LispとSchemeの人口はどっちが多いんだろう?
コメント1件

35
デフォルトの名無しさん[sage]   投稿日:2015/03/30 01:29:55  ID:YnE17X1Q.net
githubとかの活動状況みて、人口数だとclojureがうなぎ登りな感じする
schemeって何かするときに処理系に依存するのが多いのが厭
clって何かするときに過去のしがらみが厭
みたいな理由でclojureに流れた人なので余計にそう感じるのかも<<俺

;;;ちなみにjvmと.net(clojure cli)の狭間で同じように嫌いになりかけてる orz

36
デフォルトの名無しさん[sage]   投稿日:2015/03/30 04:41:55  ID:Ti6GzTDJ.net(2)
Javaが嫌いなのでClojureは使いたくない

37
デフォルトの名無しさん[sage]   投稿日:2015/03/30 05:26:22  ID:yk1mvYNm.net
>34
http://redmonk.com/sogrady/2015/01/14/language-rankings-1-15/

しっかし改めてみて見ると、Lisp方言の中ではClojureが抜きん出てるな

38
デフォルトの名無しさん[sage]   投稿日:2015/03/30 10:26:51  ID:gPkdujhq.net
clojure は Lisp の皮をかぶせた Java って感じだから、
伝統的 Lisp が好きな人はイマイチに感じるかもね。
それでも Clojure がそれだけ伸びたってことは
「伝統」が Lisp 人口を抑制する理由になってたってことだ。
具体的にどれというわけでもないけど、文法的にもコミュニティ的にも。

39
デフォルトの名無しさん[sage]   投稿日:2015/03/30 10:40:43  ID:R7/d5mE9.net
ここに詭弁がある

それでも Clojure がそれだけ伸びたってことは
「伝統」が Lisp 人口を抑制する理由になってたってことだ。

40
デフォルトの名無しさん[]   投稿日:2015/03/30 13:03:44  ID:O4/bZba6.net
Paas上にサービス作ろうと思うとたいていJVM上になるからClojureになっちゃう
ホストしてくれるところがあるならCommon Lispで書いてもいいんだけど

41
デフォルトの名無しさん[sage]   投稿日:2015/03/30 17:01:50  ID:NYibuce/.net
clojure は repl のあるjavaです
だんじてlispではない
コメント1件

42
デフォルトの名無しさん[sage]   投稿日:2015/03/30 20:12:54  ID:YgdRSR6f.net
PaulGrahamの言う大理石みたいな言語ってやっぱりHaskellのこと?
コメント1件

43
デフォルトの名無しさん[sage]   投稿日:2015/03/30 23:07:48  ID:E0z7vvS1.net
>41
え、どうみても Lisp じゃんか?何が嫌なの

44
デフォルトの名無しさん[sage]   投稿日:2015/03/31 14:56:40  ID:8nbXovb7.net
ベクタが嫌

45
デフォルトの名無しさん[sage]   投稿日:2015/03/31 16:15:14  ID:mK8B2Vnm.net
馬鹿丸出しだな

46
デフォルトの名無しさん[sage]   投稿日:2015/03/31 20:50:47  ID:O1cF667I.net
俺も一々 java が顔出してくるので嫌になって clojure 辞めた

47
デフォルトの名無しさん[sage]   投稿日:2015/04/02 02:50:22  ID:T+WMNlyT.net
Dot 対が無いのが嫌って人が居たな>>clojure

48
デフォルトの名無しさん[sage]   投稿日:2015/04/02 06:33:27  ID:s2WfleIg.net
しばらく前に触った時は、時々エラーメッセージがまんまjavaで出てきて、デバッグし辛くて嫌になった。
今は改善されてるかな?

49
デフォルトの名無しさん[sage]   投稿日:2015/04/02 07:41:26  ID:Q+R7YirZ.net
car/cdrがないなんて
オッパイとチンコがない人類みたいじゃないか
コメント1件

50
デフォルトの名無しさん[sage]   投稿日:2015/04/02 08:40:08  ID:prY5HrbT.net
凸と凹が無いレゴブロックだよ

51
デフォルトの名無しさん[sage]   投稿日:2015/04/02 11:44:11  ID:vfTDdwEU.net
確かにエラーメッセージが意味をなしてないことは多々ある
REPLでNullPointerExceptionとか言われても困るし

52
デフォルトの名無しさん[sage]   投稿日:2015/04/04 00:19:09  ID:ot6qeumL.net
>49がうまいこと言ったな

53
デフォルトの名無しさん[sage]   投稿日:2015/04/04 11:26:07  ID:ylJbkIMW.net
car,cdrに相当するものは有るじゃん

54
デフォルトの名無しさん[sage]   投稿日:2015/04/04 13:22:24  ID:ugaLmOKA.net
car: 吾が身は、成り成りて成り合はざる処一処あり
adr: 我が身は、成り成りて成り余れる処一処あり
cons: 此の吾が身の成り余れる処を以ちて汝が身の成り合はざる処に刺し塞ぎて国土を生み成さむ

55
デフォルトの名無しさん[sage]   投稿日:2015/04/04 16:57:43  ID:EJsUpkUQ.net
list: しか善けむ

56
デフォルトの名無しさん[sage]   投稿日:2015/04/04 18:41:54  ID:fmxizuNG.net(2)
チンコそそり立ちましたぁ!!

57
デフォルトの名無しさん[sage]   投稿日:2015/04/04 20:08:23  ID:W+B5XJ7H.net(2)
そっかー。

58
デフォルトの名無しさん[sage]   投稿日:2015/04/04 20:25:22  ID:4SWzUYUy.net
チンコたたない (´・ω・`)

59
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/04/04 21:34:18  ID:W+B5XJ7H.net(2)
Common Lisp には ed あるからな。

60
デフォルトの名無しさん[sage]   投稿日:2015/04/04 21:50:15  ID:fmxizuNG.net(2)
チンコ萎えましたぁ!

61
デフォルトの名無しさん[sage]   投稿日:2015/04/05 00:33:34  ID:XqnpqZbw.net(2)
>42
なんだろう?C/C++ のことかな?

62
デフォルトの名無しさん[sage]   投稿日:2015/04/05 04:26:19  ID:0qV8//6B.net
特定の言語を指して言ってるようにも読みとれないし、
指していないものとして読んでも意味は通じると思うのだが。

63
デフォルトの名無しさん[sage]   投稿日:2015/04/05 12:28:37  ID:XqnpqZbw.net(2)
でもポール・グラハムの価値観というか美的センスは知りたいよね

64
デフォルトの名無しさん[sage]   投稿日:2015/04/05 13:18:57  ID:eP1s4V8k.net
Lisper捕まえて価値化とか美的センス問いただすってどうなの

65
デフォルトの名無しさん[sage]   投稿日:2015/04/05 15:24:39  ID:S9OEePzZ.net
PGの経歴考えれば、氏の美的センスに興味持つのは別におかしいことじゃないだろ

66
デフォルトの名無しさん[sage]   投稿日:2015/04/05 16:48:40  ID:Mc1LufYO.net
元の文読んだら出てこない質問じゃないのかな。

67
デフォルトの名無しさん[]   投稿日:2015/04/05 19:07:54  ID:0+ESVGOs.net
教祖が思いつきで適当こいたことを信者が一生懸命意味づけしてるみたい

68
デフォルトの名無しさん[]   投稿日:2015/04/05 20:16:22  ID:jqMEIOdF.net(4)
PGはセンスないと思う
コメント2件

69
デフォルトの名無しさん[]   投稿日:2015/04/05 20:20:03  ID:jqMEIOdF.net(4)
PGは経済的な感覚はするどいと思う
プログラマとして、言語設計者としてはどうかと思う

70
デフォルトの名無しさん[sage]   投稿日:2015/04/05 20:27:27  ID:n8yu0sIB.net
グレアムは現実寄りの感覚を持っていると思う。
言語設計者が陥りがちな罠として一貫性とか対称性とかを過度に重視してしまうことがあるんだけど、
グレアムの場合は逆に「汚くてもこの方が効率的だ」と言えちゃうところがある。
それはそれでプログラマ、言語設計者に必要な資質だと思う。
コメント1件

71
デフォルトの名無しさん[sage]   投稿日:2015/04/05 20:36:24  ID:BNV+ndU/.net(2)
>68
典型的に恥ずかしいやつだな
コメント1件

72
デフォルトの名無しさん[]   投稿日:2015/04/05 20:39:37  ID:jqMEIOdF.net(4)
>71
教祖様べったりか。おまえ、自分の頭で考えたか?

73
デフォルトの名無しさん[sage]   投稿日:2015/04/05 20:42:20  ID:BNV+ndU/.net(2)
意味わからんだろうから少しだけ説明してやるか

おまえの評価は彼の主張内容への批判にまるでなっていない。彼という人物そのものの評価をしているだけだ。

比較して
>70は、彼の考え方なり特性についての評価であるから問題はない

>68
これでも恥じ入らないなら終わってるから底辺でウジウジしてろ

74
デフォルトの名無しさん[]   投稿日:2015/04/05 20:44:44  ID:jqMEIOdF.net(4)
だからLisperは・・・

75
デフォルトの名無しさん[sage]   投稿日:2015/04/06 03:34:53  ID:iRkvZ+2f.net
グラハム師は絵かきでもあるんだが?
尊師、いやセンスも抜群であるぞよ?

76
デフォルトの名無しさん[sage]   投稿日:2015/04/06 13:38:56  ID:24zntdu4.net
グレアムですとりとり

77
デフォルトの名無しさん[sage]   投稿日:2015/04/20 17:42:17  ID:ic3Zh3EU.net
ちょっと見ないうちに発展してるんだな
ChickenなんてPython並みにライブラリ充実してるやん

78
デフォルトの名無しさん[]   投稿日:2015/04/21 22:23:55  ID:k+lIUh1M.net
☆ 日本の核武装は絶対に必須ですわ。☆
http://www.soumu.go.jp/senkyo/kokumin_touhyou/index.html

☆ 日本国民の皆様方、2016年7月の『第24回 参議院選挙』で、改憲の参議院議員が
3分の2以上を超えると日本国憲法の改正です。皆様方、必ず投票に自ら足を運んでください。
私たちの日本国憲法を絶対に改正しましょう。☆
コメント1件

79
デフォルトの名無しさん[sage]   投稿日:2015/04/22 21:43:11  ID:DgtUSZ4O.net
最初の一発をアメリカに落とすなら賛成

80
デフォルトの名無しさん[sage]   投稿日:2015/04/26 16:00:13  ID:2npT22yp.net
>78
某大統領はツーマンルールの束縛をも離れ自由に核を行使することができるようになるのですね

81
デフォルトの名無しさん[sage]   投稿日:2015/05/09 06:59:13  ID:R7pPsL7j.net
pythonのdoctestに相当するものって
schemeの実装でもってる処理系ってありますか?

82
デフォルトの名無しさん[]   投稿日:2015/05/23 11:06:22  ID:B3nG1+3y.net
SICPは糞訳だから難しいだけで
普通の入門書やで

83
デフォルトの名無しさん[sage]   投稿日:2015/05/23 12:44:35  ID:5iWlkXmX.net
学生がはじめて触るプログラミング言語としてschemを想定している時点で普通ではない

84
デフォルトの名無しさん[sage]   投稿日:2015/05/23 14:04:59  ID:CdB4mnZs.net
学生がはじめてさわる言語として?
は?

85
デフォルトの名無しさん[sage]   投稿日:2015/05/27 17:02:03  ID:7qplcBoj.net
LispWorksメジャーバージョンアップしてたよ〜
http://www.lispworks.com/news/news34.html
Release of LispWorks 7.0
Cambridge, England, 05 May 2015

ARM版がでたり、EE版でなくても64bit版使えるようになってますね。
ただとても高いです(>_<)
64bitだと、
Hobbyist Edtion $750
HobbyistHV Edtion $1,500
Professional Edition $3,000
Enterprise Edition $4,500

Lisp生誕50周年の時に、記念価格で頑張って10万円以下で32bit Pro版買いましたが
もうムリポ
コメント1件

86
デフォルトの名無しさん[sage]   投稿日:2015/05/27 17:49:32  ID:zmDBrH1G.net
>85
以前お試し版でどうにもならなかったので価格に見合わんと思って捨て置いたのだけど
LispWorksのIDE日本語まともに動くようになりました?(UIで使うのよ)
コメント1件

87
デフォルトの名無しさん[sage]   投稿日:2015/06/02 01:25:15  ID:y4V2Np0V.net
>86
Windows版しかわからないけど、LispWorks 6.1あたりから日本語は問題なくなってるよ。
インライン入力、日本語フォントの表示など。
ただ、Shell Panelについては相変わらず文字化けするね。
(前から要望は出してたけど結局対応されてない。)
コメント1件

88
デフォルトの名無しさん[sage]   投稿日:2015/06/02 17:33:15  ID:6+pzD3Ix.net
https://github.com/pedropramos/PyonR
Racketとpythonの混合できるって聞いて動かそうとしてるんだけど
Gentoo Linuxだと動いてくれない
ひょっとしてWindowsでしか動かなかったりします?
コメント1件

89
デフォルトの名無しさん[sage]   投稿日:2015/06/02 17:59:01  ID:w187aOqK.net
>87
>ただ、Shell Panelについては相変わらず文字化けするね
まだ多国語対応未対応な箇所あるのか orz
LispWorksはVSと値段かわらんから購入候補になるんで頑張って欲しいんだが。(DB必須なので必要なのはEnterprize版)
Franzは良いとは見聞きして知ってるけど零細企業で買うのは開発に必要なライセンスは2か3でなんとかなっても再配布ライセンスがちょっと躊躇する(値段が見えないので銀座の寿司屋な気分だ)

90
デフォルトの名無しさん[sage]   投稿日:2015/06/02 18:44:36  ID:lN7QylsY.net
きちんとしたサポート込みで、個別の相談にもかなり乗ってくれるらしいからなぁ。
処理系の値段つーより、ある種のコンサルみたいなもんなんじゃね。
用途を説明して概算を聞いてみてもいいと思うよ。

91
デフォルトの名無しさん[sage]   投稿日:2015/06/02 18:48:14  ID:KVObd6cl.net
issueとpull reqみると、osxは分からんってかいてあるけど、
作者がどの環境で動かしてるかよくわからないね。

92
デフォルトの名無しさん[]   投稿日:2015/06/02 23:33:13  ID:rOXsVj7y.net
>88
Gentoo Linuxだけど動いたよ
動かないってのは具体的にどんな状況?
コメント1件

93
デフォルトの名無しさん[sage]   投稿日:2015/06/07 03:32:03  ID:+hGuy5f7.net
>92
cd PyonR/examples/numpy_arrays
$ racket sum_arrays.py

sum_arrays.py:2:0: cpyimport: The 'cpyimport' statement is disabled.
To enable it, require the module 'python/config' from Racket and run (enable-cpyimport!)
in: (cpy-import "numpy" as :np)
context...:
/home/niitsumalocal/.racket/6.0.1/pkgs/python/cpy-importing.rkt:65:2
/usr/share/racket/collects/syntax/wrap-modbeg.rkt:46:4
standard-module-name-resolver
コメント1件

94
デフォルトの名無しさん[sage]   投稿日:2015/06/07 10:39:37  ID:AwWM8qy1.net
>93
そのエラーメッセージに解決法書いてあるよ

> sum_arrays.py:2:0: cpyimport: 'cpyimport' 文は無効になっている。
> これを有効にするには、Racket で 'python/config' モジュールを require し (enable-cpyimport!) を実行せよ。

というわけでこう

$ racket --eval '(require python/config) (enable-cpyimport!)'
The 'cpyimport' statement is now enabled.

$ racket PyonR/examples/numpy_arrays/sum_arrays.py
cpu time: 2197 real time: 2194 gc time: 12
[[ 5.05084018e+08 4.99867603e+08 5.02311555e+08 ..., 4.97975418e+08
以下略

95
デフォルトの名無しさん[sage]   投稿日:2015/06/11 22:16:49  ID:XgvKq4Ru.net
最近流行のdeep learningだけどlispと組み合わせて何かやった研究とかないのでしょうか

96
デフォルトの名無しさん[sage]   投稿日:2015/06/12 04:54:57  ID:GYNZ5Dwp.net
型つきschemeで一番まともなのはbiglooぽいけど
ライブラリが一番充実してるのはracketぽい

Racketのパッケージをbiglooで動かせないものか

97
デフォルトの名無しさん[sage]   投稿日:2015/06/14 19:10:32  ID:mXFFHZJ9.net(2)
::okey::

98
デフォルトの名無しさん[sage]   投稿日:2015/06/14 19:11:12  ID:mXFFHZJ9.net(2)
sssp://img.2ch.net/emoji/2ch-okay.gif

99
デフォルトの名無しさん[sage]   投稿日:2015/06/19 08:01:11  ID:RmIQOIpq.net
他人の作ったJavaプログラムのバグをとりつつ
自分の使いたい機能を追加したりするなら

Scala
Clojure

どっちがおすすめ?
Javaとの融合はScalaが上っぽいけどLispになれてるのでLispの方がいい
コメント3件

100
デフォルトの名無しさん[sage]   投稿日:2015/06/19 08:57:20  ID:688YE8UT.net
>99
後者

101
デフォルトの名無しさん[sage]   投稿日:2015/06/19 11:01:47  ID:tBR6vKOw.net
>99
Lisp慣れしてない自分でもClojureに楽しくはまったのでClojureを押してみるなり
JVM用言語で最も短いコードで最良の結果だす言語の一つだと感じる

102
デフォルトの名無しさん[sage]   投稿日:2015/06/20 11:39:42  ID:rk/B/nZr.net
>99
後者。
Leiningen の checkout dependency が便利すぎてはげる

103
デフォルトの名無しさん[sage]   投稿日:2015/06/22 11:59:19  ID:2Ao8Xtyy.net
モナドのちゃんとした定義ってあるの?
言語ごとに定義が違う気がするんだけど

104
デフォルトの名無しさん[sage]   投稿日:2015/06/22 14:13:40  ID:FwurGF7a.net
モナド則はモナド則だよ。

105
デフォルトの名無しさん[]   投稿日:2015/06/22 20:47:07  ID:unToOooi.net
関数型言語「Racket 6.2」リリース
http://osdn.jp/magazine/15/06/23/063900

 RacketはShemeから派生した関数型言語。旧名称はPLT Schemeで、バージョン5より
Racketに名称を変更した。強力なマクロシステムが特徴で、マクロを使って言語機能
を拡張でき、プロジェクト固有の新しい「方言」を作成できるという。また、Web
サーバーやデータベース、GUI、チャートなどのアプリケーションをサポートする
ライブラリも提供される。ライセンスはLGPL。プロジェクトは米国立科学財団(NSF)、
国防高等研究計画局(DARPA)、米教育省、Exxon Foundation、Microsoft、Mozilla、
Googleなどの支援を受けている。
コメント1件

106
デフォルトの名無しさん[sage]   投稿日:2015/06/22 23:08:50  ID:SUvAdIcO.net
Racket 最強伝説

107
デフォルトの名無しさん[]   投稿日:2015/06/23 00:34:37  ID:ZAN95P/B.net
>105
記事読んだけど、マルチパラダイム言語って誰が言い始めたんだろ
そもそもシングルパラダイム(原理主義)な言語なんて非実用的なものの対義語なんか冠にしても意味ないと思う

108
デフォルトの名無しさん[sage]   投稿日:2015/06/24 10:17:09  ID:fsHZ6HK+.net
typed-racketが変なバグ起こさなくなったの?
安心して使えるようになったのなら使ってみようかな

109
デフォルトの名無しさん[sage]   投稿日:2015/06/24 18:03:08  ID:jBd8hVQL.net
Clojureと同じ文法でC++もwrapしようとしてるプロジェクトを
2つぐらいみつけたんだが2年ぐらい更新がない
JavaからC++の変換はそんな難しくないはずなんだけど
何か違う理由で頓挫してるんだろうか
コメント1件

110
デフォルトの名無しさん[sage]   投稿日:2015/06/24 23:03:41  ID:+qhy7yF2.net
>109
(その人達に必要な機能は)完成したからではなかろうか

111
デフォルトの名無しさん[sage]   投稿日:2015/06/24 23:46:08  ID:PBiySlld.net(3)
試しに実装してみたぐらいの気がする。
継続して使うのに作ったかは分からない。


型付きといえばshenも、18.1で型チェックが速くなったらしい。
ソースみたら、該当箇所の型が総称型に変わってた。
http://www.shenlanguage.org

112
デフォルトの名無しさん[sage]   投稿日:2015/06/24 23:50:28  ID:PBiySlld.net(3)
相互運用テストのためにakamaiがhttp2のコードをCLで書いてて、少し話題になってたね。
https://github.com/akamai/cl-http2-protocol
https://github.com/http2/http2-spec/wiki/Implementations

113
デフォルトの名無しさん[sage]   投稿日:2015/06/24 23:56:47  ID:PBiySlld.net(3)
cl-llvmってなんだろう。
https://github.com/sellout/CL-LLVM
llvmを吐く?FFI?

http://blog.cnu.jp/2012/12/11/android-gdk/
それとも、androidのjava/llvmみたいな話と同じなのかな?

114
デフォルトの名無しさん[sage]   投稿日:2015/06/25 00:00:46  ID:1wCihy2Z.net
これ3年ぶりのコミットがあったのか。
https://github.com/sellout/CL-LLVM/commits/master

115
デフォルトの名無しさん[sage]   投稿日:2015/06/25 13:36:07  ID:q+JEbLja.net
CL (というより動的型の言語) は LLVM の抽象度では上手く扱えないしたいして最適化できないという話もある。
GC の性能にも強く左右されるし、 LLVM よりも JVM の方が CL とは相性よさそうな気がする。

116
デフォルトの名無しさん[sage]   投稿日:2015/06/25 14:00:35  ID:NeoIiVi2.net
ABCLの性能ってどうなの?

117
デフォルトの名無しさん[sage]   投稿日:2015/06/28 19:28:01  ID:8Yznu8U0.net
昔,kawaからJavaを使おうとして非常に苦労した記憶が
ABCLならだいぶ楽にJavaが使えるのだろうか
Clojureは最初は楽だけどJavaのパッケージマネージャで苦労するね
コメント1件

118
デフォルトの名無しさん[sage]   投稿日:2015/06/30 06:09:22  ID:OHT0M0qn.net
>117
Java のパッケージマネージャって Clojure 書くのに Maven とか Gradle でも使ってるの?

119
デフォルトの名無しさん[]   投稿日:2015/07/05 11:29:59  ID:dGwooAgp.net
一時期Clojureが過剰に持ち上げられていたけど
まったく流行らずに終わったな

120
デフォルトの名無しさん[sage]   投稿日:2015/07/05 12:29:23  ID:Fkt4l860.net
ブラジャーに対抗しようとしても無駄なことだし

121
デフォルトの名無しさん[sage]   投稿日:2015/07/05 23:54:46  ID:6U0/+Enp.net
clojure は、lispの対抗馬とか思ってると、 repl 起動するまでにブチ切れると思う

122
デフォルトの名無しさん[sage]   投稿日:2015/07/06 05:13:14  ID:lUS8hza0.net
普通に流行ってるじゃん

123
デフォルトの名無しさん[sage]   投稿日:2015/07/06 14:46:34  ID:Mc9Nlxok.net(2)
やもえずJavaのウンコなプログラムのメンテしないといけない場合に
Clojureは便利だった

そういう制約ないならRacketが一番
コメント1件

124
デフォルトの名無しさん[]   投稿日:2015/07/06 16:16:59  ID:VRJTYjkB.net(3)
>123
Racketの良さを教えて

125
デフォルトの名無しさん[sage]   投稿日:2015/07/06 17:47:41  ID:Mc9Nlxok.net(2)
srfiがみんな使える上に
pythonとも連携できる
jythonみたいにnumpyが動かないとかもない
コメント1件

126
デフォルトの名無しさん[]   投稿日:2015/07/06 18:34:53  ID:VRJTYjkB.net(3)
>125
ありがとう
pythonライブラリを透過的に使えるなら便利そうだね

127
デフォルトの名無しさん[sage]   投稿日:2015/07/06 20:10:10  ID:XAQcetl+.net
えっ?Clojure って流行ってるの?

128
デフォルトの名無しさん[sage]   投稿日:2015/07/06 21:13:41  ID:4dWpMilG.net
少なくともメーリングリストは相当活発だよ

129
デフォルトの名無しさん[]   投稿日:2015/07/06 21:14:58  ID:VRJTYjkB.net(3)
自前でサーバー立てるなら何でもありだけど、実際PaaSのほとんどがJVM前提だからね

130
デフォルトの名無しさん[sage]   投稿日:2015/07/07 02:14:08  ID:FANO5u+E.net(2)
Javaでプログラム書く人達はユニットテストという概念がないらしく
csvに結果を書き出してエクセルで手作業テストを行うという謎慣習があるようだ

こういう人達の書いたJavaコードと付き合わざる得ない環境ではClojureは便利
コメント1件

131
デフォルトの名無しさん[sage]   投稿日:2015/07/07 05:31:59  ID:3YG+ylqQ.net
JUnit…

132
デフォルトの名無しさん[sage]   投稿日:2015/07/07 13:05:55  ID:FANO5u+E.net(2)
eclipseからJUnit使ってみるとわかるけど
エクセルの方が楽

133
デフォルトの名無しさん[]   投稿日:2015/07/08 00:15:24  ID:j/rYw6w7.net
>130
むしろ、java以外のユニットテストツールを使ったことがない

134
デフォルトの名無しさん[]   投稿日:2015/07/18 20:06:26  ID:cOkep0vN.net
>強力なマクロシステムが特徴で、マクロを使って言語機能を拡張でき
このLISP系でよく言われる「言語機能の拡張」って全然的を射てねーなと思う
例えばschemeのファーストクラスオブジェクト(FCO)としての継続って
言語プリミティブとしてFSO継続相当を始めから持ってない限りはどうやっても
拡張で得ることはできないし
FCOとしての継続の無い言語から有る言語へ言語機能を拡張するってことは
つまり新規にFCO継続付き言語を作るって事に他ならない
できることは結局言語に既にある機能の延長上の事だけで
言語拡張なんて大それた事は他の言語同様できやしない
「子供騙しですけど強力なマクロシステムで俺構文糖衣が簡単に作れますんで・・・」
とちゃんと書き直した方がいいね!
「プラグインモジュールを使うと言語機能を拡張できます」とかで売った方がまだ納得できると
思わないかね君たち
コメント6件

135
デフォルトの名無しさん[sage]   投稿日:2015/07/18 23:28:49  ID:uE0O9hZ+.net
長くて読めないから3文字にまとめてくれ!

136
デフォルトの名無しさん[]   投稿日:2015/07/19 00:51:10  ID:yGfbtuav.net(2)
おかしなひとには
かかわらない
しらんぷり

137
デフォルトの名無しさん[sage]   投稿日:2015/07/19 05:55:05  ID:9T0GJGKU.net

 か
  ん

138
デフォルトの名無しさん[sage]   投稿日:2015/07/19 06:44:26  ID:D56BGbCW.net(3)
>134
思わない

139
デフォルトの名無しさん[sage]   投稿日:2015/07/19 06:46:11  ID:D56BGbCW.net(3)
>134
ていうか頭悪いと思います
「言語拡張」の俺的意味からの演繹をしてるだけ

140
デフォルトの名無しさん[sage]   投稿日:2015/07/19 07:08:41  ID:rCpqRDah.net
マクロ展開時になんでもできるのに何で制限があると思うんだ?

141
デフォルトの名無しさん[]   投稿日:2015/07/19 12:23:56  ID:HOCsiBj3.net(3)
健全でない言葉が含まれているため表示しません 内容を確認する
コメント2件

142
デフォルトの名無しさん[sage]   投稿日:2015/07/19 12:48:48  ID:UMlSSY6R.net
>134
マクロは任意の構文木から任意の構文木への変換であって
どんなプリミティブが用意されるかは言語の戦略で決まること
レイヤーの違うことを関連付けて語るのはやめてちょうだい

143
デフォルトの名無しさん[]   投稿日:2015/07/19 13:33:11  ID:4YSiYgLI.net(3)
>141
その理屈でいくなら、CommonLisp も Lisp ではありませんね
コメント1件

144
デフォルトの名無しさん[]   投稿日:2015/07/19 13:42:12  ID:HOCsiBj3.net(3)
>143
それと >134 とどんな関係が?
コメント1件

145
デフォルトの名無しさん[]   投稿日:2015/07/19 13:58:30  ID:4YSiYgLI.net(3)
>144
Lisp と CommonLisp を混同しながら、Scheme はLisp ではないと主張ている人の意見はほどほどにして聞きましょう
コメント1件

146
デフォルトの名無しさん[]   投稿日:2015/07/19 14:18:17  ID:HOCsiBj3.net(3)
>145
自身のLispの定義を明らかにせずにCommon Lispは違うって言われましてもw
でもCommon LispがLispでないんなら、なおさらSchemeでLispを代表させるような論が成立しないのは同意できるんでないの
コメント1件

147
デフォルトの名無しさん[]   投稿日:2015/07/19 15:30:05  ID:4YSiYgLI.net(3)
>146
まず、Lisp は CommonLisp ではない
Lisp は Scheme ではない

次に
http://www.softwarepreservation.org/projects/LISP/book/LISP%201.5%20Programmers%2...
この↑Lisp1.5 は Lisp であるとする (おそらく、誰も異議をはさまないでしょう)

その上で、CommonLisp は Lisp であると仮定する (つまり、Lisp1.5 と CommonLisp程度の差があっても Lisp の一部であると仮定する)
当然、SchemeはLispである

逆に、SchemeはLispではないと仮定する (つまり、SchemeにもLisp1.5にもないモノがあればLispではないとする)
package にintern できる symbol がある CommonLisp は Lispではない

CommonLisp 側の言い分としては、CommonLisp はSchmeと同じくLisp系の新言語です
(Common Lisp is the modern, multi-paradigm, high-performance, compiled, ANSI-standardized, most prominent (along with Scheme) descendant of the long-running family of Lisp programming languages. )

Confusing Lisp and Common Lisp is permissible once in a human life. です

個人的には、マクロやシンボルが無くてもLispと呼ぶべきだと思います

148
デフォルトの名無しさん[sage]   投稿日:2015/07/19 16:16:48  ID:heZn3Xco.net
>141
このKURODA Hisaoって人が書いてる他のページも見たが
Abstract Syntaxの概念やこれを設定する意義を理解できない人がSemanticsについて語っても全く説得力がないね
それにSchemeの単一name space批判を自然言語での文脈依存性を持ち出してるが
自然言語の柔軟さというかいい加減さを至上の価値とするのならば所詮は知性ゼロ・常識ゼロのコンパイラやインタプリタですら処理できちゃう
普通のプログラミング言語なんてどれも失格、もちろんCommon Lispもね
理論や論理学について良く判っていない人間ほどFregeみたいな「計算機と深い関係があると世間で言われている」哲学者の名前を出したがる

149
デフォルトの名無しさん[sage]   投稿日:2015/07/19 16:17:03  ID:OiytaaWT.net
 わりと
   どうでもいいよね〜                   ね〜♪
                         _ ‐..::  ̄ ̄ ::::... 、
              . ィ            r'::/ ::ィ:::::::::::j:::::::ヽ::::\
,._.._ .......、._    _ /:/l!            | ::|::/ |::::::::∧:::レ::l:::| :::::rヘ
ヽ :~""''.>゙' "~ ,、、''‐'、|          l ::仏_ノヘ:/ ー- ハ:::!::::::|::::i
 ゙、'、::::::ノ:::::::_,.-=.  _〜:、          /::::リy=ミ ' ィ=ミ /:::::!::::/:::::!
  ``、/:::::::::__....,._ `゙'Y' _.ェ-、..._      |::::{xx     xx/::::::「)'|:::::::|
  ,.--l‐''"~..-_'.x-='"゙ー 、`'-、      lハ:仆 ..._ヽフ /:::: /´ |:::::::|
 "   .!-'",/  `'-‐'') /\ `      ::::ソ勺 7イV_  !:::::::!
  .-''~ >'゙::    ‐'"゙./  ヽ.    __  |::/ 爻___ん'´ッ'⌒ヽ! :::::!
    //:::::       ',        (__,、\/ /‐―一弋{、  /  ̄_)
   ' /:::::       .:';          \ ' {      :::\   /~::!

150
デフォルトの名無しさん[sage]   投稿日:2015/07/19 17:56:45  ID:D56BGbCW.net(3)
チンコも関係ないもんねぇ

151
デフォルトの名無しさん[sage]   投稿日:2015/07/19 17:57:39  ID:KxDpt4xY.net
これで133も満足だね

152
デフォルトの名無しさん[sage]   投稿日:2015/07/19 18:28:12  ID:yGfbtuav.net(2)
確かに言語拡張でarduinoと連携してドローンを自動航行できますとか言えた方がかっこいいよな
方言作れるとか書かれてもLisp界隈の事情知らん人間にゃ意味不明だし
コメント1件

153
SCHEME餃子 ◆8X2XSCHEME [sage]   投稿日:2015/07/19 20:49:45  ID:bZkSJoy2.net
>152
バインディング書けば言語に関係なく出来るだろ。
その手のライブラリがたくさんあるとか、
コマンドひとつで導入できるエコシステムがあるとかならアピールポイントになるとは思うけど。

154
デフォルトの名無しさん[sage]   投稿日:2015/07/19 22:15:40  ID:+t5BUUhH.net
言語は大きい会社や団体が開発してることがほとんど。なので妙な政治意図で故意に機能が削られたりが良くある。マクロありとこういうのは無視出来る。だいたいは誰かが便利なマクロを公開してくれる

155
デフォルトの名無しさん[sage]   投稿日:2015/07/20 00:59:43  ID:jCSJmRBw.net
なんで誰もcl-contを持ち出さないんだ

156
デフォルトの名無しさん[sage]   投稿日:2015/07/20 01:22:41  ID:8KYV1D+J.net
だって、>134の言い掛かりと言語レベルでの継続の必要性とは、まるで関係がないんだものw

157
デフォルトの名無しさん[sage]   投稿日:2015/07/20 02:49:25  ID:kupXshGu.net(2)
フル継続の後付けが難しいのは事実だろ。
cl-cont も Scheme に比べればモドキに過ぎないしな。

そんでもって >134 は継続は例に出しただけで、
マクロによる拡張が容易であっても言語が持つべきプリミティブの選択が重要だってことじゃないのか?

158
デフォルトの名無しさん[sage]   投稿日:2015/07/20 17:42:45  ID:aIRgWq4T.net
長々書いてるけどマクロでシンタックスを拡張できてもセマンティクスは変えられないってこと?
そりゃそうなんじゃない?この手の話の根はチューリング完全話と一緒だよね
機能拡張という言葉はセマンティクス拡張と同義ではないよなあ

159
デフォルトの名無しさん[sage]   投稿日:2015/07/20 20:43:14  ID:ysx1EkA6.net
それはもう見ているものがLispのマクロによる拡張性ではなくなっている

160
デフォルトの名無しさん[sage]   投稿日:2015/07/20 21:51:34  ID:d8TisZYV.net
特殊形式以外のマクロを使わないという選択

161
デフォルトの名無しさん[sage]   投稿日:2015/07/20 23:07:56  ID:kupXshGu.net(2)
言語の意味論とシンタクス拡張はレイヤが違う話だよ。
DSL は言語の意味論を変えはしないけど系を作ることは出来る。

物理法則は変えられないけど、物理法則の範囲内でサッカーのルールを定義したとして、それが無意味って言えるか?

162
デフォルトの名無しさん[sage]   投稿日:2015/07/21 18:19:47  ID:3UOplv+P.net
上の方の人と偶然被ってるけど、質問。
schemeのdefine-syntaxって何ですか?
defineじゃダメなの?
コメント1件

163
デフォルトの名無しさん[sage]   投稿日:2015/07/22 02:27:20  ID:ta5d120D.net(2)
Scheme のマクロは式の評価の前に展開される。
ものすごく単純化して説明すると処理されるタイミングが違うの。
コメント2件

164
デフォルトの名無しさん[sage]   投稿日:2015/07/22 10:24:48  ID:4IMBgQFd.net
>162
マクロなら可能だがdefineでは定義不可能なケースを上げておく

defineで定義された関数(procedure)の適用では、まず全ての引数が評価されてからその結果が関数bodyに渡されて関数の結果が決まる。
もし、全ての関数を評価せずに前から必要な分だけ評価する関数を書きたい場合、defineでは無理。その場合はdefineは-syntaxなどをつかってマクロを定義することになる。

マクロは
>163が述べているように第一段階としてSchemeのS式を生成し、第二段階でその生成されたS式を評価するわけだが、第一段階ではマクロの引数は評価されない点が重要。
それによって、defieとは異なり一部の引数をのみ評価することが可能となる。

or関数はその一例だな
もしdefineでmy_orを定義しようとすると全ての引数を評価するという無駄な関数となるわけだ。
もしaがtrueなら
(or a b c d e)でb以下は評価不要
が(define my_or ……)とすると
aからeまでを必ず評価してしまう
コメント3件

165
デフォルトの名無しさん[sage]   投稿日:2015/07/22 10:26:49  ID:TPXSOrgT.net(2)
>164
補足
だからmy_orはマクロで定義するというわけな
どうだ?
チンコそそり立つほどわかったか?

166
デフォルトの名無しさん[sage]   投稿日:2015/07/22 10:28:22  ID:TPXSOrgT.net(2)
>164
訂正
もし、全ての関数を評価せずに
もし、全ての引数を評価せずに

167
デフォルトの名無しさん[sage]   投稿日:2015/07/22 13:29:11  ID:wcjgZ6Dx.net
>163でスゲーわかった気になったのに、>164-165で全然わからなくなりました。
defineでも問題なさそうだけど。

(define my_or1
(syntax-rules ()
((_ a b) (or a b))))

(define-syntax my_or2
(syntax-rules ()
((_ a b) (or a b))))

(my_or1 #t (begin (print "!") #f)) ===> #t
(my_or2 #t (begin (print "!") #f)) ===> #t
コメント2件

168
デフォルトの名無しさん[sage]   投稿日:2015/07/22 21:13:51  ID:ta5d120D.net(2)
>167
試した処理系は何? それは仕様上未定義だよ。
期待した動作をするように見えてもただの偶然。
コメント1件

169
デフォルトの名無しさん[sage]   投稿日:2015/07/23 00:05:16  ID:a8nLYx9Z.net
全部(lambda()〜)で囲って遅延評価すればなんでもできるよ
SICPでマクロが無くても問題なかったのはこのおかげ

170
デフォルトの名無しさん[sage]   投稿日:2015/07/23 01:48:45  ID:6c5WF/G8.net(2)
>168
gaucheっす。r[567]rsによると、my_or1はこう呼ぶべしと理解したけど、あってます?
(define my_or1 (syntax-rules () ((_ a b) (or a b))))
(let-syntax ((my_or1 my_or1)) (my_or1 #t (error "!!")))

変数と構文キーワードを区別しなきゃならない理由が、いまいちピンときません。
フォームの先頭が(lambda)を評価したものと(syntax-rules)を評価したもので
区別出来そうな気がします。(実際Gaucheはそうしてるから>167で動いてる?)
コメント1件

171
デフォルトの名無しさん[sage]   投稿日:2015/07/23 02:53:10  ID:kIXXXoPi.net
>170
構文は第一級ではない。 (実行時に値として扱える存在ではない。)
「マクロ展開フェイズ」が完了してから「式の評価」を開始するので、実行時に束縛するのでは遅すぎるんだよ。

式ひとつごとに「展開」「評価」をする処理系でフェイズの分離を有耶無耶にしている処理系だと区別を曖昧にしてもなんとかなるのかもしれないが……
それは実装方針のひとつとしてそういうのもありえる、可能というだけ。
コメント1件

172
デフォルトの名無しさん[sage]   投稿日:2015/07/23 03:19:31  ID:6c5WF/G8.net(2)
>171
>構文は第一級ではない。 (実行時に値として扱える存在ではない。)
なるほど、疑問氷解です。

173
デフォルトの名無しさん[sage]   投稿日:2015/07/28 17:18:38  ID:HAkHyXxd.net
.oO( The Little Prover を読んだ香具師がスレの流れを作ってくれる予感 )

174
デフォルトの名無しさん[sage]   投稿日:2015/07/29 02:05:40  ID:CRqVMe5R.net
なぜ自由なlispより不自由なjavascriptが流行ったのか

175
デフォルトの名無しさん[sage]   投稿日:2015/07/29 02:07:56  ID:c7scFQol.net
自由度なんてマニアしか求めてないから

176
デフォルトの名無しさん[sage]   投稿日:2015/07/29 08:09:17  ID:F/xNpz+P.net
ウェブブラウザから使えるのが lisp だったら流行ったんじゃないの?
とはいえそこに lisp が採用されない理由も結局は一緒か。

177
デフォルトの名無しさん[sage]   投稿日:2015/07/29 20:06:45  ID:amFWHOPf.net
IE4やNN4で実装されたスクリプト言語がLISP系だったら…

少なくともfirefoxのnoscriptアドオンは不要だったろうな

178
デフォルトの名無しさん[sage]   投稿日:2015/07/29 22:07:49  ID:Gvu0+gpo.net
逆に考えるんだ、
「lisp でWebブラウザを作ればいいや」
と考えるんだ

179
SCHEME餃子 ◆8X2XSCHEME [sage]   投稿日:2015/07/29 22:20:24  ID:w5hc2Qux.net
WebAssembly が一般的になれば Lisp にもワンチャンあるで

180
デフォルトの名無しさん[sage]   投稿日:2015/07/30 00:29:45  ID:5uamD/zW.net
Javaがダメ言語とあの時点で判明してればなあ。
当初の予定通りschemeが組み込まれてたに違いない。

181
デフォルトの名無しさん[sage]   投稿日:2015/07/30 00:35:22  ID:W1QWz47r.net
emacs で Webブラウジングが出来るんじゃ無かったか。

182
デフォルトの名無しさん[sage]   投稿日:2015/07/30 00:51:21  ID:bNQ7YEFA.net
技術系のドキュメントとかあまり凝った事してないものしかまともに見れんよ。

183
SCHEME餃子 ◆8X2XSCHEME [sage]   投稿日:2015/07/30 01:08:52  ID:txS92Tc7.net
Emacs に Webkit 載せたりしてるのもあったぞ。
Emacs 側から Webkit をどれくらい操作できるのかは知らんけど。

184
デフォルトの名無しさん[sage]   投稿日:2015/07/30 03:10:36  ID:qAED+lXR.net
ブラウザ競争っていかにCSSに意図通り対応してるかの勝負だし
サーバサイドならemacsでもjavaでも変わらん

185
デフォルトの名無しさん[sage]   投稿日:2015/07/30 22:45:29  ID:e7NCTD1Y.net
いや javascript が動かないと。

ああ、其処を lisp にするって話だったか。

186
デフォルトの名無しさん[sage]   投稿日:2015/07/30 22:47:36  ID:lQHnBAth.net
いまだに、javascript が scheme だということについて納得できない

187
デフォルトの名無しさん[sage]   投稿日:2015/07/31 01:38:43  ID:aJuGxMgm.net
第一級の継続も末尾呼び出しの最適化もないしねぇ

手続きが無条件でクロージャになるってのがまあ当時としては特徴的ではあったけども

188
デフォルトの名無しさん[sage]   投稿日:2015/07/31 15:13:29  ID:Dkg4afbG.net
CLみたいな余計な装飾子が無いところはschemeと考え方が近い
末尾最適化が標準のluaのがよりschemeに近い
継続は第一級にする必要ってあんのかな
使い所が難しいし言語に例外機構が備わってればいらないし
jsはライブラリ覚えるだけでもしんどい

189
デフォルトの名無しさん[sage]   投稿日:2015/08/01 07:34:04  ID:qWCT4wa1.net
今JSがコールバック地獄になってるからこそ継続がほしいんじゃん。フル継続じゃなくて限定継続でもいいから。
コメント1件

190
デフォルトの名無しさん[sage]   投稿日:2015/08/01 10:30:34  ID:c0YSrVc+.net
javascriptのように通信が頻繁に行われる環境で継続なんか入れたときに、例えば途中でブラウザを切ったときの継続がどうなってるのか考えるとワケ分からなくなる
schemeの継続ですら、資源を使いまくってるサーバが落ちたときにリソースのclose操作とかきちんと行われるのか不安になる

191
デフォルトの名無しさん[sage]   投稿日:2015/08/02 01:56:02  ID:MF9TQU9s.net
>189
jsはクロージャがあるからCPS方式で継続もどきは作れるんじゃないの
インスタンスが途切れちゃうなら継続使っても同じだし
コメント1件

192
デフォルトの名無しさん[]   投稿日:2015/08/03 18:40:37  ID:zmSfrGKJ.net
>191
CSP?

193
デフォルトの名無しさん[sage]   投稿日:2015/08/03 23:15:17  ID:TaloxJI9.net
継続渡しはCPS
セントラル警備保障はCSP

194
SCHEME餃子 ◆8X2XSCHEME [sage]   投稿日:2015/08/04 03:41:56  ID:T8IrycSA.net
JavaScript 処理系の Rhino は第一級継続を持ってる。 実在する以上、言語処理系レベルでは可能ってことだろ。
だけど、 Scheme 処理系でも外部のライブラリ (バインディングとか) を通過したところで継続が途切れてしまう制限を持っているものがあることからもわかるように、
継続が処理系の外の世界をまたぐのは難しいんだわ。
(※参考 Gauche のドキュメント http://practical-scheme.net/gauche/man/?l=jp&;p=call/cc )

JavaScript はアプリケーションに組込んで使うタイプの言語だから、当然、外の世界とのやり取りはあたりまえで、
そこに第一級継続を持ち込んでも途切れまくりであんまり役に立たんのじゃないか?

Gauche のドキュメントには限定継続の利用を勧めるようなことも書いてあるけど、
フル継続で途切れてしまうところを越えられるって意味ではなくて、
継続の範囲を明確に書けるから変なところをまたがないように注意しやすいって意味だと思う。

195
デフォルトの名無しさん[sage]   投稿日:2015/08/05 21:47:02  ID:PeKQT7A5.net
プログラミングGauche第2版マダー

196
デフォルトの名無しさん[sage]   投稿日:2015/08/05 22:50:49  ID:Vg22nrpW.net
そういやGNU標準言語?だかのはずのguileって使われてるんだろうか

197
デフォルトの名無しさん[sage]   投稿日:2015/08/06 08:01:11  ID:e5V4W5I+.net
待ちguile

198
デフォルトの名無しさん[sage]   投稿日:2015/08/06 22:25:04  ID:JI2t4Gst.net
GNU自体微妙な団体だし
そんな団体の標準になられても気持ち悪い

199
デフォルトの名無しさん[sage]   投稿日:2015/08/06 23:00:12  ID:lTjoYGg1.net
などとにわかschemerが申しております

200
デフォルトの名無しさん[sage]   投稿日:2015/08/06 23:14:11  ID:oTKkGTU7.net
guile って死んでると思ったけど、
結構頑張ってんよ

201
デフォルトの名無しさん[sage]   投稿日:2015/08/06 23:18:25  ID:FMimP/gx.net
unicodeサポートが微妙だったのはもう昔の話なのかな?なんかそれで使うのやめた事がある

202
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/08/07 01:10:45  ID:p6pvn2Md.net
アプリケーションに組込むなら小さい実装の方がいいよな。 Guile は豪華すぎると思う。
かといってリッチな実装というカテゴリだと Racket が強いから Guile は微妙ということに……。
Guile の強みって何?

203
デフォルトの名無しさん[sage]   投稿日:2015/08/07 01:54:27  ID:JnTUt1UO.net
javascriptでscheme組もうと思う
クロージャあるし継続なしで末尾再帰ぐらいなら結構楽勝かな

204
デフォルトの名無しさん[sage]   投稿日:2015/08/11 14:35:52  ID:3YusrhQW.net

205
デフォルトの名無しさん[sage]   投稿日:2015/08/11 16:13:30  ID:XEwrhpMG.net
>204
ワラタ

206
デフォルトの名無しさん[sage]   投稿日:2015/08/12 16:29:28  ID:lGV/dlKr.net
racket で raco を使って exe 化したらやたらサイズがデカいのが出来たんだけど、
もっと小さくできないものなん?

207
デフォルトの名無しさん[sage]   投稿日:2015/08/12 23:13:39  ID:G8qcToBK.net
自作処理系だと4KBセクタに収まるようにできる
512バイトブロック単位だが
けどschemeコアも含めたりすると結局数十KBにはなる
イメージまるごとexeにするタイプなら
参照切りまくれば小さくなるんじゃないの

208
デフォルトの名無しさん[sage]   投稿日:2015/08/16 22:04:26  ID:AZvBPnTZ.net
Biglooの生成するcコードは恐ろしくシンプル

209
デフォルトの名無しさん[sage]   投稿日:2015/08/22 09:25:17  ID:F2lrgiaF.net
そっかー。

210
デフォルトの名無しさん[]   投稿日:2015/08/25 18:08:56  ID:8WHoFpvi.net
初めまして。
早速ですが教えて下さい。
下のcall/ccの定義を解説できますか?

(define call/cc
(lambda (k f)
(f k (lambda (dummy-k result)
(k result)))))
コメント2件


211
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/09/05 21:46:57  ID:H6CjR/B1.net
例えば RnRS の call/cc を使ってこういうのを書いたとする。

(define (foo x)
(+ 3
(call/cc
(lambda(cc)
(if (> x 3) (cc (+ x 1)) x)))))

(display (foo 1)) (display (foo 5))

継続とは何かというのを綺麗に説明するのは難しいけど、
「残りの計算」という言葉で説明するのが一般的だね。
この例でいえば call/cc を呼出された後にするはずの計算、
すなわち「 (+ 3 」が変数 cc に入っている継続。
call/cc を呼出している外側全てと言い換えてもいいかもしれない。
(字句上の外側ではなくて実行時の外側。)
で、 >210 の言うところの call/cc (名前がまぎらわしいから
ここでは call/cc* と変える) は残りの計算を陽に引数として
渡すバージョンということだと思う。
最初の例を call/cc* で書き直すと

(define (foo* x)
(call/cc*
(lambda(x)(+ 3 x))
(lambda(cc f)
(if (> x 3) (cc (+ x 1)) (f cc x)))))

(display (foo* 1)) (display (foo* 5))

となる。
「(+ 3」の計算を (lambda(x)(+ 3 x)) というクロージャにして渡しているのが
わかるかな。
コメント1件

212
デフォルトの名無しさん[sage]   投稿日:2015/09/05 22:53:19  ID:6dKeptfV.net(2)
>(+ 3 (call/ccc
式中の副作用(call/cc)は評価順序不定の罠が
判ってると思うけど一応

213
デフォルトの名無しさん[sage]   投稿日:2015/09/05 23:07:18  ID:6dKeptfV.net(2)
ついでにこの式の評価順序ってR6RS以降で何か変わったのかなーと思って調べたら変わってないっぽいね
式を多用するlisp族ではついつい書いてしまうからどっちかに決めた方がいいと思うんだけどな
継続は一見副作用に見えなかったりするからややこしい
そういや評価順の問題ってトップレベルにもあったなあ

214
デフォルトの名無しさん[sage]   投稿日:2015/09/06 07:10:29  ID:dcG52JSd.net
横から初心者が何だけど、
>210の定義のdummy-kって別に無くてもよさそうなんだけど、何か必要な理由って有るのかな?
コメント1件

215
デフォルトの名無しさん[sage]   投稿日:2015/09/06 11:19:24  ID:EuTLUxQt.net(2)
>211
その例だと継続使っても使わなくても結果が変わらないので微妙。
fを適用する先も間違ってるし。

こんな感じでどうでしょう。

(define (foo x)
(call/cc
(lambda(cc)
(+ 3
(if (> x 3) (cc (+ x 1)) x)))))

(define (foo* x)
(call/cc*
(lambda (x) x)
(lambda (cc f)
(let ((ncc (lambda (x) (cc (+ 3 x)))))
(if (> x 3) (f ncc (+ x 1)) (ncc x))))))

216
デフォルトの名無しさん[sage]   投稿日:2015/09/06 11:26:17  ID:EuTLUxQt.net(2)
連投すまぬ。
引数の名前がきちんと対応していなかったのでfoo*を書きなおした。

(define (foo* x)
(call/cc*
(lambda (x) x)
(lambda (f cc)
(let ((g (lambda (x) (f (+ 3 x)))))
(if (> x 3) (cc g (+ x 1)) (g x))))))
コメント1件

217
デフォルトの名無しさん[sage]   投稿日:2015/09/06 17:16:35  ID:AiMOxC1Q.net
>216なら素直に理解できた
要するに、これは継続渡しのスタイルの中で使えるcall/ccってことか

あと、さっきの例をちょっといじって
(define (foo& x k)
(call/cc*
k
(lambda (f cc)
(let ((g (lambda (x) (f (+ 3 x)))))
(if (> x 3) (cc g x) (g x))))))

(foo& 1 (lambda (x) (display x)))
としたほうがわかりやすいかもしれない

218
デフォルトの名無しさん[sage]   投稿日:2015/09/28 20:36:46  ID:uH2NkENy.net
LFE(lisp flavor erlang)使ったことあるかたいますか?
どの辺が問題なんでしょうか。
バックエンドがerlangというのは大きいメリットだと考えるんですが。
コメント1件

219
デフォルトの名無しさん[sage]   投稿日:2015/09/29 00:25:57  ID:jGfSnnbY.net
>218
使われない理由っていうことでいうと、↓のような感じかな。
読み直したら全面的にdisってるが、おもちゃとしては面白いと思ってる

・開発リソースが少ないのでおもちゃの域を出ない
特に、Common LispもしくはClojureを置き換えるほどのライブラリ・
成熟度・勢いは無い。

・そんなに速くない

・Erlang/BEAM自体の需要が少ない
Erlangスレでも書いたことがあるんだが、開発の現場でErlangを本当に必要とする
場面というのは少ない。良くも悪くもフォーカスを絞った言語だから。
エラー処理が楽とかいう人も多いが、乗り換えるほど大きなメリットでは無い
また、現実問題として、システム全部をBEAM上に載せる必要は無い。
一部だけErlangで書けば良いし、そのために
微妙な成熟度の微妙なLisp方言を入れる必要性ってあんまり感じられない

なお、Elixirで騒いでいる人たちも、Erlang系だからってよりはRubyっぽい
関数型言語っていう表面的な特徴で一時的に騒いでいる人の方が多い

・名前がダサい。これは馬鹿にできない
コメント1件

220
デフォルトの名無しさん[sage]   投稿日:2015/09/29 06:19:23  ID:nAejDDAX.net
>・そんなに速くない
これはBEAM特有の問題なんだよね、数値計算がちょっとでもはいるととても遅い
非同期IO処理だけさせるような所だとElixir含めてErlang系はものすごく便利だけど読める人が少ないし
コメント1件

221
217[sage]   投稿日:2015/09/30 12:49:12  ID:dQB3jeSs.net
>219 さん、
>220 さん、
ありがとうございました。

Common Lispのライブラリが使えれば状況良くなるのかなぁ
※Lispはこれから勉強するのでどの程度違うものかは判っていなくて言っています。

222
デフォルトの名無しさん[sage]   投稿日:2015/10/06 06:05:05  ID:fg1OrsOi.net
haskellのlhs2texみたいなのって
LispやSchemeにはないの?

223
デフォルトの名無しさん[sage]   投稿日:2015/10/11 20:09:11  ID:03dbVZHf.net(2)
あかんなぁ
俺、馬鹿になってきた
年ってやつかなぁ
Common Lisp始めたけど、あれこれの関数名をすぐ忘れる。
駿馬も老いては駄馬なんとかか

224
デフォルトの名無しさん[sage]   投稿日:2015/10/11 20:09:38  ID:03dbVZHf.net(2)
因みにことし還暦な
コメント1件

225
デフォルトの名無しさん[sage]   投稿日:2015/10/12 12:06:44  ID:traP+X+b.net
>224
不惑や知命でもぼける人はぼけちゃうからねぇ

226
デフォルトの名無しさん[sage]   投稿日:2015/10/13 07:25:53  ID:g15eXpvx.net
Schemeでsyntax-case使うとき、マッチングの第一要素にkって名前をよく見るし使うけどこのネーミングになんか由来とか理由とかあります?
なんで?って聞かれて答えられないんですが

227
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/10/13 08:36:38  ID:4fZWo+Bs.net(3)
ソースがあるわけじゃないが自分は keyword の k だと思ってた。
仕様の中にある例でも k 使ってるからほとんどの人はそれに倣ってるだけだろうけど。

228
デフォルトの名無しさん[sage]   投稿日:2015/10/13 09:30:22  ID:3mL35rpK.net
i と j じゃ整数の印象が強いんで、次の k を使ってるだけかと思った

229
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/10/13 10:41:06  ID:4fZWo+Bs.net(3)
このあたりの例で使ってる i はたぶん identifier の i じゃないかと思う。
http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-13.html#node_sec_12.7

t は疑問の余地なく temporary だな。 p は pattern で e は expression ってところか。
コメント1件

230
デフォルトの名無しさん[sage]   投稿日:2015/10/13 20:14:54  ID:gIZRbrc0.net
>229
scheme限定のイディオムなんかね
clojureだと
(defn hoge [coll] (brabrabra))
coll(collection)をわたすんだぞーってイディオムになってるみたいな?

231
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/10/13 21:10:40  ID:4fZWo+Bs.net(3)
パターン変数には全部頭に ? を付けるとかいう流儀もあるし、
そんなに確立したものではないと思うけどね。

232
デフォルトの名無しさん[sage]   投稿日:2015/10/23 16:08:32  ID:vFqEchXB.net(2)
マクロの空をつらぬいて

233
デフォルトの名無しさん[sage]   投稿日:2015/10/23 18:13:51  ID:vFqEchXB.net(2)
継続にkを使う人達もいる
コメント1件

234
デフォルトの名無しさん[sage]   投稿日:2015/10/23 19:54:46  ID:PxOWJO4j.net
>233
constantな値にkFoo,kBarってつける習慣もあるからcontinuationにkプレフィックスはそんなに違和感持たないなぁ
class指向な処理系で classって名前使えないからClass klass = someObject.class って書くようなものかと思うのであるよ。

;;; 実は歌の続き?としばらく悩んだ

235
デフォルトの名無しさん[sage]   投稿日:2015/11/01 09:01:12  ID:FL14q5P6.net
理解重視でオレオレlisp処理系をhaskellで書いててこれを改良しようとしてます
環境は[(名前,値)]というわかりやすい実装でラムダ式本体部を引用するとこんなのです
let env' = (zip param args) ++ closure ++ env in
last $ map (eval env') body
これって開発言語のスタックを使った実装になりますよね?
このコードはapplyの一部で、evalとapplyの相互再起の中の1コマなのですが
よく末尾再帰とかいいますがああいうのはどうやって判定するのですか?
コメント1件

236
デフォルトの名無しさん[sage]   投稿日:2015/11/06 12:34:46  ID:R0CwBCQp.net
そろそろ何か書き込みないとスレが落ちる?

237
デフォルトの名無しさん[]   投稿日:2015/11/06 15:41:26  ID:vgByJdCj.net
それは大変だ


238
デフォルトの名無しさん[sage]   投稿日:2015/11/06 19:56:44  ID:FxVaFUyP.net

239
デフォルトの名無しさん[sage]   投稿日:2015/11/06 22:19:04  ID:dYcAh74V.net
schemeはいい線行ってたと思う
不幸なのはほとんどの機能がjavascriptで足りてしまったこと
大多数の人は末尾再帰すらないjavascriptでいいと言う
繰り返し処理と言えばループしか脳から出てこないんだから
再帰はおろか末尾再帰なんか知らないだろう
再帰処理もスタック構造のコンテナとループで同じことができるんだから
実際知らなくても困らない

240
デフォルトの名無しさん[sage]   投稿日:2015/11/07 00:27:31  ID:iMLfUYTc.net
JavaScriptの末尾再帰はもうすぐ実装されるし高階関数もずいぶん前からあるが

241
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/11/07 01:25:53  ID:OLp/9/w8.net
WebAssembly が一般的になったら JavaScript の勢力は (クライアントサイドでは) 過去の資産を除いてフェードアウトしそう。
そのときこそ Scheme の復権が狙えるかもしれないぞ。

242
デフォルトの名無しさん[sage]   投稿日:2015/11/07 11:42:14  ID:Lam93S6q.net(4)
>235
末尾コンテキストを判定する
末尾コンテキストの実行時はフレームで確保したスタックは使われない
よってその直前で削除してしまえるから関数呼び出し等でもループに置き換えられる
(define a (lambda (x y) (b x y) (a x y)))
の最後の(a x y)は末尾コンテキスト
最後のa呼び出し前のx yの引数の積み上げが完了した時点でaのフレームは削除できる
削除した後aを呼び出すとまた同じフレームレベルでaの処理が開始する
コメント1件

243
デフォルトの名無しさん[sage]   投稿日:2015/11/07 12:03:06  ID:Lam93S6q.net(4)
末尾コンテキストの伝播
tを末尾コンテキストとする
(lambda ()・・・t)
(if test t t)
(begin ・・・t)
(lambda()・・・・t))
組み合わせると次のように末尾コンテキストが伝播する
(lambda ()・・(begin ・・・×)・・・(begin ・・・(if test t t)))
×は親が末尾コンテキストでの実行でなければ子も末尾コンテキストにはならない事を示す

244
デフォルトの名無しさん[sage]   投稿日:2015/11/07 12:15:41  ID:Lam93S6q.net(4)
関数適用の末尾コンテキスト
上で(a x y)を末尾コンテキストと書いたが
より正確にはtの呼び出し時点が末尾コンテキストとなる
表記的には(t 引数)となるがt自身がいつ評価されるかはschemeでは規定されていない
よって処理系の都合順にt x yを評価した後、tの呼び出し前に末尾コンテキスト処理(フレーム削除等)が発生する

245
デフォルトの名無しさん[sage]   投稿日:2015/11/07 12:37:03  ID:Lam93S6q.net(4)
末尾コンテキストが移動する構文
(set! var exp)
(while test body)
set!はvarがフレーム内変数ならexpの評価、フレーム外変数ならvarをexpの結果で破壊した時点が末尾コンテキストになる
whileはtestで偽になった時点かbody内からbreak等で抜けた時点だが、
そもそもschemeでのループ構文は末尾再帰の構文糖衣として定義されることが多く、この限りではない

継続呼び出しの末尾コンテキスト
継続呼び出しは継続を保存した位置に移動すると共に環境も入れ替わるため
末尾コンテキストの対象外となる(考慮しなくて良い)

246
デフォルトの名無しさん[sage]   投稿日:2015/11/09 10:47:59  ID:zOMtLBxM.net
http://tech.grammarly.com/blog/posts/Running-Lisp-in-Production.html
割と知られている英文法チェッカーがCommon Lispだった

247
デフォルトの名無しさん[sage]   投稿日:2015/11/09 15:11:05  ID:nI2VMo2q.net
ドクじゃん

248
234[sage]   投稿日:2015/11/09 20:47:58  ID:uBSPw/8w.net
>242-245 素晴らしいIDですね
末尾コンテキストの伝播については理解できたと思います
ifは末尾コンテキストが2つに増えるので
もしif文が末尾に連なってたら末尾コンテキストがたくさんになるわけですね
これを使って末尾コンテキスト判定をするis-tailrecみたいなのを作れば
考え方として、関数fの定義でもしis-tailrecが真となる箇所以外でfが
呼ばれていれば末尾再帰でないと判定すればいいですよね
set!の部分がちょっとまだ理解できてませんが考えてみます

249
デフォルトの名無しさん[sagete]   投稿日:2015/11/10 21:05:11  ID:HCVWy2wR.net
>238
紹介サンクス
かなり読みやすくなってる気がする

250
デフォルトの名無しさん[sage]   投稿日:2015/11/11 14:40:05  ID:oQgebZ0I.net
Haskellのclassとinstanceに相当する型演算をSchemeで擬似的に作る方法ないのだろうか

251
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/11/11 17:14:51  ID:ECN7vnC1.net
Picrin にはそんな感じのオブジェクトシステムが入ってるよ。
作者による紹介記事がある。

http://wasabiz.hatenablog.com/entry/2015/01/12/170025

クラスじゃなくてプロトコルという名前になってるけど、やってることはほぼ同じ。

実装はこのあたり。 意外に小さい。

https://github.com/picrin-scheme/picrin/blob/master/contrib/50.c...
https://github.com/picrin-scheme/picrin/blob/master/contrib/80.p...

252
デフォルトの名無しさん[sage]   投稿日:2015/11/11 18:24:03  ID:hvXzryLw.net
ピクミンかと思ったらピクリン

253
デフォルトの名無しさん[sage]   投稿日:2015/11/17 21:41:10  ID:j2zk6VQe.net

254
デフォルトの名無しさん[sage]   投稿日:2015/11/18 02:32:25  ID:3JxuKBB4.net
うーん、、、、

255
デフォルトの名無しさん[sage]   投稿日:2015/11/18 06:45:07  ID:D8xoadz9.net
>253
何だこれ。晒してるつもりなのか?
こんなことすべきじゃない。

256
デフォルトの名無しさん[sage]   投稿日:2015/11/18 13:46:02  ID:mDzX1/ZQ.net
>253
これ読んでいるだけでも、すごく勉強になるよな

257
デフォルトの名無しさん[sage]   投稿日:2015/11/19 00:09:30  ID:d0YkbYhs.net
なるよな?
同意を求めないで欲しい
気持ち悪いbot作ったなーとしか…

258
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/11/19 00:38:47  ID:cuUnetrq.net(2)
SICP は専門書なわけで、どこの 140 文字を抜き出したって勉強になるってほどの情報量ないよ。

259
デフォルトの名無しさん[]   投稿日:2015/11/19 00:46:43  ID:dXEAV4H+.net(2)
情報量うんぬん以前に
何言ってんのかわからない
日本語なのか
これは

260
デフォルトの名無しさん[]   投稿日:2015/11/19 00:51:29  ID:dXEAV4H+.net(2)
ワードサラダにしか見えん

261
デフォルトの名無しさん[sage]   投稿日:2015/11/19 01:04:54  ID:H4K8uZul.net
変な翻訳を抜き出して笑うためのbotだと思うんですけど
SICPで翻訳と言えば例の翻訳炎上のはてブ勢の気持ち悪いこと気持ち悪いこと
コメント2件

262
デフォルトの名無しさん[]   投稿日:2015/11/19 02:17:36  ID:sAMKa/4u.net
アスぺの人、和田訳を執拗に擁護するのはなんなんだろうな
専門知識で足りない英語力を補っているから、minghai訳よりはマシって程度なのに

263
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/11/19 03:23:10  ID:cuUnetrq.net(2)
>261
笑うためってのは言い過ぎだと思うけど、まあ、余興だよな。

264
デフォルトの名無しさん[sage]   投稿日:2015/11/20 01:28:32  ID:sUCS+w9M.net
和田訳こそ英文が読めなくて、日本語を適当にでっちあげた
真鍋のいうところの腐臭のする糞訳なのに、
どういうわけか擁護するんだよな

265
デフォルトの名無しさん[sage]   投稿日:2015/11/20 21:27:40  ID:ph+B6Bvv.net
擁護とか一体何と戦ってるんだこのおっさん

266
デフォルトの名無しさん[sage]   投稿日:2015/11/20 22:14:38  ID:qdgYLPrR.net
照り輝くbotはもともと糞訳をまとめたおもしろbotだろ
そもそも照り輝く自体相当前からネタにされてるし

267
デフォルトの名無しさん[sage]   投稿日:2015/11/21 00:58:11  ID:ACMxKEDN.net
糞約とはいえ他人の著作物云々の問題はクリアしてるのか?

268
デフォルトの名無しさん[sage]   投稿日:2015/11/21 01:23:42  ID:ksFSpKOf.net
SICPを糞訳と言うと、おかしな連中が絡んできて面倒だったけど
これからはこれ貼るだけですむから楽でいいわ
https://twitter.com/illmnt_SICP_ja

269
デフォルトの名無しさん[sage]   投稿日:2015/11/21 02:17:10  ID:kXonXFHs.net
>261
はてブ気持ち悪いのだけ一貫してて主張がコロコロ変わってて面白い
主張は変わってないのに同じ人が擁護したと思ったら次の記事には叩いてんのな

270
デフォルトの名無しさん[sage]   投稿日:2015/11/21 03:16:47  ID://2/HV1n.net
推奨NGワード: illmnt


271
デフォルトの名無しさん[sage]   投稿日:2015/11/21 04:49:29  ID:pdN059iT.net(2)
機械翻訳みたいな変な訳ばっかり
こういうのダメ出しするのも出版社の仕事だろ
アメリカの教科書はリーダブルじゃなきゃならないと聞くが
悪文で書いた教科書なんてのはそれこそ日本の悪文化だよ
ましてMITの教科書を改悪、悪文化するのはおかしいゾ

272
デフォルトの名無しさん[sage]   投稿日:2015/11/21 04:50:19  ID:pdN059iT.net(2)
まして、はおかしいか。俺も悪文化。

273
デフォルトの名無しさん[sage]   投稿日:2015/11/21 09:08:25  ID:bRToh1Ye.net

274
デフォルトの名無しさん[sage]   投稿日:2015/11/28 18:52:48  ID:D0YQLzhL.net
プログラミングGauche尼で売り切れてオライリーが入荷待ちなんだけど
絶版?第2版?

275
デフォルトの名無しさん[sage]   投稿日:2015/12/02 00:31:49  ID:amR8vvu9.net
>214
ラムダ式返したい

276
デフォルトの名無しさん[sage]   投稿日:2015/12/15 02:43:12  ID:SCkT4Wmk.net
本当はLisp使いたいのに急ぎだとpythonとかbashで使い捨てスクリプトを書いてしまう

277
デフォルトの名無しさん[sage]   投稿日:2015/12/15 02:54:48  ID:RaTSkkL3.net
そうか。

278
デフォルトの名無しさん[]   投稿日:2015/12/15 12:22:58  ID:HzjVt2sa.net
それで良い。

279
デフォルトの名無しさん[sage]   投稿日:2015/12/16 10:19:05  ID:7XnugsYC.net
(定義 (長さ リスト)
 (もし (空? リスト)
  0
  (加算 1 (長さ (残余 リスト)))))

280
デフォルトの名無しさん[sage]   投稿日:2015/12/16 13:19:26  ID:RBWQyPz5.net
(定義 (右から畳み込み リスト 乗算 単位元)
(もし (空? リスト) 単位元
(乗算 (車 リスト) (右から畳み込み (残余 リスト) 乗算 単位元))))

281
デフォルトの名無しさん[sage]   投稿日:2015/12/16 13:30:51  ID:7BuiFt2H.net
「車」…w

282
デフォルトの名無しさん[sage]   投稿日:2015/12/16 14:27:37  ID:V4z/b3Ey.net
(管 リスト)

283
デフォルトの名無しさん[sage]   投稿日:2015/12/17 08:55:39  ID:hUsjEVq7.net
Schemeを勉強しだす→「なんてシンプルかつエレガントなんだ!これさえあれば何でもできそうだ!」
Schemeで何か作ろうとしだす→「なんて面倒なんだ!CommonLispみたいに統一してくれよ!」

「R{5,6,7}RS準拠だぞ」
「けどここは各実装で好きにしていいぞ」
「皆自分でSchemeを作るんだぞ」

284
デフォルトの名無しさん[sage]   投稿日:2015/12/17 19:15:09  ID:WdhrFOHs.net
Scheme は「俺自身が Scheme になる事だ」が奥義だから

285
デフォルトの名無しさん[sage]   投稿日:2015/12/17 23:13:43  ID:kltDf5Nv.net
(もしもし? もしもし? ただいま留守にしております お掛けになった電話番号は)

286
デフォルトの名無しさん[sage]   投稿日:2015/12/18 00:12:22  ID:OqK6hc4t.net(2)
> 俺自身がscheme
それは違うが

287
デフォルトの名無しさん[sage]   投稿日:2015/12/18 02:10:52  ID:FhfWj/9P.net
真の Scheme は世界で俺だけだもの

288
デフォルトの名無しさん[sage]   投稿日:2015/12/18 02:18:32  ID:OqK6hc4t.net(2)
「俺の母語はschemeだぞい」とかいうなら分かるんだけど。
俺がschemeってどういうことよ?もっと具体的に。

289
デフォルトの名無しさん[sage]   投稿日:2015/12/18 06:05:40  ID:dzRG5p0J.net
俺がガンダムだ! 的な。

290
デフォルトの名無しさん[sage]   投稿日:2015/12/18 11:39:18  ID:8LE7CEy/.net
今度生まれる時は側溝に生まれたい的な

291
デフォルトの名無しさん[sage]   投稿日:2015/12/18 12:10:58  ID:eorQTm9j.net
マジレスするとオサレマンガの台詞

292
デフォルトの名無しさん[sage]   投稿日:2015/12/18 21:41:51  ID:px/TD8Yb.net
> 俺自身がscheme
これは自分にはかなり納得がいく言い方だった。
自分はC++が主なんだけど、schemeを学んでから、その知見を取り入れて、
C++のスキルが顕著に上がったと思う。
自分の書くコードの質も、先輩の書いたコードに対する読解力も。
なんというか、schemeで考えてC++で書くようになったというか。

293
デフォルトの名無しさん[sage]   投稿日:2015/12/20 20:34:16  ID:jgTVJogO.net(3)
lispの入門書って何がおすすめなん?Land of Lisp?The little schemer(scheme手習い)?
コメント4件

294
デフォルトの名無しさん[sage]   投稿日:2015/12/20 20:39:06  ID:jgTVJogO.net(3)
>293
(質問スレに書くべきだったけど許して)

295
デフォルトの名無しさん[sage]   投稿日:2015/12/20 21:58:56  ID:l3TBRkh9.net
Realm of Racketの翻訳って誰かやってんのかな?shiroさん?

296
デフォルトの名無しさん[sage]   投稿日:2015/12/20 22:10:47  ID:/efUAUTJ.net
>293
漠然とした本なんかより処理系のソースコード
かといってgcc級の糞でかいの読めっても無理だろうから規模がちっこいやつね
ついでにその処理系で動作確認もできるし
コメント1件

297
デフォルトの名無しさん[sage]   投稿日:2015/12/20 22:36:57  ID:jgTVJogO.net(3)
>296
ありがとうございます

298
デフォルトの名無しさん[sage]   投稿日:2015/12/20 22:38:45  ID:AMk4fv31.net
>293
プログラミングGauche

299
デフォルトの名無しさん[sage]   投稿日:2015/12/21 02:08:17  ID:4Mx5VRPH.net
>293
前者は読んでておもしろい、後者はまじめに勉強にはなる
お金あるならどっちも読むと良いよ

あとは上の方に書かれてるけどソースコードはとっても勉強になるけどこれは結構しんどいと思うな(割と時間かかるから)。
コメント1件

300
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2015/12/21 04:18:41  ID:hvoGiEsW.net
基本的な考え方くらいはおさえとかないとソースから意図を読むのは難しいと思うよ。
コメント1件

301
デフォルトの名無しさん[sage]   投稿日:2015/12/21 06:40:36  ID:aas71e/k.net
>299
>300
ありがとうございます、やはりソースをそのまま読むのは辛いですよね…

302
デフォルトの名無しさん[sage]   投稿日:2015/12/21 23:04:52  ID:yR7SLlOg.net
http://www.amazon.co.jp/dp/B018KXY55Y/
「LISPでわかる!プログラミング・自由に生きるための英語学習法」
何この…何これ?
kindleでサンプル見たんだけど、これで理解できる初学者いるの?
コメント1件

303
デフォルトの名無しさん[]   投稿日:2015/12/22 00:34:26  ID:qJHZYnmU.net
一人称が予な著者らしい
https://twitter.com/tadachika_j

304
デフォルトの名無しさん[sage]   投稿日:2015/12/22 04:34:23  ID:3g+tKjgA.net
個人出版のデジタル本で1200円は高いな。
50円なら買ったかもしれないのに。

305
デフォルトの名無しさん[sage]   投稿日:2015/12/22 16:23:19  ID:FIUTNb/j.net
>302
Kindle出版のオナニー書籍にしか見えないんだけど内容どうだった?(prime会員だからタダでよめるんだけどなんか触るのイヤな感じ)
コメント1件

306
デフォルトの名無しさん[sage]   投稿日:2015/12/23 14:03:22  ID:f3OkJGUt.net
miniKanrenの日本語解説本
誰も書かないなら個人出版で出しちゃうぞ

307
デフォルトの名無しさん[sage]   投稿日:2015/12/23 14:48:16  ID:7PvFiWtw.net
>305
サンプルの範囲では
「○○が出来ます」+コードサンプル
で1
それが延々続いてた
目次見るとそこそこ解説もコードも書かなきゃいけなさそうなことも取り扱っているはずなんだが

308
デフォルトの名無しさん[sage]   投稿日:2015/12/27 21:55:10  ID:3xQA5Ryh.net(2)
自分もサンプル版を読んでみたけど、言語の解説という雰囲気ではなく、自分の勉強した内容を箇条書きっぽく書いてあるように感じた。
サンプルは最初の方しか読めないから、LISPそのものの説明のところだけしか読めてないけど、後半の応用部分は面白くなる可能性はあるかもしれないな。

英語学習法の部分については、
http://primitive-lisp.blog.so-net.ne.jp
独学でこのくらい書けるようになるのであればスゴイと思うし、ブログを日本から発信するのには十分かと。
でもネイティブの人はカタコトのように感じるレベル。

309
307[sage]   投稿日:2015/12/27 21:56:57  ID:3xQA5Ryh.net(2)
英語学習法の部分はサンプルに入ってないので、自分テキトーなことを言ってるぜ!?

310
デフォルトの名無しさん[sage]   投稿日:2015/12/28 08:21:49  ID:7tFHoB70.net
Lispの別スレ出来てる

311
デフォルトの名無しさん[sage]   投稿日:2015/12/28 09:49:46  ID:1a7EtF6d.net
健全でない言葉が含まれているため表示しません 内容を確認する

312
デフォルトの名無しさん[sage]   投稿日:2015/12/31 23:31:36  ID:qS77pLNQ.net
Deep Learningの人達はpythonフレームワークを乱立させてるけどlispのマクロ下位互換マクロ作ってるだけなのにいつ気がつくんだろ。lisp使えばフレームワークとかそもそも必要ないのに

313
デフォルトの名無しさん[sage]   投稿日:2016/01/01 03:49:37  ID:xJBQ4MUG.net
フレームワークを乱立させやすい言語は流行る
Lispもそうだった

314
デフォルトの名無しさん[sage]   投稿日:2016/01/01 16:20:50  ID:0qf9SqH8.net
え、あ、うん

315
デフォルトの名無しさん[sage]   投稿日:2016/01/04 02:33:01  ID:cqU/6Lnz.net
Theanoとかlispで書き直したらかなりスッキリするのに
ごちゃごちゃしすぎ

316
デフォルトの名無しさん[sage]   投稿日:2016/01/04 17:11:28  ID:Bo8UyxL4.net
他人の書いたpythonコードを解析しないといけなくなって
「めんどくさい
何でLispで書かないんだ
解析させられる俺の身にもなれ
Lispなら長さが半分以下の読みやすいコードになるのに」
という感情がとても高まってきている

317
デフォルトの名無しさん[]   投稿日:2016/01/05 12:25:36  ID:o0yppUdN.net
お前が書いたlispのコードの方がもっとひどいんだがw

318
デフォルトの名無しさん[sage]   投稿日:2016/01/06 02:03:24  ID:DSMnLqrW.net
windows内蔵言語のvbscriptでschemeモドキを作ろうと目論んでる
つってもちゃんとやるのはマクロと末尾再帰だけでね
variant型使ったリスト処理がどんだけ遅くなるか見ものだ

319
デフォルトの名無しさん[sage]   投稿日:2016/01/08 22:26:33  ID:V05Ed+eX.net
100Gぐらいのメモリーに入りきらないデータを扱う時にpythonではジェネレター式というのを使うけどschemeやlispではどういうふうにするの?

320
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/01/09 00:13:08  ID:5sGg2rIv.net
典型的なのはストリーム (srfi-41)
http://srfi.schemers.org/srfi-41/srfi-41.html

ジェネレータの形にする場合もある。
http://practical-scheme.net/gauche/man/?l=jp&;p=gauche.generator

Gauche だと遅延シーケンスがある。
でも、これは処理系自体に組み込みじゃないと後付けでは難しいので遅延リストに依存したコードは移植性に難があるかもしれない。
http://practical-scheme.net/gauche/man/?l=jp&;p=%E9%81%85%E5%BB%B6%E3%82%B7%E3%83%BC%E3%82%B1%E3%83%B3%E3%82%B9

単なるバイト列やテキストであればカスタムポートも使いやすいと思う。

321
デフォルトの名無しさん[sage]   投稿日:2016/01/14 11:57:12  ID:PerBWHT+.net
https://github.com/dherman/c.rkt
これでC言語のプログラムを自由に加工したりできるっぽいのだけど
ドキュメントらしきものがない
誰かexample usageみたいなものどこかにないか知りませんか?
使えればかなり便利そうなんだけど
コメント1件

322
デフォルトの名無しさん[sage]   投稿日:2016/01/14 13:17:40  ID:6Qr9td66.net
Racket はなんだか独自の世界で生きてるよね

323
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/01/14 17:10:36  ID:c+6p1wle.net
>321
拡張子が scrbl のファイルはドキュメントだぞ。
Scribble で html などに変換できるはず。

324
デフォルトの名無しさん[sage]   投稿日:2016/01/16 22:19:21  ID:80NpOkXH.net
Edi Weitzの新著の書評誰かplz.
コメント1件

325
デフォルトの名無しさん[sage]   投稿日:2016/01/19 19:19:06  ID:85OnXpOR.net

326
デフォルトの名無しさん[sage]   投稿日:2016/01/19 22:51:56  ID:GxT4J/Gp.net
>325
いや違うと思う。CLって多分思考(若しくは試行)ツールなんだと思うよ
俺が使いこなせないのは普段から抽象を扱ったりしてないから

327
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/01/26 01:38:54  ID:k1cf3USC.net

328
デフォルトの名無しさん[sage]   投稿日:2016/03/20 14:40:59  ID:B3NGK1ug.net(2)
schmeme 手習いを反復してやってます
(cond ((eq? a (car lat)) ....
で eq? が真を返すときの実行文の文法がわかりません

教科書では
(cond ((eq? a (car lat))(cdr lat))
となっていますが
(cond ((eq? a (car lat))(print "abc")(cdr lat))
と真の時の従属節に関数実行のS式を追加することはOKでしょうか?

目的はデバッグのため
処理系はgauche です,プログラミングgaucheを手元に置いていますがよく読めてません
よろしくお願いいたします

329
デフォルトの名無しさん[sage]   投稿日:2016/03/20 21:20:49  ID:8k7APoZN.net
beginすればいいんじゃね
コメント1件

330
デフォルトの名無しさん[sage]   投稿日:2016/03/20 21:41:03  ID:B3NGK1ug.net(2)
>329
if のときじゃなくて cond のときはどうでしょうか?
コメント1件

331
デフォルトの名無しさん[sage]   投稿日:2016/03/21 00:04:00  ID:4m5Wnyvm.net(2)
>330
condはifとbeginに置き換えられる
condをマクロとして実装してる処理系は多い
まず処理系のソースを見てごらんよ
(cond (test1 body1) (test2 body2) (else bodyn))は
(if test1 (begin body1) (if test2 (begin body2) (begin bodye)))
に一旦展開された後で項書き換えとかコンパイルとかされる
要するにcondのbody節は複文相当で最後の式の値が全体の式の値になる
構文が判らないレベルなら教科書は一旦捨てて処理系のソース読んだ方が早い

332
デフォルトの名無しさん[sage]   投稿日:2016/03/21 00:27:45  ID:4m5Wnyvm.net(2)
ちなみにschemeはマクロを除いて基本構文は5つしか必要ない
define lambda set! if beginだったかな?
でも厳密にはquote関係も数に入れると10個ぐらいかもしれない
それ以外は全て上の5構文を組み合わせたマクロとして定義できる
つまり上の5構文だけマスターしとけばよい

例えばletがマクロなら(let((var value)) 〜)は((lambda(var) 〜)value)
のように意味を全く違えずに置き換えられる
残りのマクロも同様に基本構文への展開形を連想できるようになれば
schemeの基本はマスターしたと思ってよい

ただし肝心のschemeのマクロの定義は手段が沢山あってカオスなので
schemeマクロの闇については自分で調べて下さい
gaucheなら大きく分けて2つだろうけど

333
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/03/21 02:54:24  ID:+baaFkVo.net
最近の Gauche には explicit renaming マクロ変換器が入ってるよ。

334
デフォルトの名無しさん[sage]   投稿日:2016/03/21 23:00:02  ID:b2VQ+ga6.net
ノートぱちょこん買い替える非業界人なんだけど、最近話題沸騰中の
LispとSchemeにちょっと興味があって。やっぱりマックにしたほうが
幸せになれるんでせうか?それとも、今までのぱちょこんをLinixに
したほうがいいのかな?
コメント1件

335
デフォルトの名無しさん[sage]   投稿日:2016/03/22 00:06:38  ID:RD0Fka3a.net
割とどうでもいい

336
デフォルトの名無しさん[sage]   投稿日:2016/03/22 10:26:28  ID:R/0zYJ9m.net
マックにArchLinux入れろ

337
デフォルトの名無しさん[sage]   投稿日:2016/03/22 13:25:51  ID:YJW8F40f.net
>334
LispとSchemeで遊びたいならWindowsでもMacでも好きな方買って大丈夫
WindowsならWindowsに適したものが、MacだとUnix処理系から普通にって感じで入れられるよ。

338
デフォルトの名無しさん[]   投稿日:2016/03/22 13:35:28  ID:dJvZYtfq.net
最近どこで話題沸騰中なんだ?

339
デフォルトの名無しさん[sage]   投稿日:2016/03/22 13:36:45  ID:dBsj80+9.net
Windowsでコーディングとか正気か

340
デフォルトの名無しさん[sage]   投稿日:2016/03/22 14:50:32  ID:mpnhn3sE.net
Gauche で OpenGL 使うときは Windows の方がよい

341
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/03/22 18:32:27  ID:0IAY/SZb.net
メモリを多めに積んだやつに VMware なり Virtual PC なりの仮想化ソフトを入れて使い分ければいいよ。

342
デフォルトの名無しさん[sage]   投稿日:2016/03/22 20:45:35  ID:58hJQcjT.net
レスありがとうございます。質問者です。
やっぱりマックがいいという意見が多いみたいですね。
そろそろ新型出るという噂もあるようなので様子見て買ってみたいです。
LinuxはArchってのがいいんですかね?
昔のスラックウェアみたいなかんじなのかな。古いPCでも遊べそうですね。

343
デフォルトの名無しさん[sage]   投稿日:2016/03/22 21:21:52  ID:+NAfQbj2.net
・・・!?

344
デフォルトの名無しさん[sage]   投稿日:2016/03/23 01:26:34  ID:wTacfG6W.net
Lispで書かれた対話botか?!


345
デフォルトの名無しさん[sage]   投稿日:2016/03/24 16:51:59  ID:l5cXeIqY.net(2)
はじめてのLisp関数型プログラミング――ラムダ計算からリファクタリングまで一気にわかる (Software Design plus) 五味 弘
ていう本が出てるけど、これはISLispなの?CL?
コメント1件

346
デフォルトの名無しさん[sage]   投稿日:2016/03/24 17:29:50  ID:swZqoyDh.net
>345に限らず本スレの皆様への質問とお願い

> これはISLispなの?CL?

そもそもISLispを主たる対象とした日本語で書かれた本(言語仕様の詳解中心でもプログラミング中心でもどちらでも可)って
(個人や大学・研究所などのWebサイトにPDFファイル等の形でアップされているとかでなく印刷され商業的に通常の書店で
購入可能な形で販売されているという意味で)出版されているのですか?

日本語でLispの本というとSchemeかCLかしか存在しない(英語圏でも状況は変わらない)と個人的には思っていたのですが?
日本語に限らず英語でも構わないのでISLispを主題とした書籍をご存知でしたら教えて下さい

347
デフォルトの名無しさん[sage]   投稿日:2016/03/24 18:12:32  ID:l5cXeIqY.net(2)
ISLisp は、Lisp言語のISO標準であり、1997年にISO規格が制定されました。
ISLispは、業界標準となっていたCommon Lisp の言語仕様の巨大さに対して、
処理系の効率と学習・利用の容易さを向上するために, Common Lispを継承
しつつ EuLisp, Le Lisp, Scheme を参考としてコンパクトで一貫性のある
言語を目標に 開発されました。


とあるけど、そういえばISLispの本って見たことないかも。

348
デフォルトの名無しさん[sage]   投稿日:2016/03/24 18:48:59  ID:kQfTb2jB.net
ISLisp、惹句はいいんだど、いかんせんまともな実装が無いのがな。

349
デフォルトの名無しさん[sage]   投稿日:2016/03/24 23:12:30  ID:hVZ/HIjt.net
著者「関数型おしえます!」(お?どれどれ)
著者「Lisp最高です!」(あ、うん)
著者「…islispデス…」(は?!なにそれ?伊豆lisp?)

ブロガーA「良著なのでコードをschemeで書きなおしました」(いいねえ)
ブロガーB「haskellでかきました」(うおおおおおおお!!!!!)

という反応になるよね。一般的には。
common lispかschemeで書き直したものをHPにアップすべきだと思う。

350
デフォルトの名無しさん[sage]   投稿日:2016/03/25 01:17:44  ID:FCMJUdPN.net
せめて伊豆用slimeぐらい用意しないと女子高生には読んでもらえないと思うんだ

351
デフォルトの名無しさん[sage]   投稿日:2016/03/25 01:47:25  ID:U5kXnQYj.net
はじめてのLisp関数型プログラミング、昨日買ったばかりなんだけど
ハズレ感が半端ない

352
デフォルトの名無しさん[sage]   投稿日:2016/03/25 03:50:58  ID:Ah1QRPII.net
で、ISLispなんですか?

353
デフォルトの名無しさん[sage]   投稿日:2016/03/25 15:57:20  ID:NttqmT06.net
ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ

354
デフォルトの名無しさん[sage]   投稿日:2016/03/27 18:34:21  ID:0WFKXpdM.net(3)
サンプルプログラムダウンロードしてみればわかるのでは。

355
デフォルトの名無しさん[sage]   投稿日:2016/03/27 18:46:04  ID:0WFKXpdM.net(3)
ちなみに本の最初の方ではclisp導入してた。

356
デフォルトの名無しさん[sage]   投稿日:2016/03/27 18:57:11  ID:0WFKXpdM.net(3)
最近は、RHがclojureでうまく整理して、関数型含めてjsに広まる概念もあったりする。

逆の流れでいうとtransducerをhaskellで説明しようとしたけどちょっと足りない話。
https://reddit.com/r/haskell/comments/2cv6l4/clojures_transducer...

いまだとshapeless使えば静的な型検査通る可変な型扱うコレクションつくれるらしいので、上のやつみたいなのも着実に減っててるとは思う。
https://github.com/mandubian/scaledn

結局のところC#などにもそうやって取り込まれてるんじゃないかなと。
react(.js)もphpのテンプレートエンジンの置き換えからだそうで。

357
デフォルトの名無しさん[sage]   投稿日:2016/03/27 20:51:20  ID:0fEHBexO.net(2)
clojure が lisp方言として紹介されてると違和感がある
コメント1件

358
デフォルトの名無しさん[sage]   投稿日:2016/03/27 21:15:00  ID:/EOuwLtH.net(2)
>357
すまぬが理由がわからないのでkwsk解説を求む
コメント1件

359
デフォルトの名無しさん[sage]   投稿日:2016/03/27 21:24:01  ID:0fEHBexO.net(2)
健全でない言葉が含まれているため表示しません 内容を確認する
コメント3件

360
デフォルトの名無しさん[sage]   投稿日:2016/03/27 21:47:19  ID:/EOuwLtH.net(2)
>359
1の[]に関しちゃ大昔のスーパー閉じ括弧の存在を忘れてもらっては困ると思うしschemeの一部処理系も括弧の代わりに表現力の強調で括弧と同等に扱う等に導入してるからそこまで嫌わんでもと思う
2の部分は許容してもらうしかないんじゃないのかなぁ、まぁ否定はしない
3は1と2の事だよね?
4はLispというよりscheme好きの人なら反発するのとてもよくわかる。(jvm側の問題でもあるけど)

[]に関しちゃむしろ良く出来てると思うのだよね、3が許せないとどうしようもないけど。

リーダーマクロが普通に扱えないって言う意味で怒ってるのかと思ったのでちょっとびっくりしました。>359

361
デフォルトの名無しさん[sage]   投稿日:2016/03/30 01:19:52  ID:4Lxy3Poc.net
>359
> ・再帰末尾最適化に制限があるから

「再帰末尾」じゃなくて「末尾再帰」
元の英語は "tail recursion"

362
デフォルトの名無しさん[sage]   投稿日:2016/03/30 11:18:07  ID:7zl3Df3d.net
> ISLisp でggrと「ISLISPを使うべきでないたった1つの理由」がトップに並ぶ哀しさよ
これ根本的に間違えてんね.ユーザーいないし訂正する人もいないからこのページが消滅するとよいね
コメント1件

363
デフォルトの名無しさん[sage]   投稿日:2016/03/30 23:06:00  ID:7AHXAhDb.net
算法表現論ゲット
読みやすそうで少し安心

364
デフォルトの名無しさん[sage]   投稿日:2016/04/01 19:48:09  ID:3RzF36/0.net
>362
ちょうど、昨日、そのページ読んだばかりだった。
どこらへんが間違ってるの?

365
デフォルトの名無しさん[saga]   投稿日:2016/04/01 23:04:20  ID:cY7z571b.net
> 「実行時情報」が使えないということは,つまり,自分で定義した関数によるマクロの展開は行えない,ということです.
ココ。つまりこのページの主張全部
コメント1件

366
デフォルトの名無しさん[sage]   投稿日:2016/04/01 23:32:51  ID:TfQnAKLt.net
自分で定義した関数ってコンパイル時情報だよな?

367
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/02 04:27:14  ID:4LcO4yg1.net(3)
仕様から関連しそうな箇所を抜き出してみた。

> 4.8 定義演算子
> 定義形式によって定義される名前は、最上位有効範囲全体で使うことができるが、
> ISLISP テキスト単位における実行準備された最上位形式は、左から右に順に実行される。
> (略)
> (defun function-name lambdaform*) → <symbol>
>
> defun 形式は、 function-name を、関数名前空間の識別子として定義する。 function-name は、 (lambda
> lambda-list form*) と等価な関数オブジェクトに束縛される。

> 8. マクロ
> (略)
> マクロは、実行準備時に展開される。 いかなる実行時情報も使えない。使用可能な操作は、単純なデー
> タ構造の生成及び処理に制限される。すなわち、(端末への入出力のような) 環境への副作用、(記号の属
> 性リストの変更のような)外部的にアクセスできるデータ構造への副作用、及びマクロ形式自身への副作用
> を起こす操作は禁止する。

「4.6 評価モデル」も関連するけど長くなるので要約。
・ まず実行準備される
・ 実行準備が完了してから実行される
・ 実行準備完了時点でマクロ展開は終わっている
・ 実行準備のための処理は処理系依存

断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、
関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。
マクロ定義中にユーザー定義関数を使えないとする解釈を私も支持する。

ただ、全体を通して見ると副作用のない (プログラマが定義した関数を含む) 関数なら使えると想定しているっぽい雰囲気
はあるような気がする。

368
363[sage]   投稿日:2016/04/02 07:29:47  ID:A2SWmCys.net
>365,365,366

みなさん情報ありがとう。
ISLISPの日本語の仕様書はどこかなと思ったら、ここにあった。
http://www.jisc.go.jp/app/pager?id=1759608

ダウンロードしての閲覧禁止って。変な制限かけてるなぁ。
コメント1件

369
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/02 12:56:38  ID:4LcO4yg1.net(3)
>368
その URL では見れないよ。
URL 中の番号はあなたがアクセスしたときのセッション番号。
文書に固有の番号ではないので、パームリンクとして使えない。
ダウンロード禁止なだけじゃなく、たぶんサーチンエンジンのクロールも避けてるんだと思う。

370
デフォルトの名無しさん[sage]   投稿日:2016/04/02 13:43:35  ID:5+CR+tn7.net(4)
表示中オフラインにするとpdf中のjsに怒られたような記憶がある

371
デフォルトの名無しさん[sage]   投稿日:2016/04/02 15:42:26  ID:qu6I3qRA.net
普及させる気ないんだろうね

372
デフォルトの名無しさん[sage]   投稿日:2016/04/02 15:51:19  ID:5+CR+tn7.net(4)
買ってもらってるから、不公平って話だと思われる。
紙も実費で配れる財源あるといいんだけどね。

isoは販売になってるけど、他団体と共同でたまに公開されてるのがある。
草稿は公開してるところもある。

373
デフォルトの名無しさん[sage]   投稿日:2016/04/02 15:59:10  ID:5+CR+tn7.net(4)
ここで公開してたやつも草稿であって、ってリンク切れしてるのな。
http://www.open-std.org/JTC1/SC22/WG16/

http://www.islisp.com/jp/ISLisp-spec-jp.html

374
デフォルトの名無しさん[sage]   投稿日:2016/04/02 16:12:01  ID:5+CR+tn7.net(4)
isoやansiよりはjisの方がweb公開進んでるのだけど、
ecmaならecmascript(js)やclr(.net)みたいに公開されるのか。

375
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/02 17:41:26  ID:4LcO4yg1.net(3)
日本の法律だと JIS 規格に著作権が認められるかどうかははっきりしない。
総合的には認められないとする説の方が有力らしいんだが、
ISO は規格の著作権を主張してるからそれに加盟してる JISC も倣うしかなくて、
間をとって閲覧だけは無料という曖昧なところでぼやかしてるらしい。
コメント1件

376
デフォルトの名無しさん[sage]   投稿日:2016/04/02 18:45:29  ID:8BHbSdoO.net
工業規格は事実上の業界標準を後追いで規格化したのがほとんどだから、著作権どころか特許が生きてるのが混じってるので注意が必要

377
デフォルトの名無しさん[saga]   投稿日:2016/04/02 23:14:35  ID:1yEjd1gy.net
> 366
> 断言できるほどはっきりしてないけど、関数の定義名はマクロ展開時にも見えてて、関数名と関数オブジェクトを結びつけるのは「実行」だと解釈するのが妥当だと思う。

入手できたISLISP Working Draft 23.0をベースにして述べるが,その理屈だと備え付けの関数も展開には使えないように思える.
備え付け関数もユーザ定義の関数もpreparation for executionの間に実行可能という記述はない.
不可能という記述もない.(定義はしないとある)

仮にユーザ定義の関数は使えないとしよう.
ローカル関数 (flet labels)が,defmacro 内で使えないようには見えないのでこれで対処できる.
また,マクロは使用場所に先行して定義があることが必須とあるということは,ユーザ定義のマクロは使えるように見えるので,補助関数の所を補助マクロとするのも良いだろう.
CommonLispでもマクロ展開の補助でユーザー定義関数の利用は必須ではないし,利用するには評価フェイズを合せなくちゃならない問題がある.(ISLISPはこれを回避したのかもしれない)
これをもって「ISLISPを使うべきでない」とするのは誇張が過ぎるし,真に受ける者が出るとしたら害悪だろう.
コメント1件

378
デフォルトの名無しさん[sage]   投稿日:2016/04/03 00:12:06  ID:TLDHNLo8.net
そのページの害悪よりも、isLispの素晴らしさが伝わるようなページが
検索トップに来ないことの方がずっと問題だと思うけど

379
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/03 01:50:33  ID:KHszJMdl.net
>377
「実行準備」「実行」の繰り返しがどういう単位なのかっていう、フェイズの分離の仕方の問題だよな。
ひとつの式ごとなのかプログラム全体にわたってなのかでも解釈が違ってくる。

まあ最大限に安全な方向に見積もって未定義だと解釈しても、
それで ISLISP の有用性が全部失われるわけではないということには賛成できる。
あの記事はよくある誇張した煽り記事だろ。 センセーショナルなタイトルをつけてるだけで大したこと言ってない。
しょうもない記事が上位にきてしまう程度に ISLISP に関する記事が少ないってだけ。

380
デフォルトの名無しさん[sage]   投稿日:2016/04/05 19:32:30  ID:wN+QNOe5.net
ISLispを普及させるために必要な10のこと
・ISLispBoxを無償提供する
・ISLisp Hyperspecを無償提供する
・SICPをISLispで書き換える
・On ISLisp、Little ISLisper、Land of ISLispを出す
・ISLisp for Dummies、すごいISLisp楽しく学ぼう!も
・WhyのISLisp感動的ガイドを公開する

381
デフォルトの名無しさん[sage]   投稿日:2016/04/05 23:12:23  ID:XIj7GX7+.net
他の実装へのトランスレータがあれば普及させる必要はない

382
デフォルトの名無しさん[sage]   投稿日:2016/04/05 23:38:41  ID:qm4nZon8F
・良い実装
・無料
・商用利用に優しいライセンス
・寛容的なコミュニティ
・サクセスストーリー

上記があれば、ドキュメント、ライブラリ、ツールなどの問題は自然に解決するかと

383
デフォルトの名無しさん[sage]   投稿日:2016/04/07 01:17:53  ID:y6T+G0tp.net

384
デフォルトの名無しさん[sage]   投稿日:2016/04/07 02:51:00  ID:J/4BCUlz.net
>Lispを普及させるために必要なこと
括弧が少ない言語の方が好まれる傾向にある
よって括弧が一切存在しないLispが誕生すれば爆発的に普及するだろう

385
デフォルトの名無しさん[sage]   投稿日:2016/04/07 03:03:03  ID:69hNyYMv.net
今年のscheme workshopは日本
いつもwebdbfと重なって行けなかったが今年は行けそう


386
デフォルトの名無しさん[sage]   投稿日:2016/04/07 13:28:18  ID:bXWnnDCw.net
言語で使う括弧の量と、括弧打つのが面倒な場面の数ってあんま関係ないよね。

括弧使う言語を書いてるときに面倒なのは、今書いた式を引数にして別の関数を更に適用しようかとかなったときに、
後に閉じ括弧つけてカーソル前に戻して関数名書いて括弧つけて、ってやるときがほとんどなんだけど、
例: foo(x,y)_ → bar(_foo(x,y)) # "_"はそのときのカーソルの位置
Emacsなら一発で飛べる分、むしろLispの方が楽なときがある。

そういう意味だとOCamlの foo x y _ → foo x y |> bar_ は便利だった。

387
デフォルトの名無しさん[sage]   投稿日:2016/04/09 00:31:51  ID:V5jcD4gz.net
Lispが普及しないのはEmacsで開発するのが当たり前ってところでしょ?それじゃ新規は増えないよ。
コメント1件

388
デフォルトの名無しさん[sage]   投稿日:2016/04/09 01:09:17  ID:K2fjpu1X.net
それはいいんだよ
CLやscheme, Racketに比べてISLISPが普及してないのはもったいないよね
という話

389
デフォルトの名無しさん[sage]   投稿日:2016/04/09 07:59:30  ID:vy7ZgTpp.net
>387
F#はVisual Studioだけど普及してないし
コメント2件

390
デフォルトの名無しさん[sage]   投稿日:2016/04/09 12:25:09  ID:RLrf2DHR.net
>389
F#は好きな言語ではあるが、C#と比べるとVSの動作が重くてしんどいよ。
型推論が遅いのか構文解析が面倒なのか、自動でエラー箇所表示させると凄く反応が悪くなる。
FParsecとか関数型言語ならではの便利ライブラリ使うとより顕著に。

ISLispはロクな実装無いし真面目に使っている人がいないから、どこが便利でどこに課題があるかも分からんのがね。

391
デフォルトの名無しさん[sage]   投稿日:2016/04/10 00:55:16  ID:o+jF8W/p.net
>389
なら開発環境と言語の両方に魅力がないとダメってことじゃない?

392
デフォルトの名無しさん[sage]   投稿日:2016/04/10 01:04:07  ID:FW5ih/4i.net(3)
smalltalkは普及してないけど、objective-cは普及した
つまり、Lispを普及するには中間言語をcにして、、、
コメント1件

393
デフォルトの名無しさん[sage]   投稿日:2016/04/10 01:05:20  ID:FW5ih/4i.net(3)
そういえばsqueakがレイヤごとに言語変えるとかどっかでチラと読んだような気がする

394
デフォルトの名無しさん[sage]   投稿日:2016/04/10 09:59:42  ID:OHXqjM6F.net(3)
>392
Objective-Cは絶滅危惧種だったがジョブズのおかげで生き延びた

395
デフォルトの名無しさん[sage]   投稿日:2016/04/10 13:13:21  ID:FW5ih/4i.net(3)
最も愛されているプログラミング言語や技術

1. Rust(79.1%)
2. Swift(72.1%)
3. F#(70.7%)
4. Scala(69.4%)
5. Go(68.7%)

http://news.mynavi.jp/news/2016/04/07/062/

Most Loved Programming Languages Of 2016 ? Rust, Swift, F#, Scala, Go
http://fossbytes.com/loved-programming-languages-rust-swift-go/

だそうです
コメント1件

396
デフォルトの名無しさん[sage]   投稿日:2016/04/10 14:19:08  ID:OHXqjM6F.net(3)
>395
愛人にしても本妻には決してしたくない言語だね

397
デフォルトの名無しさん[sage]   投稿日:2016/04/10 15:37:29  ID:1G8jL9C/.net
Rustは好き。C/C++が引き受ける低レベルな領域に型システムの安全性と利便性を突っ込んでみたっていう発想は良い。

けど、コンパイル時間がコード量から予測しづらい(イテレータやジェネリクスを使ってると特に)のと、
莫大なライブラリを資産に持つC/C++と比べたときの実用性の差を考えると、
潤沢な計算資源があって、比較的優秀な人材が揃えられるところ向け。

Schemeのような、スタンドプレーの生産性を莫大に高める言語じゃあないと思う。

398
デフォルトの名無しさん[sage]   投稿日:2016/04/10 16:24:09  ID:GJqGP9+Q.net
俺もRust好きだな、ただObjective-Cみたいに言語のはらわたまで触れる(smalltalk由来の部分ね)緩さをもった言語も大好きなんだよな
あとはClojureが好き、これはWebアプリ書いてるとき限定だけど。

LispスレなのにLisp系がClojureとかでスマヌ

399
デフォルトの名無しさん[sage]   投稿日:2016/04/10 19:11:20  ID:bGdugtOr.net(2)
Lisp系言語のネックは言語実装じゃなくて実行環境だと思う
コメント1件

400
デフォルトの名無しさん[sage]   投稿日:2016/04/10 20:22:50  ID:OHXqjM6F.net(3)
>399
マルチプラットフォームでコンパイラで実行バイナリも吐けるし何が問題?
コメント1件

401
デフォルトの名無しさん[sage]   投稿日:2016/04/10 20:44:51  ID:bGdugtOr.net(2)
>400
「Common Lisp なら問題なく安定して高速な実行バイナリを吐ける」 という前提が必要かと

402
デフォルトの名無しさん[sage]   投稿日:2016/04/10 21:07:38  ID:fTRAmtFw.net
マルチプラットフォームとかより.NET Frameworkとか使えるかが問題

403
デフォルトの名無しさん[sage]   投稿日:2016/04/10 21:42:33  ID:hia67FmN.net
Biglooは高速なんじゃないの?

404
デフォルトの名無しさん[sage]   投稿日:2016/04/11 19:30:23  ID:B6eduLpk.net
Hyper Specが日本語に翻訳されたら増えるかもね。
日本語の情報が少なすぎだよ。

405
デフォルトの名無しさん[sage]   投稿日:2016/04/12 07:35:10  ID:cHC5205s.net
Racketからpython使うだいぶ楽になったけど、逆はどうすればいいんだ?

406
デフォルトの名無しさん[sage]   投稿日:2016/04/15 16:27:17  ID:SDnTU4FS.net(3)
Deep Learningライブラリkeras
がニューラルネットワークのグラフ処理と数式処理を組み合わせた
ちょっと気の利いた自動処理をやってくれてたんだけど,バグだらけで
pyrhonで数式処理やるの無茶だしこんなものだろうと思ってたら
最新版で気の利いたグラフ処理を全部削除してきた

数式処理をLisp以外でやるのは,やっぱり無理だったんだな

407
デフォルトの名無しさん[sage]   投稿日:2016/04/15 17:44:56  ID:h+7uFu1K.net
sympy ないからね〜♪

408
デフォルトの名無しさん[]   投稿日:2016/04/15 18:27:07  ID:SDnTU4FS.net(3)
SymPyはテンソル処理できないし

数式を評価して数値にしないで式のまま扱うには
どうあってもマクロの機能が必須

409
デフォルトの名無しさん[]   投稿日:2016/04/15 18:29:44  ID:SDnTU4FS.net(3)
もうちょっと具体的に言うと
x_iのiも数値じゃなくて数式になってるような処理がmaxima以外じゃできないんだよ

410
デフォルトの名無しさん[]   投稿日:2016/04/16 09:53:49  ID:dMPS3Rkb.net(2)
ややスレ違いで申し訳ないのですが、
Common Lispで記述されてるMaximaのWindows版バイナリの
GCLやSBCL版がDEPの対象からから外さないと動かないのって、
多分fasl絡みだと思うのですけど、これってどうしようもないのでしょうか?

411
408[]   投稿日:2016/04/16 09:55:12  ID:dMPS3Rkb.net(2)
をを専ブラじゃなくってIEで書き込めたぞ

412
デフォルトの名無しさん[sage]   投稿日:2016/04/16 22:21:58  ID:jF3WTL87.net
windows10のubuntuサブシステムってguile動くのかな?

413
デフォルトの名無しさん[sage]   投稿日:2016/04/17 12:42:24  ID:OFPJm6rS.net
ubuntu subsystemはterminal関連やプロセス情報周りまだ調節してるみたいなので、起動で使ってるととまるかも。

cygwinと違いlinuxのバイナリがwindowsのシステムコールに変換してそのまま動くらしいが、プロセスfork周りとか安定するのかな。

docker for windowsでも結構いろいろ出来るけど、
こちらはファイル連携の効率が鬼門?

414
デフォルトの名無しさん[sage]   投稿日:2016/04/18 00:23:19  ID:7XwxtGPN.net
schemeでSDL使ってなんかやってみたいのだが
guileでもgaucheでもうまく使えるようになってくれん・・・(´・ω・`)

週末おわったからまた来週までおあずけ・・・

415
デフォルトの名無しさん[sage]   投稿日:2016/04/24 20:26:59  ID:0x0aJXRe.net
>375
規格そのものには著作権はない
規格書にはある
JISはお役所っぽいとはいえ
規格書は著作権法の除外対象である
「憲法その他の法令」「告示・訓令・通達等」「判決等」などには含まれない
コメント1件

416
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/24 23:36:40  ID:dj3kRx0x.net
>415
というはっきりした根拠がないという話な。

417
デフォルトの名無しさん[sage]   投稿日:2016/04/25 02:32:42  ID:i2M++PuM.net
著作権法の保護対象は、思想や感情などを創作的に表現したものだから、規格書が該当する可能性は低いんだよね。
執筆者の思想や感情に染まった創作的な規格書とかアレだし。

418
デフォルトの名無しさん[sage]   投稿日:2016/04/25 02:51:04  ID:UQm4t1FS.net
規格化されたから安心して使えるよね、ってのが長所だろうに
なぜ規格書を半クローズドにするのか全然意味が分かんないw
パンピーから見て「馬鹿なんじゃねえの?」ぐらいある

419
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/25 03:49:21  ID:H1EfbN1H.net(2)
Wikipedia にもそのあたりの経緯は書かれてる。

https://ja.wikipedia.org/wiki/%E6%97%A5%E6%9C%AC%E5%B7%A5%E6%A5%AD%E6%...

公官庁が作ってるとは限らない (つまり原案が民間からの提案による) というのが著作権が保護される根拠になってるな。
でも、規格票やハンドブックの売り上げは規格団体の活動資金であって (原案の) 著作者に還元されてるわけでもないみたいなので、
その点でも説得力に欠ける気がする。
コメント1件

420
デフォルトの名無しさん[sage]   投稿日:2016/04/25 10:21:16  ID:J5O1W2lq.net
誰かが法廷で争って白黒付けん限りはどうにもならん

421
デフォルトの名無しさん[sage]   投稿日:2016/04/25 18:12:09  ID:NhSdIii9.net
>419
それは権利が移譲されてるだけ
コメント1件

422
デフォルトの名無しさん[sage]   投稿日:2016/04/25 18:33:02  ID:RM5Zqug+.net
権利守るためには普及しなくてもいいや、ってことか

423
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/04/25 18:47:45  ID:H1EfbN1H.net(2)
>421
手続き上どうなってるか知らんけど、民間の権利を保護することを理由にしてるのに
権利を移譲させているのなら保護する理由として説得力が欠けることにはかわらん。

424
デフォルトの名無しさん[sage]   投稿日:2016/04/25 21:57:50  ID:RsNFjZ9o.net
問題は特許の方だったりする
規格化されてる技術でも、民間企業の特許権が放棄・委譲されてない場合があるから注意ね

425
デフォルトの名無しさん[sage]   投稿日:2016/04/27 01:17:14  ID:0mhH1Qow.net
いつのまにか Chez がオープンソース化されとるんやけど。
https://github.com/cisco/ChezScheme

426
デフォルトの名無しさん[sage]   投稿日:2016/04/27 09:36:40  ID:NqgLzB8V.net
ライセンスは Apache License 2.0 か

427
デフォルトの名無しさん[]   投稿日:2016/05/01 12:07:59  ID:tKi6j9CT.net
匿名通信(Tor、i2p等)ができるファイル共有ソフトBitComet(ビットコメット)みたいな、
BitTorrentがオープンソースで開発されています

言語は何でも大丈夫だそうなので、P2P書きたい!って人居ませんか?

Covenantの作者(Lyrise)がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al

ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーw


The Covenant Project
概要

Covenantは、純粋P2Pのファイル共有ソフトです

目的

インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します

特徴

Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)

接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
7

428
デフォルトの名無しさん[sage]   投稿日:2016/05/17 17:05:48  ID:YgbAgXws.net
The Little Prover (MIT Press)
by Daniel P. Friedman et al.
Link: http://amzn.com/0262527952
コメント1件

429
デフォルトの名無しさん[]   投稿日:2016/06/17 14:09:15  ID:aKyWkGS/.net

430
デフォルトの名無しさん[sage]   投稿日:2016/06/19 15:31:25  ID:ZDqZVbmO.net
Scheme workshopに間に合わなかった論文を投稿できる国際会議って他にないものでしょうか?
コメント1件

431
デフォルトの名無しさん[]   投稿日:2016/06/19 19:41:59  ID:TTlCeyJj.net
elispで"で囲まれる文字列をエディター上で複数行にわたって一行の
文字列を作るにはどうやりますか?
コメント1件

432
デフォルトの名無しさん[sage]   投稿日:2016/06/20 00:32:31  ID:UyWTAm1z.net(2)
>431

"foo
bar
baz"



"foobarbaz"

にするってこと?
コメント1件

433
デフォルトの名無しさん[sage]   投稿日:2016/06/20 03:54:27  ID:1sGgDOGd.net
>430
ACMのプログラム言語系国際会議だとここらへんに
http://www.sigplan.org/Conferences/
https://en.wikipedia.org/wiki/SIGPLAN

Scheme workshopはICFPと併設か
http://conf.researchr.org/home/icfp-2016
http://scheme2016.snow-fort.org/
Submission deadlineJune 24th, 2016

似た時期にやってるSPLASHと併設はアブストラクト提出があるみたいで締め切りがはやそう?
http://www.sigplan.org/Conferences/SPLASH/

POPLが1月、PLDIが6月みたいだけど、この時期は各種言語系の併設少ない

European Lisp SymposiumもACMと共同みたい?だけど
来年は4-6月ぐらいなのかな?
http://www.european-lisp-symposium.org/

そして、ILSの開催はよくわからない

434
デフォルトの名無しさん[]   投稿日:2016/06/20 09:52:51  ID:WTi3RfiH.net
>432
ということです

435
デフォルトの名無しさん[sage]   投稿日:2016/06/20 10:19:02  ID:UyWTAm1z.net(2)
例えばリージョンを指定して
(replace-regexp "\n" "" nil (region-beginning) (region-end))
とするとか。

436
デフォルトの名無しさん[sage]   投稿日:2016/06/20 10:31:53  ID:zNtNJydN.net
こういう改行を自動的にオミットしてくれるraw文字リテラルとか言語によってはあるよね。
コメント1件

437
デフォルトの名無しさん[sage]   投稿日:2016/06/20 17:28:02  ID:3ZWHStpW.net
バックスラッシュで改行をエスケープしたらできました
ありがとうございます

438
デフォルトの名無しさん[sage]   投稿日:2016/06/22 09:00:57  ID:y1M9DB0/.net
Racketのメモリ使用効率が最近、劇的向上したと聞いたがソースが見つからない

439
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/06/22 09:59:37  ID:es+zuR1i.net
適当なコードをプロファイラ付きで動かしてみれば自分で確かめるのも簡単にできそうに思うが

440
デフォルトの名無しさん[]   投稿日:2016/06/24 15:03:54  ID:kFtEs5yG.net
scheme workshop のホームページが落ちてる

441
デフォルトの名無しさん[sage]   投稿日:2016/06/24 19:38:06  ID:WmRGQvXX.net
scheme on you!

442
デフォルトの名無しさん[]   投稿日:2016/07/11 05:29:45  ID:VKBZ9FDE.net
python のdoctestっぽいのが
コメント領域
#|
...
|#
で囲まれた範囲に書かれている
https://github.com/JeffBezanson/femtolisp/blob/master/examples/b...

こういうテストの記述方法使えるscheme処理系って他にないものでしょうか
コメント1件

443
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/07/11 13:22:30  ID:lXJnj28H.net(2)
>442
doctest ではないけど、同じファイルにテストを書ける方法がある。

SRFI-22 で、 main 手続きがあるとそこをエントリーポイントにする機能があるんだが、
Gauche では -m オプションでモジュール名を指定すると
そのモジュール内にある main (通常は実行されることはない) を実行できる。
ライブラリとして書いたものをスクリプトとしても実行できる仕組みなんだけど、
実際のところそういう使い方は普通はしないので main にテストを書いておくという使い方も出来る。

あるいは、 -F オプションの有無で cond-expand を使って分岐してテスト部分を走らせるという方法もある。

444
デフォルトの名無しさん[sage]   投稿日:2016/07/11 13:30:48  ID:vMXg/Dlp.net
Clojureだと関数定義にmeta情報としてtestを登録できるけど
Schemeのマクロでtest呼び出し可能なdefine-with-testみたいなの作れないものなの?(あたしゃSchemeいぢった事ないのでわからん)
コメント1件

445
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/07/11 13:37:54  ID:lXJnj28H.net(2)
>444
出来る。

446
デフォルトの名無しさん[sage]   投稿日:2016/07/21 08:53:46  ID:w8JCXqYb.net
http://ecraven.github.io/r7rs-benchmarks/benchmark.html
Chez が圧倒的なんだが、何故か string のテストだけ突出して順位低いな。

447
デフォルトの名無しさん[sage]   投稿日:2016/07/21 18:52:01  ID:dtsOUE7n.net
文字列の取出しや結合を繰り返すベンチだな。
Chez の実装をおおざっぱに見てみたら、文字列はただの配列らしい。
string-append も新しくアロケーションしてコピーするだけ。

https://github.com/cisco/ChezScheme/blob/fe172bfdfbf2f606db61101...#L33

文字列が rope ならこの種類のベンチは高速になるはずなんだけど、
それはそれで string-ref などが少し遅くなるという欠点もある。
R6RS は string-ref や string-set! が定数時間と要求してるのでそっちを優先したのかも。
(要求といっても `should` はその処理系でコストが大きかったり他との兼ね合いで難しいようなら無視してよい緩い要求。)

あと、 Chez のこういった基本的な手続きは Chez 自身によってコンパイルはされるが、
C で書かれている場合と比べると遅くなると思う。
C で書かれているライブラリを呼出したら、呼出されている間は C の速度ってことだからな。
それらと比較して多少遅い程度で戦えてるならかなり強いんじゃね。
他の実装がどうなってるか知らんけど。

448
デフォルトの名無しさん[sage]   投稿日:2016/08/10 14:38:28  ID:gLMRd7tQ.net
>436
どういうraw文字リテラル?

449
デフォルトの名無しさん[sage]   投稿日:2016/08/10 15:57:23  ID:xNwBTsOU.net
YAML のこれ https://ja.wikipedia.org/wiki/YAML#.E6.9C.80.E7.B5.82.E8.A1.8C.E3.81.AE.E6.94.B9.E8.A1.8C.E3.81.AE.E3.81.BF.E7.B6.AD.E6.8C.81.E3.81.97.E4.BB.96.E3.81.AF.E3.82.B9.E3.83.9A.E3.83.BC.E3.82.B9.E4.B8.80.E5.AD.97.E3.81.AB.E7.BD.AE.E6.8F.9B
とか思い出した。Lisp では知らないや。

450
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/08/12 02:03:20  ID:r3pIqi6x.net
Gauche 0.9.5 のリリースが近いみたいだよ

451
デフォルトの名無しさん[sage]   投稿日:2016/08/12 02:04:26  ID:iSmX+r7l.net
まだメンテとかしてたのか…

452
デフォルトの名無しさん[sage]   投稿日:2016/08/12 09:58:06  ID:YdMh7QBO.net
バージョン1にならないうちにプロジェクトが消滅しそう

453
デフォルトの名無しさん[sage]   投稿日:2016/08/12 12:09:41  ID:IkcCQ8j3.net
中の人が存命な限り続くだろう
本人が使ってるんだし

454
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/08/13 00:53:10  ID:zk6Wqji8.net
リリースの間隔は長いけど、かなりの頻度でコミットはされてるよ。

455
デフォルトの名無しさん[sage]   投稿日:2016/08/22 19:03:07  ID:oW9zLe2W.net(2)
Gaucheはschemeである限りschemeの1処理系にしかすぎない
schemeのノロノロした規定の縛りに従っていくのもアホらしいと感じているだろう
.NETに対応して誰もを唸らせるLispやSchemeという分類を超えた新たなLISP族が誕生してもいいんじゃないっか
コメント1件

456
デフォルトの名無しさん[sage]   投稿日:2016/08/22 19:06:35  ID:oW9zLe2W.net(2)
powershelがマルチプラットフォーム&オープンソース化して化けたしここらで標準で使えるpowerLispっぽい何かが欲しいとこだに

457
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/08/23 12:58:56  ID:2DFoQv2G.net
JVM にとっての Clojure みたいな?
特定の VM に縛られる方が特定の言語仕様に縛られるよりあほらしくない?

.NET の世界でのスタンダードな LISP 系言語があったらいいなぁというのはわかるけど、
.NET なライブラリを呼び出すだけなら適当なバインディングを作れば Gauche からだって出来るので、
Scheme の仕様が足かせということはないと思う。
コメント1件

458
デフォルトの名無しさん[sage]   投稿日:2016/08/23 19:12:17  ID:UTRMGA4h.net
https://github.com/clojure/clojure-clr
clojureは.net版もあるね,JVM版とバージョンは一緒だけど
clojureでよく使われているプロジェクトはjavaライブラリのjarに依存してるのも多いからどうなんだろ?

459
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/08/24 15:03:29  ID:nZ9rDf/L.net
>455 について意見した >457 にもうちょっと意見を付け足し

どちらを軸にするかという問題だから、
Java の世界を軸にすれば厳密に Scheme の仕様に従おうとするといまいちなところは出てくるだろうし、
Scheme の仕様を軸にすれば Java (JVM) のデザインがクソザコに思えたりもするだろう。

Scheme からでも Java やら dotNET の機能は呼び出せるが、
単に呼び出せるというのと全体として違和感なく統合されているというのは別物なので、
dotNET ユーザにとっては dotNET の世界に合わせた LISP が欲しいというのは納得のいく意見だと思う。

でもそこで Scheme を引き合いに出されると違和感あるわ。
Gauche は別に dotNET を想定してデザインしたわけじゃないしハナから Scheme 処理系なんだから
軸足は Scheme にあるわけで dotNET 的に制約に感じられても当たり前の話。
勝手な評価軸で「アホらしい」なんてのはそれこそアホらしい。

460
デフォルトの名無しさん[sage]   投稿日:2016/08/24 18:47:43  ID:urM54ZXn.net(2)
.netはc#,f#に集約されているので、S式使った組み込みDSL向けか、replなどのユーティリティー系しか用途がない気はする。

最近はnotebook形式のツールが増えてきたので、そっちも限られてきた気はするが。

461
デフォルトの名無しさん[sage]   投稿日:2016/08/24 18:56:20  ID:urM54ZXn.net(2)
.netはDLRが出た時に.net言語の実装増えたけど、利用者少ないし、ほとんどがメンテできてないんじゃないかな
JVMだと使える処理系としてkawa、abclもメンテされてるはず。
それとリッチ・ヒッキーは.netでscheme実装やってみたけど、意図的にclojureからjvmに移行したという記憶が。

clojureは組み込みデータ型がJVMに寄ってるので、cljsもclojureclrも組み込みのデータ型で苦労してるし、clrは特にサードパーティーのライブラリが対応してなくて苦労してる。
ただ、ニュートラルにするとshenとかFantomみたいにあんまり他の言語と相互利用できなくなる。
clrは、unity使えるけどスマホで使えないし、WPF対応させたりしてるけどクロス環境では使えないみたいな話も。

JVMは末尾再帰辛いけどindyやgraalvm+truffleみたいにネタが増えてて実装オタク向けの新しい題材が増えてるし、他のVMでも.netよりもerlangのvmや、llvmあたりの方がまだ活発なイメージがある。
コメント1件

462
デフォルトの名無しさん[sage]   投稿日:2016/08/24 22:03:15  ID:kzFjQi4C.net
>461
> clojureは組み込みデータ型がJVMに寄ってるので、cljsもclojureclrも組み込みのデータ型で苦労してるし、clrは特にサードパーティーのライブラリが対応してなくて苦労してる。

なんでそういう勘違いしてるのか気になるな
clojureの組み込みリテラルは数値、シンボル,キーワード、文字列、キャラクタ、list、vector、dictionary(map)とsetでCLRでも問題無い奴しか無いよ

> clrは、unity使えるけどスマホで使えないし、WPF対応させたりしてるけどクロス環境では使えないみたいな話も。
スマホはiOSが実行時評価禁止してるからunity上でのclojure.clrは制限があるのは事実だけど、これも誤解が入っていると思うぞ

> JVMは末尾再帰辛いけどindyやgraalvm+truffleみたいにネタが増えてて実装オタク向けの新しい題材が増えてるし、他のVMでも.netよりもerlangのvmや、llvmあたりの方がまだ活発なイメージがある。
JVMは末尾再帰を完全に保証できないからclojureのrecurが生まれたのだけど、順序間違ってない?

463
デフォルトの名無しさん[sage]   投稿日:2016/08/25 03:01:28  ID:EcGIN1F9.net
フォローありがとう。
unity+clojureclrってiosで動くようになったのか。

javaの規格では末尾再帰最適化はないけど、
ibmのj9 vmでは、末尾再帰最適化してくれる。

464
デフォルトの名無しさん[sage]   投稿日:2016/09/12 17:44:10  ID:qDbI1d2i.net
S式はいつまで日陰なのか
なんでXMLは普及したのか
XMLの前身のHTMLはなぜS式ではなかったのか
無茶苦茶汚くなるスクリプト埋め込みやCSSとかをなぜ苦労してまで使うのか
そんなにS式が嫌か
コメント1件

465
デフォルトの名無しさん[sage]   投稿日:2016/09/12 18:18:05  ID:q3qEXh1t.net
手習いの推薦図書で興味を惹かれたんだけど
物まね鳥きちんと読むと、どうなるの?
Lispをやるのにどんなご利益があるの?

466
デフォルトの名無しさん[]   投稿日:2016/10/08 11:21:36  ID:fiaM9vLl.net
>そんなにS式が嫌か
はい

467
デフォルトの名無しさん[sage]   投稿日:2016/10/08 12:09:44  ID:1yrGmOsT.net
括弧の対応わかんなくてインデントで対処したら
だったらインデントあれば括弧いらなくね?ってなって
いまでは立派なHaskeller

468
デフォルトの名無しさん[sage]   投稿日:2016/10/08 17:17:37  ID:4LO02OW+.net
ごめんなさい、殺さないで

469
デフォルトの名無しさん[sage]   投稿日:2016/10/08 20:59:11  ID:MxYncUTD.net
にわかHaskellerだけど立派ではないだろ盛るのもいいかげんにしろ

470
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/10/08 21:05:09  ID:vq0777oC.net
Gauche 0.9.5 出たよー

471
デフォルトの名無しさん[sage]   投稿日:2016/10/09 01:16:51  ID:0XqPv4tB.net
いつまで0.9彷徨ってんだよ
そんなハードル高く設定して何になる

472
デフォルトの名無しさん[sage]   投稿日:2016/10/10 23:42:14  ID:goEL863s.net
今のバージョンを何と呼ぼうと手に入る機能は変わらないのに、バカなの?

473
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/10/13 14:55:07  ID:j1zwT3+2.net
ナンバーが 1 未満だと未完成という印象になっちゃうのかな?
バージョンナンバーの振り方はそれぞれのプロジェクトでのポリシーで決める話。
Gauche の場合はこういうマイルストーンが設定されてる。
http://practical-scheme.net/gauche/devinfo-j.html

たぶん作者が考える一通りの機能がこれだけということではあるんだろうけど、
バージョン 0.9.5 は 0.9.5 という完成品だし、 1 を過ぎたからってそれで終わりってわけでもない。
所詮は一区切りの目安。

474
デフォルトの名無しさん[sage]   投稿日:2016/10/13 19:48:53  ID:PkuNke6K.net
セマンティックバージョニングみたいなのがあるし、最近だと1.0を出さないのは個人で開発してるとおおいのかな?
昔はtexみたく収束していく系やってる人は多かったけど、やっぱり個人かね。

475
デフォルトの名無しさん[sage]   投稿日:2016/10/14 01:22:40  ID:XWvLcjKQ.net
というかそのドット別に小数点じゃないし・・・
混同するのは間違いないのでいっそコロンやセミコロンで区切ったほうが理解しやすいかもしれない

476
デフォルトの名無しさん[sage]   投稿日:2016/10/14 10:16:22  ID:vLfiDK4O.net
いや、本来は小数点だったよ
「0.9の次だけどまだ未完成だから0.10にしたよー」とかやらかしたから信用を失っただけで
コメント1件

477
デフォルトの名無しさん[sage]   投稿日:2016/10/14 18:32:55  ID:7nOZHdhP.net
>476
具体的なソフト名挙げろや。普通 0.91 とかに行くだろ。

478
デフォルトの名無しさん[sage]   投稿日:2016/10/14 19:07:47  ID:zN4aic2C.net
社内業務ソフトですらバージョン番号が0.xなのってざらだと思うのだけどなぁ
1.0ってほぼこれで完璧的な意味で付ける会社もあるだろうし
(売り物のくせにVer 3の倍数から完璧の会社もあるけど:老舗のOS屋さんとか)
なお、1.0以降になるとちょっと仕様が変わっただけでメジャーバージョンが上がる会社もあるけど(猫科の動物の名前付ける所とか:Ver 9までクソだったような気もするけど)

ようするにバージョン番号って作者が自由に付ける物じゃないの?
コメント1件

479
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/10/14 19:53:07  ID:njZqyYby.net
>478
自由でいいけど、ひとつのソフトは一貫した (わかりやすい) ルールを持っておいてほしくはあるね。

480
デフォルトの名無しさん[sage]   投稿日:2016/10/14 21:35:46  ID:5nO9NwFR.net
まあ linux もいきなり 3.x になったり,よく分からない理由で 4.x になったり

481
デフォルトの名無しさん[sage]   投稿日:2016/10/14 21:53:32  ID:SkqOUpcH.net
Windowsも10になったけど中身は8なんだろ?
コメント1件

482
デフォルトの名無しさん[sage]   投稿日:2016/10/15 10:14:21  ID:C9liqmNs.net
0-originでバージョン付けたっていいじゃない。

483
デフォルトの名無しさん[sage]   投稿日:2016/10/15 21:27:25  ID:bOlsxR9R.net
0.x.yは劇的な変更があっても泣くなよ、という意味合いだと思っている

個人的にはセマンティックバージョニングを付けてもらえるとありがたい
1.x.yなら、機能追加でxを1つ増やして、バグ修正でyを1つ増やすってやつ
0.a.bは開発途中だから後方互換性は無くてもいいので、開発者が試行錯誤しているうちは1未満だとはっきり分かる

firefoxやchromeの馬鹿みたいなバージョン上げはマーケティングの意味合いが強くて好きになれない

484
デフォルトの名無しさん[sage]   投稿日:2016/10/15 22:15:44  ID:pvROaeUb.net
つーても実際非互換変更頻繁に入るから厳格に管理する意味ないだろ
コメント1件

485
はちみつ餃子 ◆8X2XSCHEME [sage]   投稿日:2016/10/16 02:21:56  ID:5wsvLL7T.net
仕様バグの修正なんかだと、バグ修正でもあるし、非互換な変更でもある。
ライブラリのバージョンにセマンティックバージョニングを採用した場合、
パッチバージョンの変更があったときにそのライブラリを使うアプリケーションが本当に正しく動くのかは
厳密にいえばライブラリの個別のバージョンを確認しないとわからんだろ。
あまりあてにならない。
ライブラリにバグがあってもそのバグの挙動に依存しているアプリケーションだってありうるわけで。

目安としてセマンティックバージョニングを導入するのは賛成だけど、厳密にしきれない部分はどうしてもあるわな。
そこらへんは柔軟に対処するしかしゃあねぇべ。

486
デフォルトの名無しさん[sage]   投稿日:2016/10/16 09:37:20  ID:PjXU2mUU.net
>484はJSブラウザエンジンの話な
何にしても各言語なりの界隈の慣習に則ればいい

487
デフォルトの名無しさん[sage]   投稿日:2016/10/16 18:47:56  ID:dK/+e+o+.net
>481
Windows8.1までは6.3とかだったけど
10は10.0が返ってくる

488
デフォルトの名無しさん[sage]   投稿日:2016/10/17 06:02:40  ID:IeaGZ3RQ.net
そういうことにしちゃっただけで、実質8.xx(6.xx)みたいなもんでしょ

489
デフォルトの名無しさん[sage]   投稿日:2016/11/15 14:34:16  ID:rex6X+v0.net
http://lipn.univ-paris13.fr/~bennani/CSRank.html
コンピュータ関連国際会議ランキングをlispで検索すると
European Lisp Workshop
しかなかった

490
デフォルトの名無しさん[sage]   投稿日:2016/11/15 22:07:24  ID:Ei/g+r4v.net
https://en.m.wikipedia.org/wiki/International_Conference_on_Functional_P...
時代の流れにより96年にFPCAとLFPがICFPに置き換えられた。

491
デフォルトの名無しさん[sage]   投稿日:2016/12/07 03:48:27  ID:tATsD5IS.net
これがリストのランクcにすら入ってないのは何故
もうじき締め切りだけど
http://www.european-lisp-symposium.org/

492
デフォルトの名無しさん[sage]   投稿日:2016/12/07 10:57:02  ID:IYOLLYww.net
何か革新的な話題無いの?

493
デフォルトの名無しさん[sage]   投稿日:2016/12/08 08:26:21  ID:v+J3OHGS.net
Anything.el再起動と革新的話題では?

494
デフォルトの名無しさん[sage]   投稿日:2016/12/15 23:40:28  ID:Z/98FfuD.net
>464
つ WebAssembly
更新情報
・スレッド一覧ページで過去ログのタイトル検索・一覧表示ができるようになりました(2016/1/20)
NGワード登録
登録する
スレッド内検索

プログラム板 タイトル検索

このスレッドが人気です(実況系)
トラタイム★3 (537)フジ実況
トランプ米大統領就任式 ★12 (168)NHK実況
【超マターリ】トランプ大統領就任式 (530)NHK実況
報道特別番組「トランプ米大統領就任式」★1 (346)TBS実況
NEWS ZERO 1 (966)NTV実況
News23 ★1 (962)TBS実況
『ぷっ』すま★1 (541)テレ朝実況
オスカル!はなきんリサーチ (436)テレ朝実況
このスレッドが人気です(ニュース系)
【国際】トランプ氏 まもなく大統領就任式 [NHK] (1000)ニュー速+
【トランプ】大統領就任式典始まる (364)ニュー速+
【国際】トランプ氏 就任直前ツイッター「きょうすべてが始まる」 (1000)ニュー速+
【アパホテル】組織委 具体的な要請はしていないと主張し、NHKに抗議 (1000)ニュー速+
【財政】10年後の国債の発行残高は200兆円増えて1029兆円に 財務省が試算、危機的な財政状況に ★2 (625)ニュー速+
【政治】安倍首相「志の高いアジアの若者を積極的に受け入れられるようにしていきたいと思います」国家戦略特別区域諮問会議 (1000)ニュー速+
【アパホテル】北海道知事「色々な議論があることで相手国の方々に不快な思いを持たれるのはどうなのか」ホテルの対応に疑問を呈す★3 (1005)ニュー速+
【韓国】ソウル市日本人女児強姦事件に判決 一転無罪へ 国内からも異論 検察は控訴「被害外国人が出国なら犯人無罪とは失礼」 (1003)ニュー速+
プログラム板の人気スレ
【統計分析】機械学習・データマイニング11 (944)
C++相談室 part129 (186)
Excel VBA 質問スレ Part45 (259)
C言語なら俺に聞け 138 (584)
Xamarin Part3 (256)
ふらっと C#,C♯,C#(初心者用) Part126 (270)
Visual Studio 2015 Part7 (1000)
【PHP】下らねぇ質問はここに書き込みやがれ 7 (637)
Androidプログラミング質問スレ revision52 (562)
くだすれPython(超初心者用) その31 (885)
次世代言語議論スレ【Go Rust Haskell Scala Erlang Elixir】 (469)
スレ立てるまでもない質問はここで 145匹目 (111)
クラス名・変数名に迷ったら書き込むスレ。Part27 (740)
+ JavaScript(ECMAScript)質問用スレッド vol.122 + (981)
☆★Java質問・相談スレッド179★★ (589)
Swift part9 (596)
推薦図書/必読書のためのスレッド 80 (950)
Ruby 初心者スレッド Part 59 (555)
人工知能ディープラーニング機械学習のための数学 (105)
+ JavaScript の質問用スレッド vol.122 + (628)
VRプログラム雑談【Unity/UnrealEngine】【HTC Vive/Oculus Rift/その他VR】 (347)
【JavaScript】スクリプト バトルロワイヤル55【php,py,pl,rb】 (459)
プログラミング言語 Rust 2 (311)
Java入門・初心者質問スレ Part.2 (297)
ディープラーニング (965)
【初心者歓迎】C/C++室 Ver.100【環境依存OK】 (259)
このサイトについて
このサイトは2ちゃんねるからデータを取得し、表示するサービスです。
画像のインライン表示機能について
画像のURLの後ろにある[画像をインライン表示]をクリックすると、URLの下に表示します。
表示される画像は横幅100pxに縮小されていて、クリックすると原寸で表示します。
このサイトの特徴
1)スレッド内検索ができます
2)レス(「>>1」など)のポップアップができます
3)不適切な言葉を含む投稿を表示しません
4)ページ内で画像を直接表示できます
5)2ch他スレッドへのリンクはタイトル・板名つきでリンクします
6)すっきりとしたデザインで表示します
7)最新スレや前スレをチェック・一覧表示します
8)NGワード機能の搭載でイヤな言葉が目に入りません
9)荒らしを自動チェックします
10)スレッド内・同一IDの書き込みだけ表示できます
11)レスの返事をレスされた発言の下に表示する「まとめビュー」が利用できます
12)シリーズ化したスレッドの一覧を表示します
13)最新のスレッドがある場合はお知らせします
削除について
こちらをご覧ください
機能要望について
現在機能要望受付中です。
問い合わせについて
こちらのページからどうぞ
Amazon


このサイトは2ch.scからデータを取得・表示しています。削除などについてはこちらをご覧ください。 アクセスモード:差分取得 - 新着書き込みなし(304)