I am trying to find the source of this quote. I heard it from a friend today during a discussion.

Another future benefit of being an embedded DSL is that the same code can be used as indexer logic. This will be an equivalent to "isomorphic client-server-stack": an "isomorphic contract-indexer-stack."

Have you found out why it must be a type error?

Haskell makes Yolc expressive. A short article on what "Embedded DSL (EDSL) in Haskell" is for Yolc. yolc.dev/docs/concepts/…

This solves this: x.com/yolc_dev/statu…

blog.functorial.com/posts/2017-10-… "Higher-order Abstract Syntax for Cartesian Closed Categories" Found some similar construction to Yolc's MapHask from this article.

Year 2025: So many people ____ others' time for a living. Filling the blank: - value-neutral: use - positive: entertain - negative: waste

Now I am not too sure what "the next 700 programming languages" is about: Is it about creating libraries of vocabularies in a expressive host language, or rather, creating a more expressive host language?

youtube.com/watch?v=oHMxDK…

We did a thing! This project started a long ago and it's finally released. It provides a way to query EVM contracts from within open games, leveraging the Haskell implementation of EVM. This opens up plenty of possibilities in the mechanism design space! blog.20squares.xyz/hevm/

This should be another simple type-level feature that can save a lot of audit money for you.

dl.acm.org/doi/abs/10.114… "At Standard Chartered Bank, Haskell is used in a core software library supporting the entire Markets division -- a business line with 3 billion USD operating income in 2023."

It's still the easiest experience explaining what Superfluid is at the Haskell community: It is simply FRP applied to payment, what's the problem?

Good morning ZuriHac

Cooked up this abomination at ZuriHac 2025 -- execute Verilog circuits right from your Haskell!

What is rhetoric: Functions: to inform, persuade, and motivate. Disciplines: pedagogy, sales, and marketing. Good approaches: to educate with precision, to connect with empathy, and to inspire with sincerity. Bad approaches: to indoctrinate, to deceive, and to demagogue.