‹Programming› 2023 (series) / VIMPL 2023 (series) / VIMPL 2023 / Lawvere: A categorical programming language with effects
Lawvere: A categorical programming language with effectsVIMPL
Mon 13 Mar 2023 16:00 - 16:25 at Faculty of Engineering Building 6, Seminar Room A - VIMPL Chair(s): Dimi Racordon
Lawvere is a language adopting a categorical take on concatenative programming, a paradigm in which all expressions denote functions, and the juxtaposition of expressions denotes function composition. Though Lawvere is a pure language, it allows programming with effects using free Freyd categories, much like Haskell is pure but allows programming with effects using monads or arrows.
This talk presents Lawvere’s design and implementation.
Mon 13 MarDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 13 Mar
Displayed time zone: Osaka, Sapporo, Tokyo change
16:00 - 16:50 | VIMPLMoreVMs / VIMPL at Faculty of Engineering Building 6, Seminar Room A Chair(s): Dimi Racordon Northeastern University, USA | ||
16:00 25mTalk | Lawvere: A categorical programming language with effectsVIMPL VIMPL James Haydon National Institute of Informatics, Japan | ||
16:25 25mTalk | Uniqueness is SeparationVIMPL VIMPL Liam O'Connor University of Edinburgh, Pilar Selene Linares Arévalo University of Melbourne, Christine Rizkallah University of Melbourne | ||
