Dario

Dario has asked 45 questions and find answers to 132 problems.

Stats

About

PhD student in Computer Science, working on programming languages, category theory and probability

Dario questions

Inventing a suitable infix operator symbol for liftM
Typing polymorphic values with multiple interfaces in C#
Non-determinstic choice with amb-operator
Functional programming in nuclear plants?
Playing with infinity - Lazy arithmetics
Why does Ruby require .call for Proc invocation?
How to make Haskell compute the correct polymorphic type?
High-level multithreading/concurrency abstractions for .NET
Does the continuation + tail recursion trick actually trade stack space for heap space?
How to access locals through stack trace? (Mimicking dynamic scope)

Dario answers

infinite loop in functional programming?
OCaml: bound expressions v. functions
Conditional summarizing via inject
Recursion in C function type with return
Haskell foldl and stack overflow?
Call member functions of members of elements of a container with for_each?
How can I convert Anonymous type to Ttype?
What characteristics make programmers conceive a language as beautiful?
Inclusion of typeclasses with default implementation in Haskell
Which issues have you encountered due to sequence points in C and C++?