[17:11:59] <freeside> hey, i came across an interesting turn of phrase the other day which i thought might be interesting to interpret from the perspective of type theory ...
[17:12:20] <freeside> "i ate and drank the food and wine" expands to "i ate the food and drank the wine"
[17:12:40] <freeside> there's a sort of <*> operator hiding in there, if you know what i mean
[17:13:08] <freeside> some amount of type inference happens, to disambiguate the objects of the verbs
[17:13:19] <freeside> [ate, drank] <*> [food, wine]
[17:14:45] <freeside> the legal text i was reading said "i hereby undertake and warrant    to perform certain actions in the future    and that certain assertions i have made about the past are true"
[17:15:04] <freeside> [undertake, warrant] <*> [future actions, past assertions]
[17:15:14] <freeside> one undertakes to perform future actions; one warrants that past assertions are true
[17:16:17] <freeside> there's a sort of polymorphism in the arrays, though, that i think requires further study of Control.Lens to properly represent in Haskell
[18:40:29] *** Joins: ja (janus@anubis.0x90.dk)