BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Lightweight effects for Scala
DTSTART:20170829T130000
DTEND:20170829T150000
DTSTAMP:20260408T020644Z
UID:055d9689fe1fc7ad1503dd9700669ec5d018079a80096d3de3ee8d6b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Fengyun Liu\nEDIC candidacy exam\nExam president: Prof. Rachid
  Guerraoui\nThesis advisor: Prof. Martin Odersky\nCo-examiner: Prof. Vikto
 r Kuncak\n\nAbstract\nA common wisdom in the programming language\ncommuni
 ty is that mutable states and unrestricted side effects\nmake programs err
 or-prone and incurs high maintenance cost\,\nwhile pure and effect-discipl
 ined programs improves software\nquality and reduces maintenance efforts.\
 nPure and effect-disciplined programs are only practical with\nan effect s
 ystem\, which can track and check the usage of mutable\nstates\, IO\, file
 s\, network and etc. in the program at compile time.\nEffect systems also 
 enable more compiler optimisations and safer\nparallel and distributed pro
 gramming.\nIdeas like monads\, type-and-effect systems\, algebraic effects
 \nabound in research\, but none of them gets popular in the industry\,\ndu
 e to their verbosity and complexity. Based on the idea effects\nas capabil
 ities and ideas from previous research\, we believe we\ncan address the ve
 rbosity and complexity that are inherent in\neffect systems\, thus develop
  a practical effect system for Scala.\n\nBackground papers\nGentrification
  Gone Too Far? Affordable 2nd-Class Values for Fun and (Co-) Effect\, by 
  Leso Osvald et al.\, 2016.\nAlgebraic effects for Functional Programming\
 , by  Daan Leijen\, 2016.\nThe marriage of effects and monads\, by Philip
  Wadler et al.\, 2003
LOCATION:INR 331 https://plan.epfl.ch/theme/generalite_thm_plan_public?req
 uest_locale=en&room=inr%20331&domain=places&dim_floor=3&lang=en&dim_lang=e
 n&baselayer_ref=grp_backgrounds&tree_groups=centres_nevralgiques%2Cac
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR