プログラミング言語Egison

0001デフォルトの名無しさん2013/10/31(木) 20:35:59.36
パターンマッチが強力みたいです。
0002デフォルトの名無しさん2013/10/31(木) 20:41:14.77
すげw スレが立ってるwww
0003デフォルトの名無しさん2013/10/31(木) 21:54:00.12
リンクぐらい貼れ
0004デフォルトの名無しさん2013/10/31(木) 22:00:37.35
非線形の代数のパターンマッチって何?
0005デフォルトの名無しさん2013/10/31(木) 23:45:57.39
http://www.egison.org/etc/history-j.html

作者はなかなかぶっ飛んでるなwww
無職で暇だったらこのスレ来てくれんかな
0006デフォルトの名無しさん2013/11/01(金) 00:08:49.11
エギソンって読むんだね
0007デフォルトの名無しさん2013/11/01(金) 01:04:35.22
Egisonの歴史ワロタw
結婚して無職とか頑張れ
0008デフォルトの名無しさん2013/11/01(金) 01:05:52.35
結婚オメ
0009デフォルトの名無しさん2013/11/01(金) 01:55:32.54
構文や記号が非直感的でとっつきにくいけど
目的としてる内容は簡素にかけるね
未踏に選ばれるだけある
0010デフォルトの名無しさん2013/11/01(金) 02:03:13.86
ってか最強学歴+未踏に選ばれても
googleに落ちるんだな・・・
どんな会社だよwww
0011デフォルトの名無しさん2013/11/01(金) 02:45:13.71
SQL くらい簡単に書けるようにしてくれ
0012デフォルトの名無しさん2013/11/01(金) 11:54:42.89
>>5
キモっ
0013デフォルトの名無しさん2013/11/01(金) 12:08:40.89
いかにも作者が宣伝で立てたようなスレだな
0014デフォルトの名無しさん2013/11/01(金) 12:21:34.45
正規表現を処理するアレコレをゴリゴリ書いてるから、涙が出た。
他の言語でも使えないかな。
0015デフォルトの名無しさん2013/11/01(金) 15:07:53.08
未踏とか選ばれているようじゃ
ゴミだな
0016デフォルトの名無しさん2013/11/01(金) 16:02:24.46
>>15
どうしてそう思うの?
0017デフォルトの名無しさん2013/11/01(金) 16:22:39.32
俺は以前ブラウザもどきが選ばれてるのを見てなんじゃこりゃと思ったな
0018デフォルトの名無しさん2013/11/01(金) 16:29:33.75
最近はスーパープログラマだっけ?あの会社のゴミプログラマがなってたな。
0019デフォルトの名無しさん2013/11/01(金) 16:29:17.85
未踏は書類書くのが上手い香具師と
東大みたいな官僚とずぶずぶのところが通りやすい
0020デフォルトの名無しさん2013/11/01(金) 17:10:44.46
OCamlで実装してほしい(切実
0021デフォルトの名無しさん2013/11/01(金) 17:16:00.86
>>19
どっちもダメだったんですね。
0022デフォルトの名無しさん2013/11/01(金) 17:18:25.16
採択率No1電通大
0023デフォルトの名無しさん2013/11/01(金) 20:04:37.09
若いときに補助金貰って乞食することを覚えると
まともに働けなくなるんだな
0024デフォルトの名無しさん2013/11/01(金) 20:33:24.62
プログラミング言語エジソン?
0025デフォルトの名無しさん2013/11/01(金) 21:09:08.94
江木損
0026デフォルトの名無しさん2013/11/02(土) 18:55:17.69
江木だからEgisonか
なるほど
0027デフォルトの名無しさん2013/11/02(土) 19:01:04.56
歴史を何度見ても笑ってしまう
0028デフォルトの名無しさん2013/11/02(土) 19:16:38.96
"ゴミ"を連発するuy名無しで乙
0029デフォルトの名無しさん2013/11/02(土) 21:48:52.97
これって実際のところ、どのくらいの新規性があるの?
0030デフォルトの名無しさん2013/11/02(土) 21:51:03.72
どの言語に採用しても
便利だろう
0031デフォルトの名無しさん2013/11/02(土) 21:54:21.12
>>29
関数型SQL
0032デフォルトの名無しさん2013/11/02(土) 22:04:47.99
正規表現と同等かそれ以上の記述が出来て当たり前という感覚なので、あまり新しさは感じない。
地球ではこんなのが未踏なのか?
0033デフォルトの名無しさん2013/11/02(土) 22:07:43.93
>>32
あんたの星ではどこまで踏んづけてるんや?
0034デフォルトの名無しさん2013/11/02(土) 22:23:52.18
>>33
最終言語
0035デフォルトの名無しさん2013/11/02(土) 22:26:59.78
それどんな言語?
Z言語とか言うのか?
0036デフォルトの名無しさん2013/11/02(土) 22:34:13.90
Z言語って言葉はすでにある。地球人も頑張ってればいつかゴールできる最終地点。
0037デフォルトの名無しさん2013/11/02(土) 22:37:48.61
わかった
がんばるからどんな言語か教えてたもれ
0038デフォルトの名無しさん2013/11/02(土) 22:40:31.84
>>32
正規表現だと間に余計なのが何個も入るやろ
0039デフォルトの名無しさん2013/11/02(土) 22:46:10.36
答えが1つというのは言語の個性が失われた実に寂しい世界だよ。
研究という地球人の楽しみを奪う気はないので教えられる事は限られる。
0040デフォルトの名無しさん2013/11/02(土) 22:47:48.95
>>39
我々人類は何合目まで来てるんだ?
0041デフォルトの名無しさん2013/11/02(土) 22:57:37.24
>>40
わからない。研究者による。
富士山に登って世界一高い山に登頂成功したぞ!と勘違いしている状態。
0042デフォルトの名無しさん2013/11/02(土) 23:03:20.58
いやそれはないだろ
まだ登頂成功したと言える言語は無いぞ
C++をある程度使いこなせると
そういう錯覚に陥ったことは確かだが
0043デフォルトの名無しさん2013/11/02(土) 23:04:12.75
富士山登るのはすごいよ
0044デフォルトの名無しさん2013/11/02(土) 23:14:52.18
地球の言語の主要パラダイムと宇宙の言語の主要パラダイムとはかなり違ってて、
それらの合成だったり分解だったりする。だから明確な進捗状況があるわけじゃない。
0045デフォルトの名無しさん2013/11/03(日) 00:28:36.78
マニュアルの中の例で、
> (match-all {1 2 3 4} (list integer)
[<cons $x $xs> [x xs]])
{[1 {2 3 4}]}

は、なんで{[1 [2 3 4]]}ではないの?
list integerとするならcdr側の$xsもlist integerにならないの?
0046デフォルトの名無しさん2013/11/03(日) 00:45:13.48
そうか、リストを[ ]で表してるんじゃないのか
Collectionは全部{ }で表現して、マッチさせるときに(list integer)とか指定するんだ
でもどうしてそうするの?
0047デフォルトの名無しさん2013/11/03(日) 01:26:39.59
>>5
何この人・・・・・・
ロックだ。。。
0048デフォルトの名無しさん2013/11/03(日) 01:40:25.36
>>42
革新的パラダイムが一向に出てこないだろ。そういう状態。
0049デフォルトの名無しさん2013/11/03(日) 02:18:00.24
正直Egisonは革新的パラダイムになる可能性を感じる
0050デフォルトの名無しさん2013/11/03(日) 03:08:07.43
さとし、くだらないこと言ってないで宿題やりなさい
0051デフォルトの名無しさん2013/11/03(日) 04:00:23.44
>>45-46
[<cons $x $xs> [x xs]]
これ外側の[]はパターンマッチ処理のリストじゃないのか?
0052デフォルトの名無しさん2013/11/03(日) 09:13:16.56
>>45
xs相当部分の順序に関するパターンがないからじゃないかな
0053デフォルトの名無しさん2013/11/03(日) 09:14:10.27
[]はリストではなくTuple
ぱたーん処理をTupleで表記しているだけ
0054デフォルトの名無しさん2013/11/03(日) 12:41:59.26
Ω言語はよ
0055デフォルトの名無しさん2013/11/03(日) 13:18:48.38
> (define $div2
(lambda [$x]
(match x (list integer)
{[<join $xs <cons (& ?(lambda [$x] (eq? (modulo x 2) 0)) $y) $zs>> (div2 {@xs (quotient y 2) @zs})]
[_ x]})))

この@は何の意味?
まだ説明していない要素を使用して説明しているところが多いので、ドキュメントを読んでもわからないことが多い
0056デフォルトの名無しさん2013/11/04(月) 10:30:48.07
江木さんは情熱大陸にでるべき
0057デフォルトの名無しさん2013/11/04(月) 17:01:53.85
0058デフォルトの名無しさん2013/11/04(月) 19:59:24.46
PDFの中の論文、リンクが切れている
0059デフォルトの名無しさん2013/11/15(金) 09:28:53.96
> The creater of Egison starts to work in Rakuten Institute of Technology from today!
0060デフォルトの名無しさん2013/11/21(木) 18:34:33.77
なんかニュー速とかでも
Egisonの名前見るようになったんだが
知名度高いの?
0061デフォルトの名無しさん2013/11/21(木) 23:53:38.67
自演度が高い
TheEnd
0062デフォルトの名無しさん2013/11/22(金) 00:03:54.92
糞スレ上げるな
0063デフォルトの名無しさん2013/11/22(金) 14:10:53.76
EgisonってEdisonの間違いじゃないの?
0064デフォルトの名無しさん2013/11/22(金) 14:41:14.85
エギソン
0065デフォルトの名無しさん2013/11/23(土) 12:31:35.99
言語より江木さんが面白い
0066デフォルトの名無しさん2013/11/26(火) 00:39:25.64
いかに金を調達するかが重要な世界だと思う今日此頃
0067デフォルトの名無しさん2013/11/26(火) 02:02:49.34
>>23
ひょっとして情熱を注げない仕事だけが、世の中にある、まともな仕事だと思ってる?
0068デフォルトの名無しさん2013/11/26(火) 08:52:34.28
>>67
気にするな。
どうせ大した事は言っていない。
0069デフォルトの名無しさん2013/11/28(木) 21:26:58.83
>>5
これで笑えるのはISerだけだろ。内輪ネタ乙
0070デフォルトの名無しさん2013/11/28(木) 23:36:09.18
へそに溜まってたゴミを取ろうとしてたら
指がうんこ臭くなったそんな感じ
0071デフォルトの名無しさん2013/11/29(金) 00:11:33.27
その例えでわかるのは君の生活レベルだけだな
0072デフォルトの名無しさん2013/11/30(土) 22:27:00.97
エギソンは偉い人
そんなの常識
ぱっぱぱらりら
0073デフォルトの名無しさん2013/12/11(水) 18:14:12.06
楽天で働き始めてる
さすが
0074デフォルトの名無しさん2014/02/25(火) 09:33:55.35
どんな言語?
0075デフォルトの名無しさん2014/02/28(金) 10:40:57.48
エジソン
0076デフォルトの名無しさん2014/03/01(土) 10:18:16.73
これ結局流行んねーの?
0077デフォルトの名無しさん2014/03/03(月) 02:10:45.78
>>72の元の歌詞には何十年もずっと違和感を感じていたが、
今ふと偶然にも違和感の正体に気付いた。
本当に偶然、今風呂からあがってちょうど体もポカポカしてたから気付いたのかもしれないし、
もしかしたらエジソンではなく「エギソン」と書いてあったからこそ気付いたのかもしれない。
俺の気付いたことはもしかしたら常識的な感覚ではない可能性もあるが、
個人的にはストンと収まった感がある。
>>72には感謝する。
その違和感というのは
0078デフォルトの名無しさん2014/03/07(金) 23:21:06.60
エジソンの開発効率はどんな感じ?
0079デフォルトの名無しさん2014/03/10(月) 18:16:10.72
パターンマッチが最強ならいよいよPerlは不要だな
0080デフォルトの名無しさん2014/04/23(水) 00:23:18.20 ID:IStIaXKD
prolog,haskellのアレだろ
なんで、皆、使いづらい道具を作りたがるのか謎
0081デフォルトの名無しさん2014/05/08(木) 22:31:09.13 ID:jrP+8zy1
Egisonのスレなんてあったのかよww
0082デフォルトの名無しさん2014/06/23(月) 11:23:55.66 ID:KyP2nPw3
>>81
俺も今知ってびっくりしたw
まあ俺の場合 Egison を知ったのも一昨日なんだけどw
0083デフォルトの名無しさん2015/02/07(土) 00:00:39.64 ID:uaHika1Y
最近なんか進展無いのかな?
0084デフォルトの名無しさん2015/02/12(木) 03:41:23.78 ID:DTXdCLax
もし知っている人いたら質問したいんだけど
これC言語とか他言語から呼び出せる?
もしくはGUIのプログラムが書ける?
0085デフォルトの名無しさん2015/02/14(土) 06:36:30.88 ID:Z9ZmRxLI
麻雀の役判定とかがやりやすいのはいいけど
GUIができないと麻雀ゲーム作れないから意味ない
GUIの部分は他言語でもかまわないが
008684=852015/07/23(木) 08:15:43.44 ID:vXWRCJsm
RubyのGemがあるようなので
Ruby覚えてる
0087842015/07/24(金) 21:28:24.34 ID:yGa2jmeM
しかしこれドキュメントは英語だけなのかな?

日本人が作ったんだから
日本語ドキュメント作ればいいのにと思う

日本語ドキュメントなかったら
Rubyみたいに流行ることなさそう
0088デフォルトの名無しさん2015/07/25(土) 00:58:20.71 ID:HvVfu3l+
日本語の文書付けると訳知り顔の日本人か朝鮮人か知らんけど、とにかく日本語の
わかるやつらに一大反対キャンペーはられるしな。

英語の文書だけ公開するのが吉。

Rubyが叩かれるのは、日本語の文書が有るから。
0089デフォルトの名無しさん2016/01/08(金) 00:16:50.74 ID:Ydps26p4
すいません、egison-rubyってmatchつかった再帰関数って書けますか?
なんかエラーになるんだけど原因がよくわからない。
0090デフォルトの名無しさん2016/01/23(土) 20:39:18.43 ID:GeIF04/U
配列の中のある特定の要素が1個以上連続するパターンはどうやったらかけますか
0091デフォルトの名無しさん2016/03/16(水) 01:25:59.73 ID:qfT0qZnc
こんなんでどう?先頭の.は半角スペースにしてください。
(define $any-series
..(lambda [$x $xs]
....(if (eq? x (car xs))
......(match xs (list something)
........{[(loop $i [1 $n] <cons ,x ...> <cons ^,x _>)
..........(take n (repeat1 x)) ]
.........[(loop $i [1 $n] <cons ,x ...> <nil>)
..........(take n (repeat1 x)) ] })
......(if (empty? (cdr xs)) {} (any-series x (cdr xs))))))
joinを使いたかったけどできなかった。
> (any-series 1 {1 2 2 2})
{1}
> (any-series 2 {1 2 2 2})
{2 2 2}
> (any-series 3 {1 2 2 2})
{}
0092デフォルトの名無しさん2016/05/04(水) 10:34:59.55 ID:lu7aLz6z
新着レスの表示
レスを投稿する