プログラミング言語Egison

**デフォルトの名無しさん** · 2013/10/31(木) 20:35:59.36

パターンマッチが強力みたいです。

**デフォルトの名無しさん** · 2013/10/31(木) 20:41:14.77

すげｗ　スレが立ってるｗｗｗ

**デフォルトの名無しさん** · 2013/10/31(木) 21:54:00.12

リンクぐらい貼れ

**デフォルトの名無しさん** · 2013/10/31(木) 22:00:37.35

非線形の代数のパターンマッチって何？

**デフォルトの名無しさん** · 2013/10/31(木) 23:45:57.39

http://www.egison.org/etc/history-j.html

作者はなかなかぶっ飛んでるなｗｗｗ
無職で暇だったらこのスレ来てくれんかな

**デフォルトの名無しさん** · 2013/11/01(金) 00:08:49.11

エギソンって読むんだね

**デフォルトの名無しさん** · 2013/11/01(金) 01:04:35.22

Egisonの歴史ﾜﾛﾀw
結婚して無職とか頑張れ

**デフォルトの名無しさん** · 2013/11/01(金) 01:05:52.35

結婚ｵﾒ

**デフォルトの名無しさん** · 2013/11/01(金) 01:55:32.54

構文や記号が非直感的でとっつきにくいけど
目的としてる内容は簡素にかけるね
未踏に選ばれるだけある

**デフォルトの名無しさん** · 2013/11/01(金) 02:03:13.86

ってか最強学歴＋未踏に選ばれても
googleに落ちるんだな・・・
どんな会社だよｗｗｗ

**デフォルトの名無しさん** · 2013/11/01(金) 02:45:13.71

SQL くらい簡単に書けるようにしてくれ

**デフォルトの名無しさん** · 2013/11/01(金) 11:54:42.89

>>5
キモっ

**デフォルトの名無しさん** · 2013/11/01(金) 12:08:40.89

いかにも作者が宣伝で立てたようなスレだな

**デフォルトの名無しさん** · 2013/11/01(金) 12:21:34.45

正規表現を処理するアレコレをゴリゴリ書いてるから、涙が出た。
他の言語でも使えないかな。

**デフォルトの名無しさん** · 2013/11/01(金) 15:07:53.08

未踏とか選ばれているようじゃ
ゴミだな

**デフォルトの名無しさん** · 2013/11/01(金) 16:02:24.46

>>15
どうしてそう思うの？

**デフォルトの名無しさん** · 2013/11/01(金) 16:22:39.32

俺は以前ブラウザもどきが選ばれてるのを見てなんじゃこりゃと思ったな

**デフォルトの名無しさん** · 2013/11/01(金) 16:29:33.75

最近はスーパープログラマだっけ？あの会社のゴミプログラマがなってたな。

**デフォルトの名無しさん** · 2013/11/01(金) 16:29:17.85

未踏は書類書くのが上手い香具師と
東大みたいな官僚とずぶずぶのところが通りやすい

**デフォルトの名無しさん** · 2013/11/01(金) 17:10:44.46

OCamlで実装してほしい（切実

**デフォルトの名無しさん** · 2013/11/01(金) 17:16:00.86

>>19
どっちもダメだったんですね。

**デフォルトの名無しさん** · 2013/11/01(金) 17:18:25.16

採択率No1電通大

**デフォルトの名無しさん** · 2013/11/01(金) 20:04:37.09

若いときに補助金貰って乞食することを覚えると
まともに働けなくなるんだな

**デフォルトの名無しさん** · 2013/11/01(金) 20:33:24.62

プログラミング言語エジソン？

**デフォルトの名無しさん** · 2013/11/01(金) 21:09:08.94

江木損

**デフォルトの名無しさん** · 2013/11/02(土) 18:55:17.69

江木だからEgisonか
なるほど

**デフォルトの名無しさん** · 2013/11/02(土) 19:01:04.56

歴史を何度見ても笑ってしまう

**デフォルトの名無しさん** · 2013/11/02(土) 19:16:38.96

"ゴミ"を連発するuy名無しで乙

