Mapsで表示C++のテンプレートメタプログラミングやHaskellの型クラスメタプログラミングに代表される、「型の上で計算する」手法について語り合いましょうという趣旨の集まりです。型レベルプログラマーの間で言語の垣根を越えた技術交流ができればいいなーと思っています。それぞれの言語での型レベルプログラミングの基本について簡単に誰かが解説したあと、好き勝手にテクニックやライブラリ紹介などしゃべりたい人がしゃべります。(ytqwerty)発表時間や休憩の入れ方はおおよその目安です。適当に前後にずれることがあります。までよろしくお願いします。22:02)kinabaさま、はじめまして。日曜以外なら会場ご提供できるかもしれません。知ってる人の参加者が多いみたいなので。必要あれば連絡をください。日程と時間とかお教えいただければ対応します。22:17)system360さま、はじめまして&ありがとうございます!会場については、現在、別口で交渉させていただいてるところがあるのですが、もしそちらが駄目でしたら改めてお願いさせて下さい。ありがとうございます。15:27)サイボウズラボさんに場所をお借りすることができました。オファーありがとうございました。何かの機会がありましたらお願いします。11:54)Kinabaさん、了解です。何かありましたらどうぞ。ところで、「型」の定義における各方面の深い溝を埋めるための初歩的な講義もあるとよいのではないかと思うのですが、いかがでしょうか。(強い型付けと弱い型付け、関数型と手続き型などでは、「型」の定義が違います)『言語の垣根を越えた技術交流』の垣根に、型の定義の違いが根ざしていると考えます。10:43)http://atnd.org/events/512懇親会のページを別途作りました。参加されるご予定の方は、お手数ですがそちらにも登録お願いします。遅刻の常習犯が訊くことじゃないような気はしますが。16:24)開場について追記しました。reminderありがとうございます。「内容の依存関係等々で誰々の発表よりは後ろがいい」など希望のある方は↓にコメントお願いします。12:50)ちょい変更しました。15分前開場・ビルは開いているとのことなので15Fまで各自で来て下さい、ということでお願いします。00:29)楽しい会でした。さん、そして会場を提供していただいたサイボウズラボさん、どうもありがとうございました。08:19)とても楽しかったです。ありがとうございました。これを通じて、型について気になる人がどんどん増えてくれるといいなあ。閉じてるの、よくない。コメントを投稿するには、ログインしてください。5)tdusielt_info掲載されるイベント情報は、利用者の皆様によりご提供いただくものであり、株式会社リクルートは本情報の正確性や内容について、一切保証するものではございません。詳しくは利用規約をご参照ください。型レベルプログラミングには不慣れですが、面白そうなので参加します。テンプレートメタプログラミング大好きなので参加します。型プログラミング初心者ですが、ぜひ参加したいです。読みながら依存型周辺を勉強しているぐらいのぺーぺーです。勉強の過程で生まれた疑問を質問したいと思います。テンプレートとか全然メタメタしくないので、是非勉強させてください。最近OCamlを始めました。typing最高!(ウソ)というくらいの初心者ですが、自分が苦手そうなので知識を吸収したいです。C++プログラマーです。