Dario

Dario has asked 46 questions and find answers to 140 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

Why does Seq and List have different signature for nth? [duplicate]
Can this be made more pythonic?
Using mental images in functional programming
What's the style for immutable set and map in F#
Python While Loop Condition Evaluation
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