**デフォルトの名無しさん** · 2013/11/02(土) 21:48:52.97

これって実際のところ、どのくらいの新規性があるの？

**デフォルトの名無しさん** · 2013/11/02(土) 21:51:03.72

どの言語に採用しても
便利だろう

**デフォルトの名無しさん** · 2013/11/02(土) 21:54:21.12

>>29
関数型SQL

**デフォルトの名無しさん** · 2013/11/02(土) 22:04:47.99

正規表現と同等かそれ以上の記述が出来て当たり前という感覚なので、あまり新しさは感じない。
地球ではこんなのが未踏なのか？

**デフォルトの名無しさん** · 2013/11/02(土) 22:07:43.93

>>32
あんたの星ではどこまで踏んづけてるんや？

**デフォルトの名無しさん** · 2013/11/02(土) 22:23:52.18

>>33
最終言語

**デフォルトの名無しさん** · 2013/11/02(土) 22:26:59.78

それどんな言語？
Ｚ言語とか言うのか？

**デフォルトの名無しさん** · 2013/11/02(土) 22:34:13.90

Z言語って言葉はすでにある。地球人も頑張ってればいつかゴールできる最終地点。

**デフォルトの名無しさん** · 2013/11/02(土) 22:37:48.61

わかった
がんばるからどんな言語か教えてたもれ

**デフォルトの名無しさん** · 2013/11/02(土) 22:40:31.84

>>32
正規表現だと間に余計なのが何個も入るやろ

**デフォルトの名無しさん** · 2013/11/02(土) 22:46:10.36

答えが１つというのは言語の個性が失われた実に寂しい世界だよ。
研究という地球人の楽しみを奪う気はないので教えられる事は限られる。

**デフォルトの名無しさん** · 2013/11/02(土) 22:47:48.95

>>39
我々人類は何合目まで来てるんだ？

**デフォルトの名無しさん** · 2013/11/02(土) 22:57:37.24

>>40
わからない。研究者による。
富士山に登って世界一高い山に登頂成功したぞ！と勘違いしている状態。

**デフォルトの名無しさん** · 2013/11/02(土) 23:03:20.58

いやそれはないだろ
まだ登頂成功したと言える言語は無いぞ
Ｃ＋＋をある程度使いこなせると
そういう錯覚に陥ったことは確かだが

**デフォルトの名無しさん** · 2013/11/02(土) 23:04:12.75

富士山登るのはすごいよ

**デフォルトの名無しさん** · 2013/11/02(土) 23:14:52.18

地球の言語の主要パラダイムと宇宙の言語の主要パラダイムとはかなり違ってて、
それらの合成だったり分解だったりする。だから明確な進捗状況があるわけじゃない。

**デフォルトの名無しさん** · 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にならないの？

**デフォルトの名無しさん** · 2013/11/03(日) 00:45:13.48

そうか、リストを[ ]で表してるんじゃないのか
Collectionは全部{ }で表現して、マッチさせるときに(list integer)とか指定するんだ
でもどうしてそうするの？

**デフォルトの名無しさん** · 2013/11/03(日) 01:26:39.59

>>5
何この人･･････
ロックだ。。。

**デフォルトの名無しさん** · 2013/11/03(日) 01:40:25.36

>>42
革新的パラダイムが一向に出てこないだろ。そういう状態。

**デフォルトの名無しさん** · 2013/11/03(日) 02:18:00.24

正直Egisonは革新的パラダイムになる可能性を感じる

**デフォルトの名無しさん** · 2013/11/03(日) 03:08:07.43

さとし、くだらないこと言ってないで宿題やりなさい

**デフォルトの名無しさん** · 2013/11/03(日) 04:00:23.44

>>45-46
[<cons $x $xs> [x xs]]
これ外側の[]はパターンマッチ処理のリストじゃないのか？

**デフォルトの名無しさん** · 2013/11/03(日) 09:13:16.56

>>45
xs相当部分の順序に関するパターンがないからじゃないかな

**デフォルトの名無しさん** · 2013/11/03(日) 09:14:10.27

