Haskellライクな構文をEgisonに実装している話 - momologue
これは言語実装Advent Calendar 2019の2日目の記事です。 私は少し前から、楽天技術研究所でEgisonの開発アルバイトをしています。入社してから初めての大きなプロジェクトとしてEgisonの構文を新しくするというのを担当しているので、その紹介と、設計/実装で悩んだ(でいる)ことなどを書こうと思います。 Egisonとは Egisonについて聞いたことがないという人はとりあえず公式サイトを見てほしいのですが、概要としては 表現力豊かなパターンマッチ(非線形パターン*1など) (上のパターンマッチを利用して実装された)数式処理システム を強みとし、プログラムや数式を簡潔に記述できることに重きを置いているプログラミング言語です。 これまでEgisonはS式(Lispのようなカッコが多い文法)の構文を持っていましたが、Lispに習熟している人を除く大抵の人にとってはS式はあまり読
Egisonの学び方
Egisonの学び方 Egisonは，Hackageから配布されている日本発のオリジナルプログラミング言語です． 本記事ではこのプログラミング言語Egisonをこれから知りたいという方のためにどういう情報があるかまとめて紹介したいと思います． - まずはインストール Hackageを使って配布しているので，Haskellユーザの方なら， $ cabal update $ cabal install egison とシェルでコマンドを打つだけでインストールすることができます． Gitをインストールしているなら， $ git clone git@github.com:egisatoshi/egison2 とすれば，ソースコードも手に入ります． - エディタの設定 Egisonプログラムを書いたり読んだりするにはエディタのEgisonモードが飛鳥です． 開発者が用意したEgison-modeと，
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - egison/egison-prover: Proof writing language with Egison pattern matching
GitHub - egison/sweet-egison: Haskell library for non-deterministic pattern matching
