お知らせ ビープラウド、機械学習・データ分析の問題をオンライン学習サービスPyQにて提供開始

このエントリーをはてなブックマークに追加

11月

8

Idrisによる超型安全プログラミング入門

超強い型でコードを書いてみる

募集内容

参加枠1

無料

先着順
16/18

イベントの説明

イベント説明

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エンジニア

アジェンダ

時間 発表者
19:20~19:30 受付
19:30~20:30 イベント


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

注意

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

D3とは

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

資料 資料をもっと見る/編集する

フィード

dcubeio

dcubeioさんが資料をアップしました。

2017/11/10 14:35

dcubeio

dcubeio さんが Idrisによる超型安全プログラミング入門 を公開しました。

2017/10/27 17:38

Idrisによる超型安全プログラミング入門 を公開しました!

終了

2017/11/08(水)

19:30
20:30

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

募集期間
2017/10/27(金) 17:32 〜
2017/11/08(水) 20:30

会場

株式会社ビズリーチ

東京都渋谷区渋谷2-15-1 渋谷クロスタワー 12F

株式会社ビズリーチ

管理者

参加者(16人)

sm0kym0nkey

sm0kym0nkey

Idrisによる超型安全プログラミング入門に参加を申し込みました!

otofu-square

otofu-square

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

ymtszw

ymtszw

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

KUWASHIMA Yuichiro

KUWASHIMA Yuichiro

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

t10471

t10471

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

yksym_t

yksym_t

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

elkel53930

elkel53930

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

Keiju Terazono

Keiju Terazono

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

kubo39

kubo39

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

tacke_jp

tacke_jp

Idrisによる超型安全プログラミング入門 に参加を申し込みました!

参加者一覧(16人)

キャンセルした人(5人)