Events and news relevant to the Laboratory for Foundations of Computer Science

[Ohad Kammar <ohad.kammar@ed.ac.uk>]

Hi,

Reminding that this week's LFCS seminar will start shortly:

  Tuesday, 05 Aug, 4.10pm

  Michael Sperber, Active Group GmbH

  This seminar is hybrid.

  Venue: IF G.03

  To attend remotely:

  URL: https://ed-ac-uk.zoom.us/j/84981617625

  Password: JBY8a2Bm

We're synchronising the seminar time with the teaching timetable, and

plan to start the talk at the advertised time, so please arrive a minute or two

earlier.

In detail:

----------------------------------------------------------------------

Michael Sperber, Active Group GmbH

https://www.deinprogramm.de/sperber/

  Tue, 05 Aug, 4.10pm

  Venue: IF G.03

  Remote participation:

  URL: https://ed-ac-uk.zoom.us/j/84981617625

  Password: JBY8a2Bm

Title: Functional Programming - What is it Good For?

Abstract

Judging from papers and books on functional programming (FP), FP

excels as a tool for writing short programs. But is it equally good

for programming in the large and in the long term? Large FP codebases

certainly exist, and their developers swear by FP. Yet, the big leap

into the software architecture mainstream is yet to come, despite over

40 years (50? 65?) of experience, countless papers and plenty of

evangelism. One reason is that there is little comprehensive

documentation of how and why FP in the large works. The talk will

report on more than decade of industrial projects using functional

programming at Active Group - the techniques that we applied, why they

work, and what the FP community still needs to do to succeed at scale.

We'll touch on architecture, coupling, data modeling, the development

lifecycle, and how to structure functional-programming teams for large

projects.

Bio: Mike Sperber is CEO of Active Group, a software consultancy in

Tübingen, Germany that develops software for client projects using

functional programming. He has a long history of publishing on

functional programming, including many research papers, and was the

project editor for the R6RS standard for the Scheme programming

language. He has also developed an introductory course in programming

in use at several German universities, based on the PLT group's

Program by Design approach. He also co-authored iSAQB Advancedd

curricula on Functional Software Architecture, Domain-Specific

Languages and Formal Methods.

----------------------------------------------------------------------

Upcoming seminars:

------------------

15 Aug: J. Garrett Morris, The University of Iowa

23 Sep: Paul Goldberg, University of Oxford

30 Sep: Leslie Ann Goldberg, University of Oxford

07 Oct: Zongchen Chen, Georgia Institute of Technology (Georgia Tech)

14 Oct: Bruno Cavalar, University of Oxford

21 Oct: Xinyuan Zhang, Nanjing University

28 Oct: Patrick Totzke, University of Liverpool: Optimally Controlling a Random

        Population

If you would like to propose a speaker, or speak yourself, please contact me.

The seminar webpages:

http://web.inf.ed.ac.uk/lfcs/events/lfcs-seminars

Yours,

Ohad.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.