Logs: freenode/#haskell
| 2021-04-22 10:58:04 | <idnar> | extra parens maybe unneeded |
| 2021-04-22 10:58:21 | <lovesegfault> | oh, nic |
| 2021-04-22 10:59:31 | <lovesegfault> | Alright, time for bed |
| 2021-04-22 10:59:40 | <lovesegfault> | thanks everyone for all the help today, I learned a bunch and had fun! |
| 2021-04-22 10:59:56 | <slaterr> | good night! |
| 2021-04-22 11:00:36 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-04-22 11:01:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-22 11:01:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 11:05:44 | → | mastarija joins (~mastarija@78-3-215-13.adsl.net.t-com.hr) |
| 2021-04-22 11:05:48 | → | jk1006 joins (~jk1006@193.16.224.5) |
| 2021-04-22 11:06:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-04-22 11:06:41 | ← | jk1006 parts (~jk1006@193.16.224.5) () |
| 2021-04-22 11:07:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 11:07:31 | <xsperry> | idnar, indeed, parens aren't need, this works: map (T.take 1 <> T.filter isUpper . T.dropWhile isUpper) |
| 2021-04-22 11:07:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-22 11:09:43 | → | idhugo__ joins (~idhugo@87-49-45-4-mobile.dk.customer.tdc.net) |
| 2021-04-22 11:10:22 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-04-22 11:10:53 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:17c1:9e20:deae:8139) (Ping timeout: 250 seconds) |
| 2021-04-22 11:12:02 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-04-22 11:12:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-04-22 11:12:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2021-04-22 11:12:59 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-04-22 11:13:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 11:14:20 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-22 11:15:46 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:3d40:49bb:2ec6:f11e) |
| 2021-04-22 11:17:01 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2021-04-22 11:18:19 | <gnumonic> | why would something not typecheck if I fully apply a type-level function with an explicit argument, yet typecheck perfectly fine if I use a type family that does the same thing? (not sure if i'm asking that right) |
| 2021-04-22 11:18:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-22 11:19:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 11:19:56 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:3d40:49bb:2ec6:f11e) (Ping timeout: 245 seconds) |
| 2021-04-22 11:21:43 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-22 11:22:22 | → | zmijunkie joins (~Adium@87.122.210.20) |
| 2021-04-22 11:22:29 | <gnumonic> | example: https://gist.github.com/gnumonik/9eff3523012ace3b9e6f7c21710ba89a |
| 2021-04-22 11:22:57 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:4c23:9944:9bc8:e9ca) |
| 2021-04-22 11:23:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-04-22 11:23:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-22 11:23:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 245 seconds) |
| 2021-04-22 11:26:24 | <merijn> | oof |
| 2021-04-22 11:26:33 | <merijn> | That needs a content warning >.> |
| 2021-04-22 11:26:52 | <merijn> | What's the appropriate media rating for -XKitchenSink ? :p |
| 2021-04-22 11:29:07 | <gnumonic> | if the math gods didn't want me to use every compiler extension at once they wouldn't have given them to me :P |
| 2021-04-22 11:33:59 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-22 11:35:30 | × | LKoen quits (~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-22 11:39:17 | <Lycurgus> | math gods |
| 2021-04-22 11:39:34 | <merijn> | Yeah, you know |
| 2021-04-22 11:40:04 | <merijn> | Chtulhu, Yog-Sothoth |
| 2021-04-22 11:41:27 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 2021-04-22 11:41:40 | <Lycurgus> | lovecraft is gonna be cancelled |
| 2021-04-22 11:42:17 | <Lycurgus> | in the queue if not already in process |
| 2021-04-22 11:43:08 | <merijn> | uh |
| 2021-04-22 11:43:37 | <merijn> | Lovecraft was cancelled decades ago, but since he's dead nobody really cares anyway |
| 2021-04-22 11:43:46 | <Lycurgus> | the kipling, conrad, et. al. queue;that is if cancel culture doesn't get cancelled first |
| 2021-04-22 11:44:14 | <merijn> | Anyway, that's solidly offtopic |
| 2021-04-22 11:44:47 | <Lycurgus> | yeah I was about to reach for math/fp figures likely to be cancelled |
| 2021-04-22 11:44:51 | <hpc> | cancel culture is secretly call-cc culture :D |
| 2021-04-22 11:44:55 | Lycurgus | looks around the room |
| 2021-04-22 11:45:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-04-22 11:46:31 | → | totte joins (~totte@chakra/totte) |
| 2021-04-22 11:47:03 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds) |
| 2021-04-22 11:47:33 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-22 11:47:43 | × | Irenes quits (~irenes@NixOS/user/irenes) (Ping timeout: 250 seconds) |
| 2021-04-22 11:47:50 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-22 11:48:07 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 2021-04-22 11:51:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-22 11:54:34 | <Lycurgus> | merijn, did you infer the ghc flags from that gist? |
| 2021-04-22 11:54:57 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-04-22 11:55:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-22 11:55:50 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-22 11:55:51 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 2021-04-22 11:55:55 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 2021-04-22 11:58:00 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-04-22 11:58:30 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-22 11:58:41 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-04-22 11:59:09 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 2021-04-22 11:59:10 | vgtw_ | is now known as vgtw |
| 2021-04-22 12:01:10 | → | Irenes joins (~irenes@NixOS/user/irenes) |
| 2021-04-22 12:02:27 | → | nan` joins (~nan`@unaffiliated/nan/x-5405850) |
| 2021-04-22 12:04:28 | → | wavemode_ joins (~wavemode@097-070-075-143.res.spectrum.com) |
| 2021-04-22 12:04:50 | × | wavemode quits (~wavemode@097-070-075-143.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-04-22 12:07:47 | → | LKoen joins (~LKoen@11.160.9.109.rev.sfr.net) |
| 2021-04-22 12:08:04 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 2021-04-22 12:08:16 | × | dsal quits (sid13060@gateway/web/irccloud.com/x-rdrbgbyktkhrytkf) (Ping timeout: 245 seconds) |
| 2021-04-22 12:08:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-04-22 12:09:11 | → | dsal joins (sid13060@gateway/web/irccloud.com/x-qtgpxhcseaxflmxx) |
| 2021-04-22 12:09:34 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Read error: Connection reset by peer) |
| 2021-04-22 12:10:02 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-04-22 12:16:08 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-04-22 12:18:41 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Ping timeout: 240 seconds) |
| 2021-04-22 12:22:50 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-22 12:24:06 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 245 seconds) |
| 2021-04-22 12:24:26 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-22 12:25:12 | × | tsaka_ quits (~torstein@athedsl-4519432.home.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-04-22 12:25:44 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-22 12:25:47 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 2021-04-22 12:25:50 | × | faustind quits (8508bb0b@gateway/web/cgi-irc/kiwiirc.com/ip.133.8.187.11) (Quit: Connection closed) |
| 2021-04-22 12:26:25 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 252 seconds) |
| 2021-04-22 12:30:04 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-22 12:30:47 | → | LKoen_ joins (~LKoen@11.160.9.109.rev.sfr.net) |
| 2021-04-22 12:31:36 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-04-22 12:32:00 | → | roconnor joins (~roconnor@host-45-58-225-218.dyn.295.ca) |
All times are in UTC.