powered by Altairis GeekCore - kalendář akcí pro vývojáře a IT profesionály

FSharping #30 - Josef Starýchfojtů: Advanced FP in F# (Workshop)

Datum a čas: přidat do kalendářepřidat do kalendáře úterý 25. února 2020, 18:00 - 21:00
Místo: Praha - Pracovna
Organizátor: Roman Provazník- Roman Provazník
Registration available at:
https://www.meetup.com/FSharping/events/268054108/

We would like to invite you to our very first FShaping Functional Programming workshop.

Basic information

Workshop is planned for 3 hours.
We will start at 18:00! (Watch out! NOT 19:00 as usually.)
There is attendee RSVP limit 15 people (+2 organizers).
We will contact you upfront to discuss setup of your noteboks (this is BYOD workshop).
Workshop will be in English.
As always, there is no entry fee.
This time we will be at the biggest room in Pracovna (straight on from entrance) to have proper comfort for writing F#.

Agenda

Stage 1: Domain modeling
- strong typing
- ADT
- aliasy
- no cyclic dependencies

Stage 2: Domain functions (pure functions on domain, no technology involved)
- pure domain, no IO
- lenses

Stage 3: Use cases
- error handling
- explicitely passing interfaced environment
- this stage will be ugly on purpose

Stage 4: Reader
- introduction to Reader monad
- will still be pretty ugly

Stage 5: ZIO
- this stage will cleanup the previous ones with ZIO like monad

Stage 6: Real world
- validation with applicatives
- implementing API
- implementing data access

Stage 7: Testing (optional)
- showcase of how easy is to test this
- property based testing

Místo konání: Praha - Pracovna

Vlkova 36, Praha 3 – Žižkov