Welcome to the Lounge

Acceleration g = new Acceleration(9.88); // m/(s*s)
Mass m = new mass(25); // kg
Force f = m * g;

Pablo Aliskevicius wrote:

I remember reading an article (which I can't find) that used this to implement classes that allow you to do the following:

[<Measure>] type years

let myAge = 32<years>

Phil Martin wrote:

Units are lost at runtime

class AgeInYears : int
    {
    public static implicit operator AgeInYears(int i)
        {
        return (AgeInYears)i;
        }
    public static implicit operator int(AgeInYears a)
        {
        return (int)a;
        }
    }

OriginalGriff wrote:

Annoyingly, int is a sealed type in C#, or all you would have to do is provide the implicit cast operators:

OriginalGriff wrote:

And don't forget that an Age is not a constant value: it will vary as the application runs...

OriginalGriff wrote:

But...what is an age plus an age?

class AgeInYears
{
  public AgeInYears(DateTime birthdate)
  {
    _Birthdate = birthdate;
  }
  private DateTime _Birthdate;
  public int Years
  {
    get
    {
       return (DataTime.Now - _Birthdate).Days / 365; // yes, I know 365 isn't right; it's just an example, for gosh sakes
    }
  }
}

Gary Wheeler wrote:

The Ada programming language provided a semblance of semantic typing.

Rob Grainger wrote:

"If you don't fail at least 90 percent of the time, you're not aiming high enough."

greydmar wrote:

I believe that this threshold "semantic" is outside the domain of a programming language (commonly, it is a "system domain" concept),

Member 7989122 wrote:

CHILL (CCITT HIgh Level Language - CCITT was the old name of ITU-T)

newtype meter m = meter m deriving (Show, Num, Eq, Ord)
newtype foot f = foot f deriving (Show, Num, Eq, Ord)

-- Usage (ghci> is an iteractive prompt)
ghci> let m1 = meter 5
ghci> let m2 = meter 10
ghci> let m3 = m1 + m2
ghci> m3
meter 15
ghci> let f1 = foot 3
ghci> let f2 = foot 4
ghci> let f3 = f1 + f2
ghci> f3
foot 7
ghci> let e1 = f1 + m1      -- Won't Work - produces error of types mismatching