泛型與索引編程春季班

今年三月,EPSRC 補助的泛型與索引編程計畫將在牛津大學開設五天的課程: Spring School on Generic and Indexed Programming,講者包括:

  • Nate Foster (Princeton University): Bidirectional Programming
  • Ralf Hinze (University of Oxford): Generic Programming with Adjunctions
  • Oleg Kiselyov (Fleet Numerical Meteorology and Oceanography Center): Typed Tagless Interpreters
  • Simon Peyton Jones (Microsoft Research Cambridge): Type Functions
  • Jeremy Siek (University of Colorado at Boulder): Concepts in C++
  • Stephanie Weirich (University of Pennsylvania): Generic Programming with Dependent Types

詳情請參閱公式網頁

「泛型編程 (generic programming)」這詞大家可能較常看到。如同網頁上說的,泛型編程的目標是讓同一段程式能用在更多種不同的情況。諸如資料的形狀、代數結構、演算策略等都可以成為程式的參數。函數編程圈內談得較多的是資料型別的泛型 — 讓同一個函數可以用在串列、二元樹、多元樹等不同資料結構上。這和物件導向圈內的「泛型」稍有不同,但兩邊的人一直試著溝通、了解彼此的語言。

用依值型別 (dependent type) 來作泛型編程是最近的一個新嘗試。所謂索引編程 (indexed programming) 是一種較輕量的依值型別應用,我不知怎麼翻譯比較合適。

這次講師陣容蠻堅強的,牛津也是個好地方。有可能的話很推薦大家去。

This entry was posted in 活動消息 and tagged , . Bookmark the permalink. Post a comment or leave a trackback: Trackback URL.

Post a Comment

Your email is never published nor shared. Required fields are marked *

You may use these HTML tags and attributes <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

*
*