Dario

Dario has asked 46 questions and find answers to 135 problems.

Stats

About

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

Dario questions

Monad trait in Scala
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?

Dario answers

head and tail calls on empty list bringing an exception
Dynamic languages Vs Static languages (can this two be together in the same place)
How can I write a function that returns a list of keys in a nested table?
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?