MF#K regular meetup at Prosa
Details
Agenda: Modular code in functional programming languages
In Java and C# you have interfaces - but how do you write implementation-agnostic code in functional languages?
• Record of functions: The record type corresponds to an interface, and record instances corresponds to implementations.
• Type classes: Not to be confused with classes in Java or C#, type classes and type class instances can be used in much the same way that interfaces and classes are used in Java.
• The Standard ML module system: In Standard ML, a module can implement a signature. You can then defined functors*, which are modules that take other modules as parameters.
Talk by Joakim Ahnfelt-Rønne
----
We have set up a collaboration with Prosa, who generously offered to provide a location for our regular meetups. Please see Prosa's Calendar for more details: Prosa Calendar (https://www.prosa.dk/kalender/hele-kalenderen/)
The ADA meeting room fits about 25 people and if we need more space, we can use the canteen, which has a capacity of +50.
Regards,
Ramón and Joakim