[Pl-seminar] Fwd: 28th November : Vitaly Bragilevsky - Programming language development and standardization: How they (don’t) do in Haskell

Aviral Goel goel.av at husky.neu.edu
Wed Nov 28 09:45:40 EST 2018


Reminder, this is happening in 15 minutes.
---------- Forwarded message ----------
From: "Aviral Goel" <goel.av at husky.neu.edu>
Date: Nov 21, 2018 2:12 PM
Subject: [Pl-seminar] 28th November : Vitaly Bragilevsky - Programming
language development and standardization: How they (don’t) do in Haskell
To: <pl-seminar at ccs.neu.edu>
Cc:

*Date:* Wednesday, November 28th, 2018
*Location:* WVH 366
*Time:* 10:00 AM to 11:30 AM

*Programming language development and standardization: How they (don’t) do
in Haskell*

Programming languages differ a lot in the ways of their development. Who is
responsible for including new features and removing obsolete ones? What is
a process of doing that? Is there any more or less formal language
definition? How respected is that definition by the compilers? How is this
changed if there is only one compiler? These questions are answered quite
differently for various programming languages. Haskell takes its own way
which was crystallized relatively recently. We have GHC Proposals in the
form of the GitHub pull requests to suggest new language features. We also
have the GHC Steering Committee with its own process to either accept or
reject proposals. Finally, there is the Haskell 2020 Language (Haskell
Prime) Committee with its own problem of being effectively dead.

In this talk, I’d like to describe how this system works for Haskell and
why it doesn’t work sometimes. I will discuss the most recent examples of
transforming Haskell kinds system towards dependent types (started before
the GHC Steering Committee was formed) and introducing linear types in
Haskell (subject to the full-blown Committee discussion) among others. I
will also characterize the current state and perspectives of the Haskell
standardization process.

*Bio*

Vitaly Bragilevsky serves as both the Haskell 2020 Language Committee and
the GHC Steering Committee member. He works as a Senior Lecturer at the
Southern Federal University in Rostov-on-Don, Russia where he teaches
undergraduate students functional programming and theory of computations.
He is currently a grantee of the Fulbright Faculty Development Program
holding temporary Courtesy Research Assistant position at the University of
Oregon under the supervision of Prof. Zena Ariola. Vitaly Bragilevsky
translated into Russian and edited translations of the several books on
Haskell and the theory of programming languages. He is the author of
‘Haskell in Depth’ (Manning Publications, available via Manning’s early
access program).
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the pl-seminar mailing list