Type-Machine

Posted5 months agoActive5 months ago

todsacerdoti

34 points

11 comments

arthi-chaud.github.ioTechstory

heatedmixed

Debate

60/100

HaskellProgramming LanguagesType Systems

Key topics

Haskell

Programming Languages

Type Systems

Discussion about a blog post on 'type-machine' and its implementation in Haskell, with some criticism and praise from the community.

Snapshot generated from the HN discussion

Discussion Activity

Light discussion

First comment

Peak period

5-6h

Avg / period

1.6

Comment distribution11 data points

Loading chart...

Based on 11 loaded comments

Key moments

01Story posted
Aug 20, 2025 at 12:59 AM EDT
5 months ago
Step 01
02First comment
Aug 20, 2025 at 2:05 AM EDT
1h after posting
Step 02
03Peak activity
3 comments in 5-6h
Hottest window of the conversation
Step 03
04Latest activity
Aug 20, 2025 at 3:18 PM EDT
5 months ago
Step 04

Generating AI Summary...

Analyzing up to 500 comments to identify key contributors and discussion patterns

Discussion (11 comments)

Showing 11 comments

bradrn

5 months ago

1 reply

> 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

5 months ago

1 reply

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

5 months ago

Or didn't verify what LLM wrote

mpoteat

5 months ago

1 reply

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

worldsayshi

5 months ago

2 replies

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

https://www.purescript.org/

behnamoh

5 months 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.

Ciantic

5 months ago

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

akoboldfrying

5 months ago

2 replies

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

5 months 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

5 months 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

5 months ago

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

View full discussion on Hacker News

ID: 44958752Type: storyLast synced: 11/20/2025, 7:45:36 PM

Want the full context?

Jump to the original sources

Read the primary article or dive into the live Hacker News thread when you're ready.

Open link View on HN