Settings

Theme

A sufficiently detailed spec is code

haskellforall.com

13 points by dokdev 2 months ago · 3 comments

Reader

internet_points 2 months ago

Well done for actually trying and failing to reproduce their results.

But the point from the original comic version kind of makes it seem like specs are useless, which I don't believe is true. Just like reimplementations can be useful (directly so for property testing or golden testing, but also for learning what things worked and what didn't), a specification can be useful even though it is informal or incomplete in that it guides the real implementation. (Like "plan mode", for you vibers.)

GeoSys 2 months ago

It's so easy to make a specification which can't be implemented (or shouldn't be). Very often, I go back and tweak the specification, after I start the implementation and figure out which assumptions are wrong ...

mitchbob 2 months ago

Dupe of

https://news.ycombinator.com/item?id=47434047

which has 335 comments and counting.

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection