機能改善 【受付票発行機能 仕様変更のお知らせ】 「受付票発行機能」の仕様変更を行ない、受付票を常に発行することになりました。 詳しくはこちらをご覧ください。

お知らせ 【ATNDイベントデータ取り込み機能のお知らせ】 connpass に ATND で公開されているイベントデータの取り込み機能があることをご存知でしたか? 是非 connpass に取り込んで、運営コミュニティの歴史を消さないようにしましょう!詳しい内容・取り込み手順はこちら

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

Nov

8

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

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

Registration info

参加枠1

Free

FCFS
16/18

Description

イベント説明

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

Feed

dcubeio

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

11/10/2017 14:35

dcubeio

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

10/27/2017 17:38

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

Group

D-Cube

Number of events 338

Members 6119

Ended

2017/11/08(Wed)

19:30
20:30

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2017/10/27(Fri) 17:32 〜
2017/11/08(Wed) 20:30

Location

株式会社ビズリーチ

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

Organizer

Attendees(16)

sm0kym0nkey

sm0kym0nkey

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

otofu-square

otofu-square

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

ymtszw

ymtszw

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

KUWASHIMA Yuichiro

KUWASHIMA Yuichiro

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

toshinao

toshinao

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

yksym_t

yksym_t

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

elkel53930

elkel53930

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

Keiju Terazono

Keiju Terazono

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

kubo39

kubo39

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

tacke_jp

tacke_jp

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

Attendees (16)

Canceled (5)