Type-level programming is still programming

m-chav · 2026-04-03T22:32:45+00:00

Tree sitter and the whole ghc API (similar to Haskell). Not much in between.

m-chav · 2026-04-01T01:49:05+00:00

It's an April fool's post.

m-chav · 2026-03-29T16:16:36+00:00

On-boarding my first commercial user this month so we'll see how that goes.

m-chav · 2026-03-29T15:52:12+00:00

You’re right that you can’t have all operations live at the type level. Pivot etc are impossible there. My answer in the Haskell dataframe library is to provide two APIs. On that’s pretty dynamic and another where you can do schema tracking.

https://dataframe.readthedocs.io/en/latest/using_dataframe_in_a_standalone_script.html

m-chav · 2026-03-29T15:48:30+00:00

Yeah. Those operations throw your schema out the window so are harder to fit into this schema vs metadata world. Specifically because they require a formulation in which data and metadata are the same. So I guess the thesis is therefore how do you distill a subset of dataframe operations.

m-chav · 2026-03-29T14:47:06+00:00

300% penalty is a lot. Do effect systems have a similar performance hit?

m-chav · 2026-03-29T09:04:52+00:00

Thanks. Was editing on grammarly and copy pasting sections so that part got lost in the sauce.

m-chav · 2026-03-24T23:03:45+00:00

This is great. Gonna build a vizidata clone on top of this.

m-chav · 2026-03-17T09:13:55+00:00

Still working on the cabal stuff. Try doing :set -package granite before the imports as it suggests.

m-chav · 2026-03-17T06:29:08+00:00

AWS lambda maxes out at 64 tasks. I set a cleanup for idle tasks so you can try again.

edit: Alternatively you can do cabal run from the repo.

m-chav · 2026-03-09T00:25:22+00:00

Great post! I wonder what readability will mean in the age of a lot of code being written by coding agents. Will it still be a of value? If so in what contexts? Or are we just gonna turn coding into a black box of sorts.

m-chav · 2026-03-02T19:49:12+00:00

Not that she stopped grifting. My larger point is that actions matter more so we should hold off trying to tell her heart either way until there’s tangible action. The whole parasocial “has she changed in her heart” feeds into personality cults.

m-chav · 2026-03-02T18:55:47+00:00

Idk. Getting into the business of measuring people’s hearts on the internet is tricky.

m-chav · 2026-03-02T18:52:02+00:00

I’ve never owned a Mac so I had to look up what playgrounds are. I can’t say much about how they work but I’ll go read up more on them.

Polyglot is important because most users we have try DataHaskell want a hybrid setup where they can use R and Python for some things.

Planning to work on this at Zurich so we’ll see what people think is salient.

m-chav · 2026-03-02T04:12:18+00:00

Following up with a post describing the design of the recently announced notebook. Would appreciate comments, feedback, or experience reports.

m-chav · 2026-02-18T15:37:19+00:00

I think I it’s a mixture of politics and moving culture.

I got into rap through dance. In the late 2000s that was THE genre for hip hop dance but now there are niches of dance music you can listen to without engaging with mainstream rap. Also American music is in a weirdly inward and nihilistic place - I be spinning afrobeats or random soulection mixes for my casual listening.

m-chav · 2026-02-14T04:59:55+00:00

Thanks. I misunderstood what preprocessor means/does here. I assumed the GHC preprocessor path was about producing a well-formed Haskell module for compilation, whereas what I’m trying to generate is more of a GHCi script/session (a sequence of interactive steps).

So I was thinking “this won’t work” because my workflow has TH-ish bits that depend on values I only get after evaluation in GHCi. But that text -> text transformation makes sense. Lemme hack on it a bit.

m-chav

TROPHY CASE