Re:The friendship between Haskell and C
by aidenn0 on Friday March 17, 2023 @12:02PM
(#35198864)
There was a somewhat tongue-in-cheek article a while back saying "C has no side effects" with the premise being That "when people say C, they really mean CPP, because nobody writes C with the preprocessor disabled" and since CPP is side-effect free, colloquially we can say that C is side-effect free...
[ Parent
| on HN ]
http://conal.net/blog/posts/the-c-language-is-purely-functio...
"The C language is purely functional" and "Haskell is the world's finest imperative programming language" can blow some minds.
That's the one.
There's also:
> “Haskell is a dynamically-typed, interpreted language.”
From https://aphyr.com/posts/342-typing-the-technical-interview
The context is she is using Haskell type declarations as if it was a regular programming language. Arguable the type declarations are interpreted, and dynamically typed in the sense that there is no static type checking before the interpretation.
Re:The friendship between Haskell and C
by marcosdumay on Friday March 17, 2023 @02:02PM
(#35200576)
Hum... You meant to say that the C compiler is pure. And well, yes, it is. Even when you include the compiler itself, instead of only the preprocessor.
You can notice on the GP's description that Haskell will generate those programs at runtime. The Haskell code is running on the same level as the C compiler, but at a very different time.