Speaker:	Ki-Yung Ahn , Portland State University
When:	2008-12-24 10:00
Place:	Room 308, Bldg 302, SNU

Abstract

A newtype declaration in Haskell introduces a new type renaming an existing type. The two types are viewed by the programmer as semantically different, but share the same runtime representation. When operations on the two semantic views coincide, the run-time cost of conversion between the two types is reduced to zero (in both directions) because of this common representation. We describe a new language feature called Shared Subtypes (SSubtypes), which generalizes these properties of the newtype declaration. SSubtypes allow programmers to specify subtype rules between types and sharing rules between data constructors. A value of a type T, where T is a subtype of U, can always be cast, at no cost, to value of type U. This free up-casting allows library functions that consume the supertype to be applied without cost to subtypes. Yet any semantic interpretations desired by the programmer can be enforced by the compiler. SSubtype declarations work particularly well with GADTs. GADTs use differing type indexes to make explicit semantic differences, by using a different index for each way of viewing the data. Shared subtypes allow GADTs to share the same runtime representation as a reference type, of which the GADT is a refinement.

Short bio

2002년 KAIST 전산학과를 졸업하고 (주)그래텍에 서 3년여 간 국내 최대 규모 의 인터넷 스토리지 서비스인 팝폴더를 비롯한 분산 네트웍 스토리지 시스템 의 서버 프로그램 개발과 관리 업무를 담당하였으며, 2005년 일본 스토리지 시장 진출을 위한 파일뱅크 서버 시스템 구축을 위한 일본 파견팀에 참가하기 도 하였다. 2005년부터 미국 오레곤 주의 수도인 포틀랜드에 위치한 포틀랜드 주립대학 컴퓨터 과학과에서 보다 안전하고 정확한 소프트웨어를 위해 프로그 래밍 언어의 타입 시스템을 논리 증명 시스템을 하나로 묶기 위한 Tim Sheard 의 Omega 프로그래밍 언어 관련 연구에 박사과정 연구조교로 참여하고 하고 있으며, 주요 관심 분야는 함수형 언어, 타입 시스템, 프로토콜 안전성 증명, 프로그램 종료 분석 등이다. 2008년에는 Haskell과 F#을 사용하는 투자은행인 크레딧 스위스에서 QSI 여름 인턴으로 근무하였고, 한국인으로는 최초로 ACM SIGPLAN 2008 하스켈 심포지움(예전 하스켈 워크샵)에서 이 논문을 발표했다.

Resources

• talk slide