ScarletAmaranth

ScarletAmaranth has asked 10 questions and find answers to 20 problems.

Stats

About

Formal methods are fun.

ScarletAmaranth questions

Recovering nat from a positive integer in Lean
Leaking attributes of class to it's components
Apply the same function to each data member - Transform on heterogeneous types sort of thing
Detecting whether or not a callable object is binary (including generic constrained lambdas) [duplicate]
Coq rewriting using lambda arguments
Visual Studio 11 compile-time error using std::map
Arity of a generic lambda
Shortcut for duplicating a line of code in Visual Studio 11 [duplicate]

ScarletAmaranth answers

Passing pointers by value or by const ref?
formatting to wstring simpler way of doing it
How to predicate on something having a signed numeric type?
Is FILE * not a lvalue?
O(1) lookup in C++
Can a virtual destructor ever be a bad thing?
Why doesn't C++ require a "new" statement to initialize std::vector?
Is it possible to iterate over all elements in a struct or class?
C++ lambda followed by () vs. lambda without ()
Why shouldn't I use shared_ptr and unique_ptr always and instead use normal pointers?