radrow

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

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
Import a type family that is an operator in Haskell
:sprint and `seq` together - missing evaluation?
Unification of higher rank types on contravariant positions
What are module signatures in Haskell?
Is it possible to download Github-Actions artifacts directly?
Is there any significant difference between StateT over Reader and ReaderT over State?

radrow answers

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
How to define multiple executables / Main modules with stack/hpack
:sprint and `seq` together - missing evaluation?
Explaining a currying implementation in Haskell
What files in a Cargo project should be in my .gitignore?