Gautier DI FOLCO
FOSS Contributions
Activities
Hire me
Talks
Posts
Categories
Tags
Haskell
24th September 2024
Designing strongly typed range
haskell
design
Read more
→
10th September 2024
Haskell Legacy: Adding features
haskell
design
legacy
polysemy
Read more
→
27th August 2024
Haskell Legacy: Pure projection
haskell
design
legacy
polysemy
Read more
→
20th August 2024
Haskell Legacy: CQRS
haskell
design
legacy
polysemy
Read more
→
13th August 2024
Haskell Legacy: Going event-first
haskell
design
legacy
polysemy
Read more
→
6th August 2024
Haskell Legacy: Reversing writes
haskell
design
legacy
polysemy
Read more
→
30th July 2024
Haskell Legacy: Creating events
haskell
design
legacy
polysemy
Read more
→
23rd July 2024
Haskell Legacy: Extracting business logic and introducing effects
haskell
design
legacy
polysemy
Read more
→
16th July 2024
Haskell Legacy: Testing
haskell
design
legacy
Read more
→
9th July 2024
Haskell Legacy: Introduction
haskell
design
legacy
Read more
→
25th June 2024
In-depth programming language is not the point
engineering
haskell
algorithms
Read more
→
18th June 2024
Haskell Ecosystem Workshop & ZuriHac 2024
foss
engineering
haskell
retrospective
Read more
→
28th May 2023
Polysemy: Scoped
haskell
polysemy
design
effects systems
Read more
→
24th May 2023
Polysemy: Opaque
haskell
polysemy
design
effects systems
Read more
→
17th May 2023
Polysemy: Onion architecture
haskell
polysemy
design
effects systems
Read more
→
14th May 2023
Polysemy: Design heuristics: Hiding vs Exposing
haskell
polysemy
design
effects systems
Read more
→
10th May 2023
Polysemy: Design heuristics: Dispatcher
haskell
polysemy
design
effects systems
Read more
→
7th May 2023
Plutus: Pioneers Program 4th cohort - Lecture 10 - Built with plutus
haskell
cardano
smart contracts
Read more
→
3rd May 2023
Polysemy: Design heuristics: Hiding interpreters
haskell
polysemy
design
effects systems
Read more
→
30th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 9 - Stablecoin
haskell
cardano
smart contracts
Read more
→
23rd April 2023
Plutus: Pioneers Program 4th cohort - Lecture 8 - Staking
haskell
cardano
smart contracts
Read more
→
21st April 2023
Polysemy: 1.9.0.0 released!
haskell
polysemy
design
effects systems
Read more
→
16th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 7 - Marlowe and hosted smart contracts
haskell
cardano
smart contracts
Read more
→
9th April 2023
Plutus: Pioneers Program 4th cohort - Lecture 6 - Testing
haskell
cardano
smart contracts
Read more
→
5th April 2023
Polysemy: Design heuristics: Grouping interpreters
haskell
polysemy
design
effects systems
Read more
→
2nd April 2023
Plutus: Pioneers Program 4th cohort - Lecture 5 - Minting
haskell
cardano
smart contracts
Read more
→
29th March 2023
Polysemy: Design heuristics: Effects layering
haskell
polysemy
design
effects systems
Read more
→
26th March 2023
Plutus: Pioneers Program 4th cohort - Lecture 4 - On-chain/Off-chain smart contract code and indexers
haskell
cardano
smart contracts
Read more
→
22nd March 2023
Polysemy: Design heuristics: Split by responsibility
haskell
polysemy
design
effects systems
Read more
→
19th March 2023
Plutus: Pioneers Program 4th cohort - Ouroboros
haskell
cardano
smart contracts
Read more
→
15th March 2023
Polysemy: Design heuristics: IO hunting
haskell
polysemy
design
effects systems
Read more
→
12th March 2023
Plutus: Pioneers Program 4th cohort - lecture 3: Tests, Times, and Dapps
haskell
cardano
smart contracts
Read more
→
8th March 2023
Polysemy: Async gotchas
haskell
polysemy
design
effects systems
Read more
→
5th March 2023
Plutus: Pioneers Program 4th cohort kick start
haskell
cardano
smart contracts
Read more
→
1st March 2023
Polysemy: Strategy internals
haskell
polysemy
design
effects systems
Read more
→
26th February 2023
Polysemy: Changing return
haskell
polysemy
design
effects systems
Read more
→
22nd February 2023
Polysemy: IO
haskell
polysemy
design
effects systems
Read more
→
19th February 2023
Polysemy: NonDet
haskell
polysemy
design
effects systems
Read more
→
15th February 2023
Polysemy: AtomicState
haskell
polysemy
design
effects systems
Read more
→
12th February 2023
Polysemy: Fixpoint
haskell
polysemy
design
effects systems
Read more
→
8th February 2023
Polysemy: Bundle
haskell
polysemy
design
effects systems
Read more
→
5th February 2023
Polysemy: Higher order Effects and combined interpreters
haskell
polysemy
design
effects systems
Read more
→
1st February 2023
Polysemy: Final vs Embed
haskell
polysemy
design
effects systems
Read more
→
29th January 2023
Polysemy: Tactics binding deprecated workaround
haskell
polysemy
design
effects systems
Read more
→
25th January 2023
Polysemy: Tactics binding
haskell
polysemy
design
effects systems
Read more
→
22nd January 2023
Polysemy: Strategies binding
haskell
polysemy
design
effects systems
Read more
→
18th January 2023
Polysemy: Async
haskell
polysemy
design
effects systems
Read more
→
15th January 2023
Polysemy: Higher-order effects with Final
haskell
polysemy
design
effects systems
Read more
→
11th January 2023
Polysemy: Final
haskell
polysemy
design
effects systems
Read more
→
8th January 2023
Polysemy: Higher-order effects introductions
haskell
polysemy
design
effects systems
Read more
→
4th January 2023
Polysemy: Input
haskell
polysemy
design
effects systems
Read more
→
1st January 2023
Polysemy: Embed
haskell
polysemy
design
effects systems
Read more
→
28th December 2022
Polysemy: Interceptors to buffer
haskell
polysemy
design
effects systems
Read more
→
25th December 2022
Polysemy: Introduction to Interceptors
haskell
polysemy
design
effects systems
Read more
→
21st December 2022
Polysemy: Tagged effects
haskell
polysemy
design
effects systems
Read more
→
18th December 2022
Polysemy: Interpretation and effects inline injection
haskell
polysemy
design
effects systems
Read more
→
14th December 2022
Polysemy: Interpretation and effects injection
haskell
polysemy
design
effects systems
Read more
→
11th December 2022
Polysemy: Introduction to Effect interpretation
haskell
polysemy
design
effects systems
Read more
→
7th December 2022
Polysemy: Introduction to Effect definition
haskell
polysemy
design
effects systems
Read more
→
4th December 2022
Polysemy: EffectRow design
haskell
polysemy
design
effects systems
Read more
→
30th November 2022
Polysemy: EffectRow
haskell
polysemy
design
effects systems
Read more
→
27th November 2022
Polysemy: Introduction to interpreters
haskell
polysemy
design
effects systems
Read more
→
23rd November 2022
Polysemy: An introduction
haskell
polysemy
design
effects systems
Read more
→
←
categories