時間: 
11月07日 14時
05分開始

静的な型ってなんだろう?考えてみよう!

登壇者: 
岡部究

近年注目を集めている関数型言語。その特性の1つに従来の言語よりも強い型の利用があります。本ステージではATS言語の型システムを例にして、静的型とは何なのか一緒に考えます。

資料
ビデオ / スライド : 
団体名:
Japan ATS User Group
ステージ企画