Dynamic Effects System

Programming language's deal with business logics at different orders of abstraction

The idea of Data-Driven-Compilation

Programming in non-English languages

It makes me longing for algebraic effects & handlers even more

Computing with metavalues

Thank you stranger. Shows the award.

List of shortcuts in Keychron keyboards

Thank you stranger. Shows the award.

When you come across a feel-good thing.

Shows the Silver Award... and that's it.

You deserve a smooch

Everything is better with a good hug

Seeking wider attention to this cabal issue: Run okay with profiling enabled, but installed exe has NO profiling enabled

Eff - a functional programming language based on algebraic effect handlers

VSCode terminals like chrome tabs

Haskell Database Implementation - Part 1, Growing a Tree

How are multidimensional arrays and nested structs in C implemented? Any Haskell code example available?

How are multidimensional arrays and nested structs in C implemented?

Why do you think Data Scientists prefer Python to typed functional languages?

Everything is better with a good hug

Python is a UI language there

Thank you stranger. Shows the award.

A Review of Two-Dimensional Programming Languages (1972)

Well-Typed - Memory Fragmentation: A Deeper Look With ghc-debug

Everything is better with a good hug

Haskell ghost knowledge; difficult to access, not written down

Shows the Silver Award... and that's it.

A language design for concurrent processes

When you come across a feel-good thing.

Don't think, just defunctionalize

When you come across a feel-good thing.

The Role of Working Memory in Program Tracing

How to get dwarf stack trace of all live threads (HECs) on demand (e.g. SIGQUIT)?

Gadts in haskell

Persisting Haskell ADTs The Relational Way

When you come across a feel-good thing.

How does one use different forks of GHC?

dons on Haskell instability problem