はてなブックマーク

この度、Egisonについてソフトウエアジャパンアワードという大きな賞を頂けることになりました。 その受賞スピーチのために作成した15分のプレゼンテーションを公開します。 スピーチはソフトウエアジャパンにて2月3日の18:20-18:35に行われます。 #1 こんばんは。ご紹介に与りました江木です。 本日は「プログラミング言語Egison-表現の新たな抽象化の発見」というタイトルでスピーチさせて頂きます。 #2 私は現在楽天技術研究所に所属し研究を進めています。 研究の興味はプログラミング言語や自動推論の理論にあります。 私個人のWebサイトには、過去に書いた文章やソフトウェアをまとめておりますので是非訪れてみてください。 #3 本日の講演の流れを説明します。 まず最初にEgisonを作った理由をお話します。 その後、Egisonの概要をデモを交えながら説明します。 その後、これまでのEg

プログラミング言語 Egison - 直感をそのまま表現するパターンマッチング - Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。 リストや多重集合、集合、ツリー、グラフなどといった幅広いデータ型に対して、パターンマッチが記述できます。 それにより、Egison プログラマは非常にシンプルにプログラムを記述できるようになります。 -- 素数の無限リストから全ての双子素数をパターンマッチにより抽出 def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- 最初の10個の双子素数を列挙 take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)