Yuuri

Yuuri has asked 5 questions and find answers to 19 problems.

Stats

About

A C++ developer with strong affinity to functional programming and type theory. I also teach a small FP course at the Nizhny Novgorod State University.

Yuuri questions

Idris case/induction tactics
Forall quantifier and complex boolean propositions in Idris
Primitive operations in proofs
Elasticsearch multiple analyzers for a single field

Yuuri answers

Generate new test data inside QuickCheck property
How to state that a type variable in a newtype statement is of a type that belongs to some type class?
How can I constraint QuickCheck parameters, e.g. only use non-negative ints?
Returning an instance of a class in a Haskell Function [duplicate]
How to generate random array in Haskell?
Haskell debugging an arbitrary lambda expression
Maintaining a Nat within a fixed range
QuickCheck values equal
Optimising a recursive brute force into a more mathematical/linear solution
Optimize a list function that creates too much garbage (not stack overflow)