Język programowania, który pozwala zdefiniować nowe ograniczenia dla prostych typów

Wiele języków podoba C++, C#i Javapozwalają na tworzenie obiektów, które reprezentują typów prostych, jak integeri float. Za pomocą interfejsu klasy można przesłonić operatorów i wykonać logikę, np. Sprawdzanie, czy wartość przekracza regułę biznesową równą 100. Zastanawiam się, czy w niektórych...