radrow

radrow has asked 34 questions and find answers to 29 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

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
What are the differences between ETS, persistent_term and process dictionaries?
Who is the sender of Erlang's trace messages and what can I assume based on it?
Agda – difference between type args on the left and right side of the colon

radrow answers

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
Instrumented State monad
groupBy function which groups non-adjacent elements
Alternative of Show that only uses name
How to fix "variable not in scope" error in GHCI?
Memoize multi-dimensional recursive solutions in haskell