radrow

radrow has asked 37 questions and find answers to 34 problems.

Stats

About

I am fully aware that my avatar refers to the Half Life game series, not to the lambda calculus. Fear not, I am not a poser because I love both.

radrow questions

Transform casual list into dependently typed list in Coq
What is the difference between operational, denotational and axiomatic semantics?
What are the differences between different ETS table types?
In Erlang, is sending to self atomic?
What is the difference between MultiWayIf and classic guards?
"class" message sent to superclass in Smalltalk
What is the difference between :~: and :~~: equalities?
How to prevent all windows from floating (xmonad)
What's the difference between function_clause and badarg in Erlang?
Update single record field in Coq

radrow answers

What is the origin of the names of I and tt?
Is `F a = (a -> p) -> q` an applicative functor?
Pointfree functions in Haskell - turning arguments into a list
How to return a formatted string in Erlang?
What are the differences between different ETS table types?
Is there a way to pass an operator with unknown type in haskell?
Difference between using module, Import-Module, and #requires -Modules
Is there anything like Haskell "guarded equations" in modern C++?
How can I get GHC to warn about incomplete pattern bindings in do blocks?
Why function is the first argument in Haskell