язык программирования, который поддерживает наследование типов значений

Question

Я разработки в C++, и иногда я хотел бы сказать что-то вроде этого:

class Heading : public float // this line won't compile 
{ 
public: 
    Heading(float const value_) 
    : float(value_)    // this line won't compile 
    { 
    assert(value_ >= 0.0f); 
    assert(value_ <= 360.0f); 
    } 
}; 

Вместо этого я должен сделать что-то вроде:

class Heading : public float 
{ 
public: 
    Heading(float const value_) 
    : value(value_) 
    { 
    assert(value >= 0.0f); 
    assert(value <= 360.0f); 
    } 
private: 
    float value; 
}; 

ли существуют ли какие-либо языки программирования, позволяющие расширять типы значений?

Answer 1

Python.

Все - объект. Таким образом, расширение float прост.

class Heading(float): 
    def __init__(self, value): 
     assert 0.0 <= value <= 360.0 
     super(Heading, self).__init__(value) 

И да, 0.0 <= value <= 360.0 - это юридический синтаксис.

Answer 2

D, java и Objective-C позволяют получать встроенные типы. На самом деле большинство объектно-ориентированных языков со встроенными типами, определенными для наследования от Object позволяют наследовать от встроенных типов. (Я уверен, что есть контрпример, и мы собираемся узнать об этом в комментариях ...)

Answer 3

Ada это позволяет в ограниченной степени: в частности, ваш пример может быть выражен в Аде, как

type Heading is digits 10 
    range 0.0..360.0; 

У Паскаля была аналогичная функция, которая была, IIRC, ограничена целыми числами.

Я не знаю ни одного языка, который позволяет неограниченно Наследование от примитивных типов, таких как float. Объектно-ориентированное наследование по определению включает в себя наследование от класса, который по определению не похож на C++ float.

Answer 4

В рубине вы можете пойти дальше. Вы можете на самом деле изменить встроенных типов.

class Float 
    class self.heading(val) 
    raise RangeError unless (0.0...360.0) === val 
    val 
    end 
end