Introducing the Func Prog Sweden Meetup at Kivra 2023 program! Join us for a warm welcome by Magnus Sedlacek, firstly a presentation on “Super Haskell”: an introduction to Agda by André Muricy and secondly a presentation on Schema management with Scalameta by Lars Albertsson.
The program
- 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)
Code and more from the presentation
https://gist.github.com/amuricys/5710e9a45705765ec11d1e3879e9ed4e
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
Video sponsor – Ada Beat
Merch
If you want to spread functional programming and support the channel, buy something from the shop:
https://funcprogsweden.myspreadshop.net/
#funcprogsweden