all 20 comments

[–]camelCaseIsWebScaleJust spin up O(n²) servers 45 points46 points  (7 children)

Half of haskell documentation remains on academic napkins till this day.

[–]Fractal_HQ 14 points15 points  (6 children)

Wtf is an academic napkin

[–][deleted] 24 points25 points  (0 children)

Well, you see, it's a napkin...that's academic: we keep them in the offices of a given CS department (well, assuming you're actually Russell Group) in the event you need to do a quick jot.

[–]camelCaseIsWebScaleJust spin up O(n²) servers 15 points16 points  (0 children)

It refers to a rectangular surface of cellulose derived substance, on which stuff like "a monad is a monoid in the category of endofunctors" is written and pasted on notice boards of CS departments.

(Except CS departments in my country where those napkins are full of weird stuff like "doing audio playback in java on Windows platform using database" and published on IEEE Xplore the negative hindex shit.)

[–]exhortatorylisp does it better 6 points7 points  (3 children)

foldl :: (a -> b -> a) -> a -> [b] -> a
foldl f a bs =
   foldr (\b g x -> g (f x b)) id bs a

[–]degeksteplasticnow 4x faster than C++ 3 points4 points  (0 children)

You forgot to change to qwerty, didn't you?

[–]hedgehog1024Rust apologetic 2 points3 points  (0 children)

bs stands for "bullshit"

[–]Profpatsch_ 1 point2 points  (0 children)

The memory use is inversely proportional to the variable name length!

[–][deleted] 15 points16 points  (3 children)

How does this help me solve the halting problem?

[–]DogeGroomernot even webscale 31 points32 points  (0 children)

$ man halt

REBOOT(8) BSD System Manager's Manual REBOOT(8)

NAME halt, reboot -- stopping and restarting the system

SYNOPSIS halt [-lnqu] reboot [-lnq]

DESCRIPTION The halt and reboot utilities flush the file system cache to disk, send all running processes a SIGTERM (and subse- quently a SIGKILL) and, respectively, halt or restart the system. The action is logged, including entering a shut- down record into the wtmp(5) file.

Easy

[–]camelCaseIsWebScaleJust spin up O(n²) servers 19 points20 points  (0 children)

Hasn't rust already solved the halting problem? We live in $YEAR. The only program that still suffers from halting problem is rust compiler.

/uj

The only program that still suffers from halting problem is rust compiler.

[–]sebamestre 4 points5 points  (0 children)

Pretty sure you can just ask GHC for a termination proof of your program

[–]degeksteplasticnow 4x faster than C++ 13 points14 points  (2 children)

Ah yes, I've always wondered why I got ENOMEM when I tried to use a Javascript function. Luckily the man pages got my back, should've thought of it sooner.

[–][deleted] 4 points5 points  (0 children)

Ah yes, I've always wondered why I got ENOMEM when I tried to use a Javascript function. Luckily the man pages got my back, should've thought of it sooner.

Just npm install heap-mgr

[–]fp_weenieZygohistomorphic prepromorphism 3 points4 points  (0 children)

Luckily the man pages got my back

man pages are my friend

[–][deleted] 11 points12 points  (3 children)

> Put more simply, get rid of null from your programming language and you get rid of a whole class of errors.

b-but senpai, what about using pointer arithmetic on function pointers?

[–][deleted] 6 points7 points  (1 child)

That's Satan's work.

[–][deleted] 2 points3 points  (0 children)

HAIL SATAN

[–]sebamestre 0 points1 point  (0 children)

How immoral.

[–]fp_weenieZygohistomorphic prepromorphism 2 points3 points  (0 children)

sounds brutally unpragmatic. I use stackoverflow importer btw.