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

France's homegrown open source online office suite

Start all of your commands with a comma (2009)

Hoot: Scheme on WebAssembly

OpenCiv3: Open-source, cross-platform reimagining of Civilization III

Reinforcement Learning from Human Feedback

Coding agents have replaced every framework I used

The Waymo World Model

Vocal Guide – belt sing without killing yourself

Unseen Footage of Atari Battlezone Arcade Cabinet Production

Making geo joins faster with H3 indexes

Ga68, a GNU Algol 68 Compiler

Show HN: Look Ma, No Linux: Shell, App Installer, Vi, Cc on ESP32-S3 / BreezyBox

Cross-Region MSK Replication: K2K vs. MirrorMaker2

Monty: A minimal, secure Python interpreter written in Rust for use by AI

Show HN: Kappal – CLI to Run Docker Compose YML on Kubernetes for Local Dev

Show HN: I spent 4 years building a UI design tool with only the features I use

Hackers (1995) Animated Experience

Sheldon Brown's Bicycle Technical Info

What Is Ruliology?

Show HN: If you lose your memory, how to regain access to your computer?

Microsoft open-sources LiteBox, a security-focused library OS

An Update on Heroku

Dark Alley Mathematics

PC Floppy Copy Protection: Vault Prolok

How to effectively write quality code with AI

Female Asian Elephant Calf Born at the Smithsonian National Zoo

Was Benoit Mandelbrot a hedgehog or a fox?

I now assume that all ads on Apple news are scams

Introducing the Developer Knowledge API and MCP Server

I spent 5 years in DevOps – Solutions engineering gave me what I was missing