Databases
StackOverflow2013
Postsdbo
POPolymorphic Numerics on .Net and In C#
 

Note that there are some explanatory texts on larger screens.

plurals
  1. POPolymorphic Numerics on .Net and In C#
    primarykey
    data
    text
    <p>It's a real shame that in .Net there is no polymorphism for numbers, i.e. no INumeric interface that unifies the different kinds of numerical types such as bool, byte, uint, int, etc. In the extreme one would like a complete package of abstract algebra types.</p> <p>Joe Duffy has an article about the issue:</p> <p><a href="http://www.bluebytesoftware.com/blog/CommentView,guid,14b37ade-3110-4596-9d6e-bacdcd75baa8.aspx" rel="nofollow noreferrer">http://www.bluebytesoftware.com/blog/CommentView,guid,14b37ade-3110-4596-9d6e-bacdcd75baa8.aspx</a></p> <p>How would you express this in C#, in order to retrofit it, without having influence over .Net or C#?</p> <p>I have one idea that involves first defining one or more abstract types (interfaces such as INumeric - or more abstract than that) and then defining structs that implement these and wrap types such as int while providing operations that return the new type (e.g. Integer32 : INumeric; where addition would be defined as</p> <pre><code>public Integer32 Add(Integer32 other) { return Return(Value + other.Value); } </code></pre> <p>I am somewhat afraid of the execution speed of this code but at least it is abstract.</p> <p>No operator overloading goodness...</p> <p>Any other ideas?</p> <p>.Net doesn't look like a viable long-term platform if it cannot have this kind of abstraction I think - and be efficient about it.</p> <p>Abstraction is reuse.</p> <p>update:</p> <p>This is an example implementation type signature so far:</p> <pre><code>public struct Integer32 : INumeric&lt;Integer32, Int32&gt;, IOrder&lt;Integer32, Int32&gt; </code></pre> <p>Compensating for the lack of covariant return types.</p>
    singulars
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. PTQuestion
    1. USplannapus
    1. USBent Rasmussen
    plurals
    1. PL
      singulars
      1. LTLinked
    1. PL
      singulars
      1. LTLinked
    2. PL
      singulars
      1. LTLinked
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. POPolymorphic Numerics on .Net and In C#
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. POPolymorphic Numerics on .Net and In C#
      1. USFrustratedWithFormsDesigner
      1. VTFavorite
    3. VO
      singulars
      1. POPolymorphic Numerics on .Net and In C#
      1. This table or related slice is empty.
      1. VTDownMod
    1. COIs there a reason you wouldn't use a generic interface for this? Have you considered and rejected generics?
      singulars
      1. POPolymorphic Numerics on .Net and In C#
      1. USoverslacked
    2. COThat's the thing, I am using generics, it's just that for every specific type, such as Int32, I implement this interface in a struct such that public struct Integer32 : INumeric<Integer32, Int32>, ... The strange definition is also due to the fact that C# doesn't have "covariant return types" - I believe this is the term. In Eiffel the syntax "like Current" is possible. Not so in C#, as far as I can see.
      singulars
      1. POPolymorphic Numerics on .Net and In C#
      1. USBent Rasmussen
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

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