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

Big Tech's AI Push Is Costing More Than the Moon Landing

The AI boom is causing shortages everywhere else

Suno, AI Music, and the Bad Future [video]

Ask HN: How are researchers using AlphaFold in 2026?

Running the "Reflections on Trusting Trust" Compiler

Watermark API – $0.01/image, 10x cheaper than Cloudinary

Now send your marketing campaigns directly from ChatGPT

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation

Show HN: Hibana – choreography-first protocol safety for Rust

Haniri: A live autonomous world where AI agents survive or collapse

GPT-5.3-Codex System Card [pdf]

Atlas: Manage your database schema as code

Geist Pixel

Show HN: MCP to get latest dependency package and tool versions

The better you get at something, the harder it becomes to do

Show HN: WP Float – Archive WordPress blogs to free static hosting

Show HN: I Hacked My Family's Meal Planning with an App

Sony BMG copy protection rootkit scandal

The Future of Systems

NASA now allowing astronauts to bring their smartphones on space missions

Claude Code Is the Inflection Point

Show HN: MicroClaw – Agentic AI Assistant for Telegram, Built in Rust

Show HN: Omni-BLAS – 4x faster matrix multiplication via Monte Carlo sampling

The AI-Ready Software Developer: Conclusion – Same Game, Different Dice

AI Agent Automates Google Stock Analysis from Financial Reports

Voxtral Realtime 4B Pure C Implementation

I Was Trapped in Chinese Mafia Crypto Slavery [video]

U.S. CBP Reported Employee Arrests (FY2020 – FYTD)

Show HN: I built a free UCP checker – see if AI agents can find your store

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware