StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>Think about what the signature for <code>IMonad<T></code>'s methods would have to be. In Haskell the Monad typeclass is defined as </p> <pre><code>class Monad m where (>>=) :: m a -> (a -> m b) -> m b return :: a -> m a </code></pre> <p>It's tricky to translate this directly to a C# interface because you need to be able to reference the specific implementing subtype ("m a" or <code>ISpecificMonad<a></code>) within the definition of the general IMonad interface. OK, instead of trying to have (for example) <code>IEnumerable<T></code> implement <code>IMonad<T></code> directly, we'll try factoring the IMonad implementation out into a separate object which can be passed, along with the specific monad type instance, to whatever needs to treat it as a monad (this is "dictionary-passing style"). This will be <code>IMonad<TMonad></code> and TMonad here will be not the T in <code>IEnumerable<T></code>, but <code>IEnumerable<T></code> itself. But wait -- this can't work either, because the signature of <code>Return<T></code> for example has to get us from <em>any</em> type T to a <code>TMonad<T></code>, for <em>any</em> <code>TMonad<></code>. IMonad would have to be defined as something like</p> <pre><code>interface IMonad<TMonad<>> { TMonad<T> Unit<T>(T x); TMonad<U> SelectMany<T, U>(TMonad<T> x, Func<T, TMonad<U>> f); } </code></pre> <p>using a hypothetical C# feature that would allow us to use <em>type constructors</em> (like TMonad<>) as generic type parameters. But of course C# does not have this feature <em>(higher-kinded polymorphism)</em>. You can reify type constructors at runtime (<code>typeof(IEnumerable<>)</code>) but can't refer to them in type signatures without giving them parameters. So besides the -100 points thing, implementing this "properly" would require not just adding another ordinary interface definition, but deep additions to the type system. </p> <p>That's why the ability to have query comprehensions over your own types is kind of hacked on (they just "magically" work if the right magic method names with the right signatures are there) instead of using the interface mechanism etc.</p>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload