4 ms·

(Phrase originally coined by Yaron Minsky; the earliest text mention I know of is https://blog.janestreet.com/effective-ml-revisited/ https://blog.janestreet.co

(Phrase originally coined by Yaron Minsky; the earliest text mention I know of is https://blog.janestreet.com/effective-ml-revisited/ https://blog.janestreet.com/effective-ml-revisited/) To be pedantic, "date of birth" does not actually imply "age". At the very least you need "instant of birth" instead, since dates are subject to calendars and time zones. Also Feb 30th happened in 1712 in Sweden; beware of modelling a domain so tightly that you leave some of it unmodelled (cough email-address validation regexes).

awwsmm 3y ago
Thanks for sharing this, I was remiss in not including it.
s9g 3y ago
Also cultural differences in representing age. South Korea used to be a good example of this, but apparently moved to using birthday to calculate age last year - https://en.wikipedia.org/wiki/East_Asian_age_reckoning https://en.wikipedia.org/wiki/East_Asian_age_reckoning
ParetoOptimal 3y ago
> beware of modelling a domain so tightly that you leave some of it unmodelled (cough email-address validation regexes). In many cases the only feasible way to model the domain with types is to cut the scope as much as possible.
awwsmm 3y ago
I found an even older source. Same guy, though https://www.cs.rice.edu/~javaplt/411/23-spring/NewReadings/functional_programming_on_Wall_Street.pdf https://www.cs.rice.edu/~javaplt/411/23-spring/NewReadings/f...
greenyoda 3y ago
> Also Feb 30th happened in 1712 in Sweden September 1752 was even stranger, with 11 missing days: > The Gregorian calendar reform was adopted by the Kingdom of Great Britain, including its possessions in North America (later to become eastern USA and Canada), in September 1752. As a result, the September 1752 cal shows the adjusted days missing. This month was the official (British) adoption of the Gregorian calendar from the previously used Julian calendar. This has been documented in the man pages for Sun Solaris as follows. "An unusual calendar is printed for September 1752. That is the month when 11 days were skipped to make up for lack of leap year adjustments. $ cal 9 1752 September 1752 S M Tu W Th F S 1 2 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 https://en.wikipedia.org/wiki/Cal_(command)#Quirks_(1752) https://en.wikipedia.org/wiki/Cal_(command)#Quirks_(1752)

awwsmm 3y ago

Thanks for sharing this, I was remiss in not including it.

s9g 3y ago

Also cultural differences in representing age. South Korea used to be a good example of this, but apparently moved to using birthday to calculate age last year - https://en.wikipedia.org/wiki/East_Asian_age_reckoning https://en.wikipedia.org/wiki/East_Asian_age_reckoning

ParetoOptimal 3y ago

> beware of modelling a domain so tightly that you leave some of it unmodelled (cough email-address validation regexes). In many cases the only feasible way to model the domain with types is to cut the scope as much as possible.

awwsmm 3y ago

I found an even older source. Same guy, though https://www.cs.rice.edu/~javaplt/411/23-spring/NewReadings/functional_programming_on_Wall_Street.pdf https://www.cs.rice.edu/~javaplt/411/23-spring/NewReadings/f...

greenyoda 3y ago

> Also Feb 30th happened in 1712 in Sweden September 1752 was even stranger, with 11 missing days: > The Gregorian calendar reform was adopted by the Kingdom of Great Britain, including its possessions in North America (later to become eastern USA and Canada), in September 1752. As a result, the September 1752 cal shows the adjusted days missing. This month was the official (British) adoption of the Gregorian calendar from the previously used Julian calendar. This has been documented in the man pages for Sun Solaris as follows. "An unusual calendar is printed for September 1752. That is the month when 11 days were skipped to make up for lack of leap year adjustments. $ cal 9 1752 September 1752 S M Tu W Th F S 1 2 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 https://en.wikipedia.org/wiki/Cal_(command)#Quirks_(1752) https://en.wikipedia.org/wiki/Cal_(command)#Quirks_(1752)