Name: Anonymous 2020-05-17 10:20
This proposal aims to extend available numeric types in programming languages by adding the a
dubs type. Objects of the type shall hold numeric values that terminate with repeating digits.// Example usage in a C family language
dubs a = 11 // OK: 11 are sweet dubs
dubs b = 23 // error: 23 aren't sweet dubs
int c = 43 // OK: 43 is an int
dubs d = a // error: 43 aren't sweet dubs
fun f(dubs x) => x
f(100); // OK: 100 are dubs
f(101); // error: not dubs bro
fun g(int x) {
dubs y = x; // error: Not cool man. Can't fake dubs.
return x;
}