Skip to content

Details

Welcome to the Func Prog Sweden MeetUp 2023 at Kivra!

If you are in Stockholm the 10th of October?!
Take the chance to join us IRL at Kivra, there will be some light food and beverages.

If you can't join IRL, the MeetUp will be streamed live online on the Func Prog Sweden YouTube channel: https://www.youtube.com/c/FuncProgSweden

Link to the stream will start 6:30 PM CEST: https://youtube.com/live/sSaZ0PObF_E

Registration starts at 6 PM and program starts at 6.30 PM.

  • Intro by Magnus Sedlacek
  • "Super Haskell": an introduction to Agda by André Muricy
  • Schema management with Scalameta by Lars Albertsson

"Super Haskell": an introduction
- Syntax (defining types, functions etc)
- Simple proofs
- Simple programming
- Dependently typed programming (sigma and pi types)

André Muricy
FP developer at Ada Beat.
https://www.linkedin.com/in/amuricys/

Schema management with Scalameta
Scalameta is a library for static analysis and processing of Scala source code, which supports syntactic and semantic analysis. In this presentation, we will explain how Scalameta works, and how you can use Scalameta for custom code analysis. We will demonstrate how we have used scalameta to automate schema management and privacy protection.

Key Takeaways:

  • We will explain what Scalameta is and how it is used.
  • We will go through aspects of schema management where Scalameta is useful.
  • We will demonstrate how Scling has leveraged Scalameta for statically typed privacy protection.

Lars Albertsson
Data engineering entrepreneur
https://www.scling.com
https://www.mapflat.com
https://twitter.com/lalleal
https://www.linkedin.com/in/larsalbertsson/

Venue sponsor - Kivra
https://kivra.se

Video sponsor – Ada Beat
https://adabeat.com

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

#funcprogsweden

Events in Stockholm, SE
Functional Programming
Haskell
Scala
Agda

Members are also interested in