Logs: freenode/#haskell
| 2021-02-27 18:08:45 | <[exa]> | (also I should read faster it seems.) |
| 2021-02-27 18:09:17 | <kupi> | [exa]: my dumb head, I was thinking about Control.Arrow >>> |
| 2021-02-27 18:10:38 | <[exa]> | anyway afaik the widest usage of these (specialized to function) is with lens-ish code, but there everyone seems to use (&) |
| 2021-02-27 18:11:40 | <[exa]> | >>> is too overloaded and .> has multiple semantics across hackage |
| 2021-02-27 18:11:51 | <[exa]> | s/overloaded/polymorphic/ |
| 2021-02-27 18:12:33 | × | xff0x quits (~xff0x@2001:1a81:5311:f400:3a91:83a8:1897:4aa2) (Ping timeout: 260 seconds) |
| 2021-02-27 18:13:23 | → | xff0x joins (~xff0x@2001:1a81:5311:f400:9a7d:6852:57d4:8353) |
| 2021-02-27 18:14:38 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-02-27 18:14:56 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-27 18:14:57 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:44cd:7ec7:332d:f0ab) |
| 2021-02-27 18:15:02 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 18:16:38 | × | usr25 quits (~usr25@unaffiliated/usr25) (Read error: Connection reset by peer) |
| 2021-02-27 18:18:01 | <tomsmeding> | "multiple" is an understatement |
| 2021-02-27 18:20:12 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-02-27 18:20:18 | <topos> | maerwald: do you genuinely want me to fix that issue? Because if so, give a mouse a cookie etc. i *will* end up contributing more :P |
| 2021-02-27 18:21:17 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-02-27 18:23:57 | <maerwald> | topos: what cookies do you like? |
| 2021-02-27 18:26:16 | × | Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 2021-02-27 18:26:47 | <monochrom> | Give a mouse a cookie, and it becomes an ant haven for the rest of its support cycle. |
| 2021-02-27 18:26:49 | <topos> | fair enough lol (oatmeal raisin) |
| 2021-02-27 18:26:55 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-02-27 18:27:16 | <topos> | yes, i'm one of those degenerates |
| 2021-02-27 18:27:36 | <sm[m]> | nothing wrong with oatmeal raisin |
| 2021-02-27 18:27:46 | [exa] | appends to a shopping list |
| 2021-02-27 18:27:52 | <maerwald> | I can offer spelt |
| 2021-02-27 18:28:18 | <koz_> | Oat raisin cookies are great. |
| 2021-02-27 18:28:26 | koz_ | is also a degenerate. |
| 2021-02-27 18:28:53 | × | toorevitimirp quits (~tooreviti@117.182.182.60) (Read error: Connection reset by peer) |
| 2021-02-27 18:29:22 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-02-27 18:32:04 | <monochrom> | Real degenerates eat cookies made of https://en.wikipedia.org/wiki/Degenerate_matter |
| 2021-02-27 18:33:06 | <koz_> | monochrom: Real degenerates are Lovecraftian horrors? |
| 2021-02-27 18:33:08 | <tomsmeding> | that's kinda hard, I'd think |
| 2021-02-27 18:33:14 | <koz_> | tomsmeding: Hurr hurr. |
| 2021-02-27 18:33:29 | tomsmeding | is proud |
| 2021-02-27 18:33:34 | → | sQVe joins (~sQVe@unaffiliated/sqve) |
| 2021-02-27 18:33:41 | <monochrom> | You can bet neutron star cookies are really dense and hard. :) |
| 2021-02-27 18:34:47 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-02-27 18:35:23 | <topos> | koz_: i knew we |
| 2021-02-27 18:35:27 | <topos> | *we'd like the same :) |
| 2021-02-27 18:35:33 | <topos> | it just works out that way |
| 2021-02-27 18:35:37 | <koz_> | Lol, yes. |
| 2021-02-27 18:40:46 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-02-27 18:40:48 | → | NGravity joins (csp@gateway/shell/xshellz/x-kkpjcyneagkaknmz) |
| 2021-02-27 18:41:02 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 18:41:04 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-timnstzhilonhtxu) (Quit: Connection closed for inactivity) |
| 2021-02-27 18:42:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-116-244.w86-198.abo.wanadoo.fr) (Ping timeout: 276 seconds) |
| 2021-02-27 18:43:58 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 276 seconds) |
| 2021-02-27 18:45:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 2021-02-27 18:45:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-02-27 18:46:57 | × | totte quits (~totte@chakra/totte) (Ping timeout: 256 seconds) |
| 2021-02-27 18:48:23 | → | totte joins (~totte@chakra/totte) |
| 2021-02-27 18:50:09 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 272 seconds) |
| 2021-02-27 18:54:12 | × | __minoru__shirae quits (~shiraeesh@46.34.207.247) (Ping timeout: 246 seconds) |
| 2021-02-27 18:54:15 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.139) |
| 2021-02-27 18:54:39 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-27 18:57:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-02-27 18:57:57 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-02-27 18:58:09 | × | sQVe quits (~sQVe@unaffiliated/sqve) (Ping timeout: 264 seconds) |
| 2021-02-27 18:59:28 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-02-27 19:01:37 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) |
| 2021-02-27 19:01:57 | × | gawen_ quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 2021-02-27 19:02:11 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-02-27 19:02:43 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 2021-02-27 19:03:35 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-02-27 19:03:54 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-02-27 19:04:05 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2021-02-27 19:04:05 | → | gawen joins (~gawen@movzbl.root.sx) |
| 2021-02-27 19:07:40 | → | redmp joins (~redmp@172.58.35.77) |
| 2021-02-27 19:07:46 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-ignoxmynamzxzkoi) |
| 2021-02-27 19:11:31 | → | lassulus joins (~lassulus@NixOS/user/lassulus) |
| 2021-02-27 19:12:17 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-02-27 19:13:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-02-27 19:15:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:411:b35c:bf3:8b48) |
| 2021-02-27 19:16:45 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-02-27 19:16:54 | → | ryankung joins (~ryankung@220.167.79.142) |
| 2021-02-27 19:18:36 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 2021-02-27 19:19:35 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-hqwlvmypxcgqlrdh) (Quit: Connection closed for inactivity) |
| 2021-02-27 19:20:16 | × | redmp quits (~redmp@172.58.35.77) (Ping timeout: 240 seconds) |
| 2021-02-27 19:20:27 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 2021-02-27 19:20:35 | × | ryankung quits (~ryankung@220.167.79.142) (Remote host closed the connection) |
| 2021-02-27 19:21:22 | → | redmp joins (~redmp@172.58.35.77) |
| 2021-02-27 19:24:34 | → | zmv- joins (~zmv@189.79.134.102) |
| 2021-02-27 19:24:55 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 2021-02-27 19:25:22 | zmv- | is now known as notzmv |
| 2021-02-27 19:25:32 | × | notzmv quits (~zmv@189.79.134.102) (Changing host) |
| 2021-02-27 19:25:32 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-02-27 19:30:21 | → | redmp_ joins (~redmp@172.58.35.206) |
| 2021-02-27 19:30:45 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-02-27 19:30:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-02-27 19:31:25 | × | redmp quits (~redmp@172.58.35.77) (Ping timeout: 276 seconds) |
| 2021-02-27 19:32:35 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-02-27 19:32:40 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-02-27 19:33:16 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-02-27 19:34:07 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-02-27 19:34:13 | <fresheyeball> | Is there a way I can do a runtime lookup of a typeclass instance? |
| 2021-02-27 19:34:36 | <fresheyeball> | lets say I have `data Ext = forall a. Ext a` |
| 2021-02-27 19:34:50 | <dolio> | No. |
| 2021-02-27 19:35:18 | <fresheyeball> | There is no way I can lookup if `a` has an `Ord` instance and prove it to the compiler? |
| 2021-02-27 19:35:24 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-02-27 19:35:34 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
All times are in UTC.