Rust Type Mismatch Meme

[<Measure>] type `<(⌐° ͡ ʖ̯ °)>` [<Measure>] type Drugs [<Measure>] type Alcohol [<Measure>] type `((⌐° ͡ ʖ̯ °))` = `((⌐° ͡ ʖ̯ °))` * Drugs [<Measure>] type `((⌐° ͡ ʖ̯ °))` = `((⌐° ͡ ʖ̯ °))` * Alcohol let man = 1<`((⌐° ͡ ʖ̯ °))`> // int<((⌐° ͡ ʖ̯ °))> let cocaine = 1<Drugs> // int<Drugs> let vodka = 1<Alcohol> // int<Alcohol> let narkoman = man * cocaine // int<Drugs ((⌐° ͡ ʖ̯ °))> let alcoholic = man * vodka // int<Alcohol ((⌐° ͡ ʖ̯ °))> if narkoman == alcoholic then 1 else 0 Type mismatch. Expecting a 'int<Drugs ((⌐° ͡ ʖ̯ °))>' but given a 'int<Alcohol ((⌐° ͡ ʖ̯ °))>' The unit of measure 'Drugs ((⌐° ͡ ʖ̯ °))' does not match the unit of measure 'Alcohol ((⌐° ͡ ʖ̯ °))' F# Compiler(1)

A dark-themed code editor shows F# code defining units of measure for drugs and alcohol, then trying to compare a drug addict with an alcoholic. The compiler rejects the comparison because the two values have incompatible units of measure, turning a programming type error into an absurd joke about addiction and alcoholism. EN: A dark-themed code editor shows F# code defining units of measure for drugs and alcohol, then trying to compare a drug addict with an alcoholic. The compiler rejects the comparison because the two values have incompatible units of measure, turning a programming type error into an absurd joke about addiction and alcoholism.

• @profunctor_io / 3189 2019-10-11