Xiaoyan Ren is a student who is enthusiastic about functional programming and PLT. She has written Haskell for 2 years and works with the awesome people at the PLCT Lab in ISRC, CAS building the Aya proof assistant. She loves to chat about dependent type theory and the implementation of type system elaboration.
Xiaoyan Ren is a student who is enthusiastic about functional programming and PLT. She has written Haskell for 2 years and works with the awesome people at the PLCT Lab in ISRC, CAS building the Aya proof assistant. She loves to chat about dependent type theory and the implementation of type system elaboration.
Talks I've Given
-
Lightning Talk: A Spectre is Haunting Haskell — The Spectre of Effects
Featuring Xiaoyan Ren
All existing effect systems have heavy performance penalty. Even mtl can betray you if you aren’t careful enough on specializing. But what if we can avoid all these — on a concrete monad with some redundant constraints?
haskell effects