Harness the lambda anon before you are left in the dust. Salvation

There will never be a purely functional system.

File: 1498896782566.jpg (78KB, 396x385px)

78KB, 396x385px

>>61315298
Forgive him father he does not know what he says.

>>61315311
Your stateless code runs as a stateful process, in a stateful OS, on stateful hardware.

There will never be a purely functional system.

>>61315383
na na na nana I cant hear yoyu you are stupid

>>61315397
The words you are reading live in a stateful system. They are displayed as stateful pixels on an ever-changing stateful screen.

Your eyes change states from the light of the screen, which manipulates the state of your mind.

Your thoughts are all stateful. You cannot change it. You can merely change the state of your brain in an attempt to ignore it.

I am a math nerd (algebra, topology, alg. geometry, category theory) and I am trying to learn haskell to... do math stuff? Could anyone link me to some motivating examples/research?

File: don't redditspace on me.png (95KB, 886x477px) Image search: [Google]

95KB, 886x477px

>>61315383
>>61315470

philosophical question:

aren't functional languages a subset of procedural? like i could just have a 1 line main method that calls recursive methods with all the relevant information, so i never have any static variables. isn't that the definition of functional or no?

Friendly reminder that mathematics are a subgroup of computer science.

>>61316090
You can write pure functional programs in impurely functional languages, but you cannot write impurely functional programs in purely functional languages.

File: FCMP.png (25KB, 300x250px) Image search: [Google]

25KB, 300x250px

Is there a way to have a functional or almost functional OS? The only way I can think of is to start with a VM snapshot and just reload that every execution.

>>61315533
have a look at https://github.com/data61/fp-course
if you know category theory, i'm sure you will know what functors, applicatives, monads and whatnot are..

>>61315383
what if each change of state is a pure function?

>>61317847
My computer being booted or not is a state. Bootloading, File system detection, mounting, systemd, etc. deals with states. You can't make an OS without being impure. Fite me.

>>61317964
it's all matter of perspective, if you have pure functions that can generate the state changes then you can. I mean what is assembly when it is just some dead binary on a disk and not being interpreted by a machine? we don't even know if time is moving or if everything has already been determined, perhaps just our lack of being able to perceive all dimensions is holding us back from just seeing everything as it is.

Whoe the fuck remembers Haskell anymore? It's all about that sweet Rust baby!

>>61318162
*silent sobbing from under a table*

>>61317847
NixOS

>>61315244
>lambdas
Every modern language has these.
Haskell is a meme.
t. reading LYAHFTGG at job

Ok
*uses Common Lisp instead of Haskell*