[msp-interest] [MSP101] Emma Tye: A Rig of Transformations (1pm Thu 21/5, LT711)

[Emma Tye]

Dear all,

We have another MSP101 seminar coming up. Hope to see you there!

Best wishes,
Emma

Date, time and place:
  Thursday 21 May, 13:00, Livingstone Tower room LT711

Online attendance:
  https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live

Speaker:
  Emma Tye (MSP)

Title:
  A Rig of Transformations

Abstract:
  Describing (binary) data representatations and transformations for types can be tricky to do correctly, efficiently and erganomically. I will show what I have been working on - modelling algebraic data types as a "rig" (ring without "n"egation), where the equalities are treated as bi-directional transformations (isomorphisms) between data. Using this approach, we can also model inclusions of one data type into another as a "partial" isomorphism, allowing for padding of data. Furthermore, we can ask how (partial) isomorphisms interact with functions on data types - with some surprising answers!

MSP101 Feeds:
  Web: http://msp.cis.strath.ac.uk/msp101.html
  RSS: http://msp.cis.strath.ac.uk/msp101.rss
 iCal: http://msp.cis.strath.ac.uk/msp101.ics