Skip to content
0:00 / 0:00

#effectful#effectsystems

MuniHac 2024 - Sa, Oct. 12 - Hécate: Effect Systems in Practice

TNG Technology Consulting GmbH

5K subscribers • 17 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Hécate

Intermediate. Assumes working knowledge.

1.3K views2 years ago1 recommendation

Programming languagesSoftware designHaskellFunctional programming

Hécate explains the practical benefits of semantic effect tracking in Haskell applications using the effectful library.

With Hécate, we will approach the topic of Effect Systems to write Haskell applications, understand why it is important do have semantic effect tracking in your software, and see how it all fits into the design and maintenance of software systems. We will use Effectful, developed for industrial needs of performance and ease-of-use.

Why it's here

1 person recommends this

What people say. Recommended as a practical guide to using effect systems in production Haskell code.

u/TechnoEmpressin r/haskell • Recommends

Hécate: Effect Systems in Practice (MuniHac 2024)

u/TechnoEmpressin r/haskell • Mentions

On “Should I use Effecful as a beginner?”

…very neat, but I'm wondering if I should refrain from using it for now and focus on basic monads and transformer stacks for now? I don't really understand them, yet. It is very neat! I would however encourage you to practice transformers a bit, in order to understand not only what Effectful brings, but also where we're coming from. :) Check out link to this video !…

u/TechnoEmpressin r/functionalprogramming • Mentions

On “Alternative (less pure) Haskell”

…operty of ergodicity: behaviour that has been observed in the past informs future behaviour). The IO / pure distinction is in fact a first step for the architect of a system. The concept of type-level effects grants us an even better view of what the program does and how it interacts with the outside world, in details that make sense for humans: link to this video…

u/TechnoEmpressin r/haskell • Mentions

On “What are you using for effect management in 2024”

Might be of help: link to this video