IdrisでWebアプリを書く2. 自己紹介 • 田中英行(@tanakh) • Haskellとかやってます • 「すごいHaskellたのしく学ぼう」翻訳 • 「Parallel and Concurrent Programming in Haskell」翻訳中 • Idris初心者 3. Idrisとは？ • http://www.idris-lang.org/ • “Fully Dependent Type” なプログラミング言語 • Cf. CoqとかAgdaとかATSとか • 純粋関数型 • 正格評価 • 様々な言語へのバックエンド • C言語 • LLVM • Java • JavaScript 4. 処理系のインストール • $ cabal install idris $ idris ____ __ _ / _/___/ /____(_)____ / // __ / ___/ / ___/ Versio
Course on Programming with Idris: Videos/Slides | Idris
