Name: Tenth Func Prog Sweden 2024 – Online
Start: 2024-12-03T18:00:00+01:00
End: 2024-12-03T20:00:00+01:00

Welcome to the tenth Func Prog Sweden MeetUp 2024 – Online

This MeetUp will be streamed live online on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden

We have updated the agenda as the first speaker can’t join due to personal reasons.

The program starts at 18:00.

* Intro by Magnus Sedlacek
* Building a type checker in Haskell by Christoffer Ekeroth
* Beyond Lambda Calculus: Relational Computations by Marcos Magueta
* Post-show chat

**Building a type checker in Haskell**
Ever wondered how type checkers work? Want to build your own? In this talk you will learn how to implement a type checker for a simple programming language in Haskell”

**Christoffer Ekeroth**
I'm a senior software engineer who's passionate about efficiency and continuous improvement. Currently helping functional programming to take over the world at Functional Software.
[https://www.linkedin.com/in/ekeroth/](https://www.linkedin.com/in/ekeroth/)

**Beyond Lambda Calculus: Relational Computations**
There is a non-trivial connection between declarative programming, logic programming, and functional programming. From Ancient Greece to modern computing, relations have been our ontological commitment. Be it on understanding arithmetic, knowing one's personal preferences, or even on knowing how to derive π out of a circle. Aristotle's Categories laid the foundation for identifying abstract structures behind concrete reality -- a concept central to declarative programming today.

We'll extend this idea by asking: what if we push lambda calculus beyond functions and into the realm of propositions? By combining logic and functional programming, a relational lambda calculus would come to offer a novel way to express the world. This talk is concerned with displaying how this blend opens up fresh possibilities for computation, and why we're missing out on its potential.

**Marcos Magueta**
[Magueta ](https://github.com/mmagueta)is a software romancist. Currently an F#/.NET backend developer, he is dedicated to ensuring that systems reflect business rules with intended precision with the academic state-of-the-art. His impetus lies in integrating logic and grammar into modern computation, while also translating research into practical solutions for the marketplace. In addition to his engineering work, he is also an associate member of the [Project Nekoma](https://github.com/Dr-Nekoma) learning platform and co-founder of [Perplex Systems](https://github.com/PerplexSystems), a free and open-source initiative.
[https://www.linkedin.com/in/mmagueta/](https://www.linkedin.com/in/mmagueta/)

**Post-show chat**
Once the live stream is over we will do a post show chat on the FPS Discord Server, where you can join and ask questions and meet more community members (this will no be recorded).

Invite for the FPS Discord Server: [https://discord.gg/rMT6xRPwgZ](https://discord.gg/rMT6xRPwgZ)

**Video sponsor – Ada Beat**
[https://adabeat.com](https://adabeat.com)

**Merch**
If you want to spread functional programming and support the channel, buy something from the shop:
[https://funcprogsweden.myspreadshop.net/](https://funcprogsweden.myspreadshop.net/)

#funcprogsweden

Magnus S

Func Prog Sweden

Technology

Open Source

Scala

Elixir

Haskell

Functional Programming

Clojure

Erlang Programming

Lisp

Software Development

OCaml Programming

FSharp

F# Programming

Tenth Func Prog Sweden 2024 – Online

Online event

Share

Func Prog Sweden

Tenth Func Prog Sweden 2024 – Online

Func Prog Sweden

Details

Members are also interested in