イベント説明

Idris は依存型というとても強い型を使うことで、非常に型安全な記述ができるプログラミング言語です。 例えば一般的なプログラミング言語では、リストから何番目かの要素を1つ取り出す時、取り出せるかどうかは実行時までわかりませんが、依存型の世界では「コンパイルが通れば必ずリストから要素を取り出せる関数」を書くことができます。

このイベントでは、プログラミング言語Idrisによる型を活用した安全なプログラミングの基本を紹介します。 Idris は今年バージョン1.0が出たばかりでまだ言語としては未成熟ですが、関数の型から自動的に実装を生成するなどユニークな機能(※)も持ち合わせており、勉強するには非常に面白い言語です。

（※）Idris + Atomによる型駆動開発入門

http://takezoe.hatenablog.com/entry/2017/06/15/140431

対象

• 新しいプログラミング言語を知って視野を広げたいプログラマーの方
• コードを書いていていつも色々と心配になってしまうプログラマーの方

※Idrisは関数型言語ですが、今回のイベントで必要な知識については説明しますので、ふだん関数型言語を使っていない方も大歓迎です。

用意するもの

特に必要なものはありませんが、手元でも動かしてみたいという方は Idris をインストールしたノートPCをお持ちいただくのがよいかと思います。 Idris は brew や cabal からインストールできます。

※ビルドにかなり時間がかかるので、インストールする方は事前にインストールを行っていただくのをおすすめします。

(インストール手順ページ)

https://www.idris-lang.org/download/

エディタはAtom+Idrisプラグインがおすすめです。

開催概要

• 日時:2017/11/08（水）19:30〜20:30（19:20開場）
• 場所:株式会社ビズリーチ 東京都渋谷区渋谷2-15-1 渋谷クロスタワー 12F
• 参加費:無料
• 持参物:名刺1枚（名札用）

登壇予定者

小田 洋平（株式会社ビズリーチ エンジニア）

JVMとかガベージコレクタとかが好きなScalaエンジニア

アジェンダ

※アジェンダは予告なく変更される場合がございます。

注意

• イベント参加者によるスカウト等勧誘行為は禁止です。
• イベントの写真を撮らせて頂く場合がございます。
• イベントキャンセルが多い方はこちらで参加をお断りさせていただく場合がございます。
• 参加登録時に入力していただいた名前・メールアドレスは今後ビズリーチのイベント開催等おしらせに利用させていただきます。 ご理解ご協力のほど、よろしくお願い致します。

D3とは

創業以来、高い技術力と戦略的なUI/UXを武器に、世の中に価値あるサービスを生み出しているビズリーチ。
サービスの数が増えるにつれ、技術の幅が広がったため、そのスキルやノウハウを社内のみならず、
世の中のエンジニアやデザイナーとも共有すべく、
私たちは「D3（ディーキューブ）※」というプロジェクトチームを立ち上げました。
D3では、たくさんのイベントや勉強会を開催し、
世のエンジニア・デザイナーと共に、さらなる高みを目指します。
※D3＝DESIGNER & DEVELOPER DIVISION