[]はリストではなくTuple
ぱたーん処理をTupleで表記しているだけ

**デフォルトの名無しさん** · 2013/11/03(日) 12:41:59.26

Ω言語はよ

**デフォルトの名無しさん** · 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]})))

この@は何の意味？
まだ説明していない要素を使用して説明しているところが多いので、ドキュメントを読んでもわからないことが多い

**デフォルトの名無しさん** · 2013/11/04(月) 10:30:48.07

江木さんは情熱大陸にでるべき

**デフォルトの名無しさん** · 2013/11/04(月) 17:01:53.85

http://ll.jus.or.jp/2011/slide/LT/egi.pdf

**デフォルトの名無しさん** · 2013/11/04(月) 19:59:24.46

PDFの中の論文、リンクが切れている

**デフォルトの名無しさん** · 2013/11/15(金) 09:28:53.96

> The creater of Egison starts to work in Rakuten Institute of Technology from today!

**デフォルトの名無しさん** · 2013/11/21(木) 18:34:33.77

なんかニュー速とかでも
Egisonの名前見るようになったんだが
知名度高いの？

**デフォルトの名無しさん** · 2013/11/21(木) 23:53:38.67

自演度が高い
TheEnd

**デフォルトの名無しさん** · 2013/11/22(金) 00:03:54.92

糞スレ上げるな

**デフォルトの名無しさん** · 2013/11/22(金) 14:10:53.76

EgisonってEdisonの間違いじゃないの？

**デフォルトの名無しさん** · 2013/11/22(金) 14:41:14.85

エギソン

**デフォルトの名無しさん** · 2013/11/23(土) 12:31:35.99

言語より江木さんが面白い

**デフォルトの名無しさん** · 2013/11/26(火) 00:39:25.64

いかに金を調達するかが重要な世界だと思う今日此頃

**デフォルトの名無しさん** · 2013/11/26(火) 02:02:49.34

>>23
ひょっとして情熱を注げない仕事だけが、世の中にある、まともな仕事だと思ってる？

**デフォルトの名無しさん** · 2013/11/26(火) 08:52:34.28

>>67
気にするな。
どうせ大した事は言っていない。

**デフォルトの名無しさん** · 2013/11/28(木) 21:26:58.83

>>5
これで笑えるのはISerだけだろ。内輪ネタ乙

**デフォルトの名無しさん** · 2013/11/28(木) 23:36:09.18

へそに溜まってたゴミを取ろうとしてたら
指がうんこ臭くなったそんな感じ

**デフォルトの名無しさん** · 2013/11/29(金) 00:11:33.27

その例えでわかるのは君の生活レベルだけだな

**デフォルトの名無しさん** · 2013/11/30(土) 22:27:00.97

エギソンは偉い人
そんなの常識
ぱっぱぱらりら

**デフォルトの名無しさん** · 2013/12/11(水) 18:14:12.06

楽天で働き始めてる
さすが

**デフォルトの名無しさん** · 2014/02/25(火) 09:33:55.35

どんな言語？

**デフォルトの名無しさん** · 2014/02/28(金) 10:40:57.48

エジソン

**デフォルトの名無しさん** · 2014/03/01(土) 10:18:16.73

これ結局流行んねーの？

**デフォルトの名無しさん** · 2014/03/03(月) 02:10:45.78

>>72の元の歌詞には何十年もずっと違和感を感じていたが、
今ふと偶然にも違和感の正体に気付いた。
本当に偶然、今風呂からあがってちょうど体もポカポカしてたから気付いたのかもしれないし、
もしかしたらエジソンではなく「エギソン」と書いてあったからこそ気付いたのかもしれない。
俺の気付いたことはもしかしたら常識的な感覚ではない可能性もあるが、
個人的にはストンと収まった感がある。
>>72には感謝する。
その違和感というのは

**デフォルトの名無しさん** · 2014/03/07(金) 23:21:06.60

エジソンの開発効率はどんな感じ？

**デフォルトの名無しさん** · 2014/03/10(月) 18:16:10.72

