2017-01-25 23:33:53 +0000 <monochrom> If Buddha doesn't understand it, kill Buddha.
2017-01-25 23:34:02 +0000 <ski> dpakj : if you tried to write `foo' with an ordinary ADT, you'd get complaints about the first clause returning an `Int', the second a `Bool', while the type signature said it must be polymorphic
2017-01-25 23:34:02 +0000mekeor(~mekeor@2001:a61:2232:ad01:9ade:d0ff:fe15:14cb)
2017-01-25 23:34:18 +0000HugoDaniel(~0@62.82.115.89.rev.vodafone.pt) (Ping timeout: 258 seconds)
2017-01-25 23:34:25 +0000fragamus(~textual@99-161-168-122.lightspeed.rcklca.sbcglobal.net) (Quit: My Mac has gone to sleep. ZZZzzz…)
2017-01-25 23:34:41 +0000afldcr(~afldcr@67.218.117.197) (Ping timeout: 256 seconds)
2017-01-25 23:34:41 +0000nyazdani(~nyazdani@D-173-250-194-157.dhcp4.washington.edu)
2017-01-25 23:35:05 +0000zipper(~luv_panda@unaffiliated/zipper) (Ping timeout: 240 seconds)
2017-01-25 23:35:31 +0000Snircle(~textual@ip68-6-211-19.sd.sd.cox.net)
2017-01-25 23:35:45 +0000 <dpakj> ski, how did you learn so much about category thoery?
2017-01-25 23:35:45 +0000bschwb(~berndschw@80-110-201-145.static.upcbusiness.at)
2017-01-25 23:36:10 +0000wolfcore(~wolfcore@unaffiliated/wolfcore) (Ping timeout: 240 seconds)
2017-01-25 23:36:13 +0000mdarse(~mdarse@80.215.234.130)
2017-01-25 23:36:22 +0000cdg_(~cdg@157.166.173.4) (Ping timeout: 240 seconds)
2017-01-25 23:36:37 +0000 <glguy> nick99: Someone might have defined that once, but it's not in the standard libraries
2017-01-25 23:36:38 +0000 <ski> dpakj : sometimes it's useful to define a GADT like `data TellMeTheType a where ItsInt :: TellMeTheType Int; ItsString :: TellMeTheType String'. note that in this case the data constructors have no arguments of type `Int' or `String'. however if in another function you have a list of type `[a]', and you also get a `TellMeTheType a' from somewhere, then magically you can *discover* which type `a' is (namely `Int' or `String'), by matching on the value of typ
2017-01-25 23:36:51 +0000 <ski> er, cut off near ".., then magically you can *discover* which type `a' is (namely `Int' or `String'), by matching on the value of type `TellMeTheType a'"
2017-01-25 23:36:57 +0000uglyfigurine(~uglyfigur@131.228.197.5) (Ping timeout: 256 seconds)
2017-01-25 23:37:09 +0000 <nick99> glguy does hoogle search outside of standard libraries?
2017-01-25 23:37:14 +0000 <ski> @remember monochrom <monochrom> If stack doesn't understand it, kill stack. <monochrom> If Buddha doesn't understand it, kill Buddha.
2017-01-25 23:37:14 +0000 <lambdabot> Done.
2017-01-25 23:37:29 +0000 <nick99> maybe it was in those third party utility libs
2017-01-25 23:37:30 +0000 <glguy> nick99: I don't know
2017-01-25 23:37:37 +0000 <dpakj> i see
2017-01-25 23:37:39 +0000sanitypassing(~sanitypas@unaffiliated/sanitypassing)
2017-01-25 23:37:39 +0000 <monochrom> How to learn much about anything: Reading books and "academic" papers, doing exercises, staying away from blogs (incomplete and incoherent), reddit (incomplete and incoherent), and IRC (incomplete and incoherent).
2017-01-25 23:37:55 +0000 <ski> dpakj : picked up bits and pieces on IRC, looking at some web pages, attempting to read papers, books, &c.
2017-01-25 23:37:58 +0000 <dpakj> so to like map different functions to the list of [a] for strings and integers
2017-01-25 23:38:00 +0000osa1_(~omer@213.74.159.28)
2017-01-25 23:38:02 +0000 <johnw> lol
2017-01-25 23:38:06 +0000sepp2k(~Sepp2k@x5ce6f85e.dyn.telefonica.de)
2017-01-25 23:38:08 +0000crobbins(~crobbins@166.137.98.196)
2017-01-25 23:38:13 +0000 <glguy> If you take monochrom's advice, you won't take monochrom's advice
2017-01-25 23:38:35 +0000 <mettekou> monochrom: The incompleteness is as much a property of papers as it is of blogs. At least in computer science, where conference proceedings dominate over journal publications.
2017-01-25 23:38:36 +0000 <ski> dpakj : anyway, i wanted to show how we could define an example category in Haskell, using GADT syntax for the arrow/morphism data type