https://gautier.difolco.dev
•
This is a web feed, also known as an Atom feed. Subscribe by copying the URL from the address bar into your newsreader. Visit About Feeds to learn more and get started. It's free.Visit websiteRecent postsUpdated on $DATEdarkdateHaskellGautier DI FOLCO - HaskellA software engineer websiteZola2026-06-09T00:00:00+00:00https://gautier.difolco.dev/categories/haskell/atom.xmlHaskell Workshops & ZuriHac 20262026-06-09T00:00:00+00:002026-06-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2026-06/zurihac/Haskell Implementors' Workshop & ZuriHac 20252025-06-10T00:00:00+00:002025-06-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-06/zurihac/antikythera Unit and runner2025-05-13T00:00:00+00:002025-05-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/antikythera-unit-runner/Introducing antikythera2025-05-06T00:00:00+00:002025-05-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-05/antikythera-introduction/Polysemy: RW effects2025-04-29T00:00:00+00:002025-04-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2025-04/polysemy-rw-effect/Designing strongly typed range2024-09-24T00:00:00+00:002024-09-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/range/Haskell Legacy: Adding features2024-09-10T00:00:00+00:002024-09-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-09/api-legacy-adding-features/Haskell Legacy: Pure projection2024-08-27T00:00:00+00:002024-08-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-pure-projection/Haskell Legacy: CQRS2024-08-20T00:00:00+00:002024-08-20T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-cqrs/Haskell Legacy: Going event-first2024-08-13T00:00:00+00:002024-08-13T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-event-first/Haskell Legacy: Reversing writes2024-08-06T00:00:00+00:002024-08-06T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-08/api-legacy-reversing-writes/Haskell Legacy: Creating events2024-07-30T00:00:00+00:002024-07-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-extract-events/Haskell Legacy: Extracting business logic and introducing effects2024-07-23T00:00:00+00:002024-07-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-extract-effects/Haskell Legacy: Testing2024-07-16T00:00:00+00:002024-07-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-testing/Haskell Legacy: Introduction2024-07-09T00:00:00+00:002024-07-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-07/api-legacy-introduction/In-depth programming language is not the point2024-06-25T00:00:00+00:002024-06-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-06/pl-knowledge/Haskell Ecosystem Workshop & ZuriHac 20242024-06-18T00:00:00+00:002024-06-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2024-06/zurihac/Polysemy: Scoped2023-05-28T00:00:00+00:002023-05-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-scoped/Polysemy: Opaque2023-05-24T00:00:00+00:002023-05-24T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-opaque/Polysemy: Onion architecture2023-05-17T00:00:00+00:002023-05-17T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-onion/Polysemy: Design heuristics: Hiding vs Exposing2023-05-14T00:00:00+00:002023-05-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-hiding-vs-exposing/Polysemy: Design heuristics: Dispatcher2023-05-10T00:00:00+00:002023-05-10T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-heuristics-dispatchers/Plutus: Pioneers Program 4th cohort - Lecture 10 - Built with plutus2023-05-07T00:00:00+00:002023-05-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/plutus-c4-l10/Polysemy: Design heuristics: Hiding interpreters2023-05-03T00:00:00+00:002023-05-03T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-05/polysemy-design-heuristics-hiding-interpreters/Plutus: Pioneers Program 4th cohort - Lecture 9 - Stablecoin2023-04-30T00:00:00+00:002023-04-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l9/Plutus: Pioneers Program 4th cohort - Lecture 8 - Staking2023-04-23T00:00:00+00:002023-04-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l8/Polysemy: 1.9.0.0 released!2023-04-21T00:00:00+00:002023-04-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/polysemy-v19/Plutus: Pioneers Program 4th cohort - Lecture 7 - Marlowe and hosted smart contracts2023-04-16T00:00:00+00:002023-04-16T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l7/Plutus: Pioneers Program 4th cohort - Lecture 6 - Testing2023-04-09T00:00:00+00:002023-04-09T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l6/Polysemy: Design heuristics: Grouping interpreters2023-04-05T00:00:00+00:002023-04-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/polysemy-design-heuristics-grouping-interpreters/Plutus: Pioneers Program 4th cohort - Lecture 5 - Minting2023-04-02T00:00:00+00:002023-04-02T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-04/plutus-c4-l5/Polysemy: Design heuristics: Effects layering2023-03-29T00:00:00+00:002023-03-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-effects-layering/Plutus: Pioneers Program 4th cohort - Lecture 4 - On-chain/Off-chain smart contract code and indexers2023-03-26T00:00:00+00:002023-03-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l4/Polysemy: Design heuristics: Split by responsibility2023-03-22T00:00:00+00:002023-03-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-srp/Plutus: Pioneers Program 4th cohort - Ouroboros2023-03-19T00:00:00+00:002023-03-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-ouroboros/Polysemy: Design heuristics: IO hunting2023-03-15T00:00:00+00:002023-03-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-design-heuristics-io-hunting/Plutus: Pioneers Program 4th cohort - lecture 3: Tests, Times, and Dapps2023-03-12T00:00:00+00:002023-03-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l3/Polysemy: Async gotchas2023-03-08T00:00:00+00:002023-03-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-async-gotchas/Plutus: Pioneers Program 4th cohort kick start2023-03-05T00:00:00+00:002023-03-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/plutus-c4-l1-l2/Polysemy: Strategy internals2023-03-01T00:00:00+00:002023-03-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-03/polysemy-strategy-internals/Polysemy: Changing return2023-02-26T00:00:00+00:002023-02-26T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-changing-return/Polysemy: IO2023-02-22T00:00:00+00:002023-02-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-io/Polysemy: NonDet2023-02-19T00:00:00+00:002023-02-19T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-nondet/Polysemy: AtomicState2023-02-15T00:00:00+00:002023-02-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-atomicstate/Polysemy: Fixpoint2023-02-12T00:00:00+00:002023-02-12T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-fixpoint/Polysemy: Bundle2023-02-08T00:00:00+00:002023-02-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-bundle/Polysemy: Higher order Effects and combined interpreters2023-02-05T00:00:00+00:002023-02-05T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-hoe-combined-interpreters/Polysemy: Final vs Embed2023-02-01T00:00:00+00:002023-02-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-02/polysemy-final-vs-embed/Polysemy: Tactics binding deprecated workaround2023-01-29T00:00:00+00:002023-01-29T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-tactics-binding-deprecated-workaround/Polysemy: Tactics binding2023-01-25T00:00:00+00:002023-01-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-tactics-binding/Polysemy: Strategies binding2023-01-22T00:00:00+00:002023-01-22T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-strategies-binding/Polysemy: Async2023-01-18T00:00:00+00:002023-01-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-async/Polysemy: Higher-order effects with Final2023-01-15T00:00:00+00:002023-01-15T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-hoe-final/Polysemy: Final2023-01-11T00:00:00+00:002023-01-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-final/Polysemy: Higher-order effects introductions2023-01-08T00:00:00+00:002023-01-08T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-hoe-intro/Polysemy: Input2023-01-04T00:00:00+00:002023-01-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-input/Polysemy: Embed2023-01-01T00:00:00+00:002023-01-01T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2023-01/polysemy-embed/Polysemy: Interceptors to buffer2022-12-28T00:00:00+00:002022-12-28T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interceptors-buffering/Polysemy: Introduction to Interceptors2022-12-25T00:00:00+00:002022-12-25T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interceptors-intro/Polysemy: Tagged effects2022-12-21T00:00:00+00:002022-12-21T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-tagged-effects/Polysemy: Interpretation and effects inline injection2022-12-18T00:00:00+00:002022-12-18T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interpretation-effects-inline-injection/Polysemy: Interpretation and effects injection2022-12-14T00:00:00+00:002022-12-14T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-interpretation-effects-injection/Polysemy: Introduction to Effect interpretation2022-12-11T00:00:00+00:002022-12-11T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effect-interpretation-intro/Polysemy: Introduction to Effect definition2022-12-07T00:00:00+00:002022-12-07T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effect-definition-intro/Polysemy: EffectRow design2022-12-04T00:00:00+00:002022-12-04T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-12/polysemy-effectrow-design/Polysemy: EffectRow2022-11-30T00:00:00+00:002022-11-30T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-effectrow/Polysemy: Introduction to interpreters2022-11-27T00:00:00+00:002022-11-27T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-interpreters-intro/Polysemy: An introduction2022-11-23T00:00:00+00:002022-11-23T00:00:00+00:00Unknownhttps://gautier.difolco.dev/2022-11/polysemy-intro/