パターンマッチが最強ならいよいよPerlは不要だな

**デフォルトの名無しさん** · 2014/04/23(水) 00:23:18.20

prolog,haskellのアレだろ
なんで、皆、使いづらい道具を作りたがるのか謎

**デフォルトの名無しさん** · 2014/05/08(木) 22:31:09.13

Egisonのスレなんてあったのかよｗｗ

**デフォルトの名無しさん** · 2014/06/23(月) 11:23:55.66

>>81
俺も今知ってびっくりしたｗ
まあ俺の場合 Egison を知ったのも一昨日なんだけどｗ

**デフォルトの名無しさん** · 2015/02/07(土) 00:00:39.64

最近なんか進展無いのかな？

**デフォルトの名無しさん** · 2015/02/12(木) 03:41:23.78

もし知っている人いたら質問したいんだけど
これC言語とか他言語から呼び出せる？
もしくはGUIのプログラムが書ける？

**デフォルトの名無しさん** · 2015/02/14(土) 06:36:30.88

麻雀の役判定とかがやりやすいのはいいけど
GUIができないと麻雀ゲーム作れないから意味ない
GUIの部分は他言語でもかまわないが

**84=85** · 2015/07/23(木) 08:15:43.44

RubyのGemがあるようなので
Ruby覚えてる

84 · 2015/07/24(金) 21:28:24.34

しかしこれドキュメントは英語だけなのかな？

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

日本語ドキュメントなかったら
Rubyみたいに流行ることなさそう

**デフォルトの名無しさん** · 2015/07/25(土) 00:58:20.71

日本語の文書付けると訳知り顔の日本人か朝鮮人か知らんけど、とにかく日本語の
わかるやつらに一大反対キャンペーはられるしな。

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

Rubyが叩かれるのは、日本語の文書が有るから。

**デフォルトの名無しさん** · 2016/01/08(金) 00:16:50.74

すいません、egison-rubyってmatchつかった再帰関数って書けますか？
なんかエラーになるんだけど原因がよくわからない。

**デフォルトの名無しさん** · 2016/01/23(土) 20:39:18.43

配列の中のある特定の要素が１個以上連続するパターンはどうやったらかけますか

**デフォルトの名無しさん** · 2016/03/16(水) 01:25:59.73

こんなんでどう?先頭の.は半角スペースにしてください。
(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})
{}

**デフォルトの名無しさん** · 2016/05/04(水) 10:34:59.55

http://qiita.com/greymd/items/3515869d9ed2a1a61a49

**デフォルトの名無しさん** · 2017/05/10(水) 00:11:55.22

プログラミング言語Egisonによるガロア理論入門 (1) ―2次方程式の解の導出
https://codeiq.jp/magazine/2017/05/50263/

Egisonで1の原始5乗根の計算
https://codeiq.jp/q/3257

これ

**デフォルトの名無しさん** · 2017/05/10(水) 11:17:20.83

アフィ乙江●

**デフォルトの名無しさん** · 2017/08/23(水) 12:22:57.51

江添亮タイホωω

**デフォルトの名無しさん** · 2018/05/23(水) 21:53:28.35

僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』

OAJOL

**デフォルトの名無しさん** · 2018/07/05(木) 00:08:51.59

N30

**デフォルトの名無しさん** · 2018/10/23(火) 11:20:45.86

散歩中

**デフォルトの名無しさん** · 2018/11/05(月) 00:13:06.74

ここまで全部自演でした白状します

**デフォルトの名無しさん** · 2019/02/11(月) 01:18:06.78

Egison最新版だと、新しいSyntaxが使えるね。
> egison -N
で、(take 10 primes)　を　take(10, primes)　と書けるみたいな。

**デフォルトの名無しさん** · 2019/02/11(月) 12:20:23.35

test

**デフォルトの名無しさん** · 2019/11/18(月) 03:38:34.34

Egison Version 3.9.4でHaskellっぽく
　take 10 primes
になった。

**デフォルトの名無しさん** · 2019/11/18(月) 03:49:09.56

> egison -N
でね。