https://www.dotnetzone.gr:443/cs/blogs/palladin/archive/2009/10/25/abstracting-over-m.aspxΤον τελευταίο καιρό ψάχνω κάποιο φορμαλισμό (σε C#) ώστε να μπορέσω να έχω έναν generic-reusable ορισμό ενός Monad . Αυτό που λείπει από τα .Net generics είναι η δυνατότητα να έχω abstraction σε επίπεδο Type Constructor. Σαν παράδειγμα της συγκεκριμένηςelCommunityServer 2.1 SP3 (Build: 20423.1)https://www.dotnetzone.gr:443/cs/blogs/palladin/archive/2009/10/25/abstracting-over-m.aspx#54716Mon, 26 Oct 2009 03:11:55 GMT2622095e-976c-431a-859e-16783ec7ecd7:54716napoleon<p>Να ρωτήσω(...) γιατί δεν το επιχείρησες σε F# μιας και θα ήταν χρησιμοποιήσιμο από .ΝΕΤ και πιο εύκολο;</p> https://www.dotnetzone.gr:443/cs/blogs/palladin/archive/2009/10/25/abstracting-over-m.aspx#54719Mon, 26 Oct 2009 04:30:59 GMT2622095e-976c-431a-859e-16783ec7ecd7:54719PALLADIN<p>Kai o F# codikas den einai diaforetikos, epeidi einai limitation ton .net generics.</p> https://www.dotnetzone.gr:443/cs/blogs/palladin/archive/2009/10/25/abstracting-over-m.aspx#55976Sun, 20 Dec 2009 23:55:58 GMT2622095e-976c-431a-859e-16783ec7ecd7:55976Thoughts and Code<p>Μετά από αρκετές αποτυχημένες προσπάθειες, στο να συνδυάσω Type constructor polymorphism και LINQ syntax,</p>