Type-machine

https://arthi-chaud.github.io/posts/type-machine/

34•todsacerdoti•5mo ago

Comments

bradrn•5mo ago

> Thankfully, in GHC 7.4.1 was introduced the record syntax, which allows naming fields, like this […]

What on Earth? Record syntax has been around since the very first versions of Haskell. This is a surprisingly blatant error to see so near the beginning of this article…

gylterud•5mo ago

I guess they were confused by the GHc documentation which says that the language option TraditionalRecordSyntax was introduced then, and enabled by default. Of course, the actual syntax was always part of the language. There just wasn’t an explicit option to enable/disable it.

throwaway290•5mo ago

Or didn't verify what LLM wrote

mpoteat•5mo ago

Look at what they need to mimic a fraction of our power.

worldsayshi•5mo ago

I wish for a language that combines the strengths of Haskell and Typescript. I suppose PureScript isn't that?

https://www.purescript.org/

Ciantic•5mo ago

I'm looking at https://roc-lang.org Maybe once it matures, it could have the strengths of TypeScript and Haskell.

behnamoh•5mo ago

No language is going to replace mainstream languages if it comes with minimal libraries. PS and similar langs are nice efforts but unfortunately pointless.

akoboldfrying•5mo ago

Discovering that Template Haskell exists was important to younger me. Its existence means Smart People have concluded that there are notions of abstraction that can't be adequately captured in regular Haskell, which freed me from the persistent feeling that my inability to express something nicely in regular Haskell was due to some inadequacy in myself. I could at last relax, and despise the language.

Also, Haskell? You can take your space leaks and shove them.

lgas•5mo ago

> Its existence means Smart People have concluded that there are notions of abstraction that can't be adequately captured in regular Haskell,

...yet.

tome•5mo ago

> Also, Haskell? You can take your space leaks and shove them.

In case any passers by are interested, space leaks are a solved problem: make invalid laziness unrepresentable (https://h2.jaguarpaw.co.uk/posts/make-invalid-laziness-unrep...)

drumnerd•5mo ago

So a little bit of syntax is verbose, goes on to invent a whole new syntax for it

New hire fixed a problem so fast, their boss left to become a yoga instructor

Four horsemen of the AI-pocalypse line up capex bigger than Israel's GDP

OpenClaw v2026.2.6

A free Dynamic QR Code generator (no expiring links)

nextTick but for React.js

Show HN: I Built an AI-Powered Pull Request Review Tool

Git-am applies commit message diffs

ClawEmail: 1min setup for OpenClaw agents with Gmail, Docs

UnAutomating the Economy: More Labor but at What Cost?

Show HN: Gettorr – Stream magnet links in the browser via WebRTC (no install)

Statin drugs safer than previously thought

Handy when you just want to distract yourself for a moment

More States Are Taking Aim at a Controversial Early Reading Method

AI will not save developer productivity

How I do and don't use agents

BTDUex Safe? The Back End Withdrawal Anomalies

Show HN: Compile-Time Vibe Coding

Show HN: Ensemble – macOS App to Manage Claude Code Skills, MCPs, and Claude.md

PR to support XMPP channels in OpenClaw

Twenty: A Modern Alternative to Salesforce

Raspberry Pi: More memory-driven price rises

Level Up Your Gaming

Di.day is a movement to encourage people to ditch Big Tech

Show HN: AI generated personal affirmations playing when your phone is locked

Show HN: GTM MCP Server- Let AI Manage Your Google Tag Manager Containers

Launch of X (Twitter) API Pay-per-Use Pricing

Facebook seemingly randomly bans tons of users

Global Bird Count Event

What Is Ruliology?

Jon Stewart – One of My Favorite People – What Now? with Trevor Noah Podcast [video]