Logs: freenode/#haskell
| 2021-04-03 13:42:08 | <edwardk> | i was asking more about the person who got kicked |
| 2021-04-03 13:42:16 | <mniip> | lmfao |
| 2021-04-03 13:42:21 | <mniip> | perdent1, so you come here? |
| 2021-04-03 13:42:31 | <Lycurgus> | guess spj or somebody like that is here on occasion |
| 2021-04-03 13:42:45 | <edwardk> | spj joined the channel one time in 12 years =) |
| 2021-04-03 13:42:52 | <Lycurgus> | edwardk, oh that's perdent1 |
| 2021-04-03 13:43:03 | <edwardk> | jaffacake is more likely to come slumming. |
| 2021-04-03 13:43:04 | <pjb> | perdent1: ain't this "prestigious one" unfriendly? |
| 2021-04-03 13:43:10 | <Lycurgus> | so it's a live contrast |
| 2021-04-03 13:43:18 | <Uniaika> | haha |
| 2021-04-03 13:43:45 | × | dcbdan quits (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) (Quit: leaving) |
| 2021-04-03 13:43:55 | <edwardk> | 14 years actually. i think the last time he was in here was 2006. |
| 2021-04-03 13:44:34 | → | dcbdan joins (~dcbdan@c-73-76-129-120.hsd1.tx.comcast.net) |
| 2021-04-03 13:45:10 | <Lycurgus> | yeah i think that's when I first was here, albeit not with this nick |
| 2021-04-03 13:45:27 | ChanServ | sets mode +o mniip |
| 2021-04-03 13:45:43 | <Lycurgus> | '05/06 |
| 2021-04-03 13:46:24 | → | globulis joins (~globulis@host-79-11-229-112.business.telecomitalia.it) |
| 2021-04-03 13:46:35 | mniip | sets mode +q-o *!*@192.145.118.58 mniip |
| 2021-04-03 13:47:09 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-04-03 13:47:09 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-04-03 13:47:09 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-04-03 13:48:24 | → | jluttine joins (~jluttine@85-23-66-6.bb.dnainternet.fi) |
| 2021-04-03 13:50:25 | → | jo[m]2 joins (josefmat1@gateway/shell/matrix.org/x-eplsciljiwydqvjb) |
| 2021-04-03 13:50:28 | × | geekosaur quits (ac3a5331@172.58.83.49) (Quit: Connection closed) |
| 2021-04-03 13:51:55 | <mniip> | (this CTF is sourced from elsewhere and the rules forbid discussing solutions while a challenge is active, and I have reasons to believe that this is not the author) |
| 2021-04-03 13:53:40 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds) |
| 2021-04-03 13:55:39 | × | drbean_ quits (~drbean@TC210-63-209-59.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-04-03 13:57:01 | × | Lycurgus quits (~niemand@98.4.115.201) (Quit: Exeunt) |
| 2021-04-03 14:02:24 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-03 14:04:39 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-04-03 14:04:41 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:a8ef:cfab:27cf:7ae8) |
| 2021-04-03 14:09:10 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:a8ef:cfab:27cf:7ae8) (Ping timeout: 258 seconds) |
| 2021-04-03 14:09:36 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4487:11af:62b0:68c1) (Ping timeout: 246 seconds) |
| 2021-04-03 14:11:11 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-03 14:13:04 | × | slaterr quits (~bc8134e3@217.29.117.252) (Quit: quit) |
| 2021-04-03 14:13:05 | × | xwvvvvwx quits (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-03 14:13:16 | × | globulis quits (~globulis@host-79-11-229-112.business.telecomitalia.it) (Quit: Quit) |
| 2021-04-03 14:13:17 | × | haritz quits (~hrtz@unaffiliated/haritz) (Read error: Connection reset by peer) |
| 2021-04-03 14:14:36 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 2021-04-03 14:14:36 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 2021-04-03 14:14:36 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-03 14:14:39 | × | __minoru__shirae quits (~shiraeesh@77.94.25.131) (Ping timeout: 265 seconds) |
| 2021-04-03 14:15:14 | → | xwvvvvwx joins (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-04-03 14:17:20 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Quit: dddddd) |
| 2021-04-03 14:18:54 | ← | usr25 parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 2021-04-03 14:20:27 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-04-03 14:20:37 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-03 14:21:28 | × | haritz quits (~hrtz@unaffiliated/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-04-03 14:21:59 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:7445:6b92:4b01:cfc6) |
| 2021-04-03 14:22:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-03 14:26:05 | × | acidjnk_new quits (~acidjnk@p200300d0c72b951985afe8c678129748.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-03 14:30:19 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2021-04-03 14:30:20 | → | asdfghjkl100 joins (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) |
| 2021-04-03 14:30:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-03 14:37:54 | → | sedeki joins (~textual@unaffiliated/sedeki) |
| 2021-04-03 14:39:47 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-03 14:40:45 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-03 14:42:46 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-04-03 14:43:25 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-03 14:44:03 | × | xff0x_ quits (~xff0x@2001:1a81:5382:2700:3e60:8ef5:8d8c:59f2) (Ping timeout: 258 seconds) |
| 2021-04-03 14:44:22 | → | xff0x_ joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-04-03 14:46:22 | <sedeki> | can someone explain to me why `fmap (+1) (4, 5)` is returning `(4, 6)`? how are pairs defined as functors? |
| 2021-04-03 14:48:14 | <zebrag> | > fmap (+1) (4, 5) |
| 2021-04-03 14:48:16 | <lambdabot> | (4,6) |
| 2021-04-03 14:48:25 | <Uniaika> | sedeki: they are not :) |
| 2021-04-03 14:48:32 | <Uniaika> | A Functor is defined on one element |
| 2021-04-03 14:48:55 | <pjb> | Why the last of the pair? |
| 2021-04-03 14:48:55 | <Uniaika> | so, how do you target one element of a data-structure that takes two parameters, like a pair? |
| 2021-04-03 14:49:03 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-04-03 14:49:04 | <pjb> | > fmap (+1) (1,2,3,4) |
| 2021-04-03 14:49:06 | <lambdabot> | (1,2,3,5) |
| 2021-04-03 14:49:13 | <pjb> | s/pair/tuple |
| 2021-04-03 14:49:18 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-03 14:49:26 | <sedeki> | pjb yes, thanks |
| 2021-04-03 14:49:31 | <pjb> | I would have used the first element of the tuple… |
| 2021-04-03 14:49:53 | <zebrag> | > (4, 5) >>= \x -> return (x + 1) |
| 2021-04-03 14:49:55 | <lambdabot> | error: |
| 2021-04-03 14:49:55 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M520039120492... |
| 2021-04-03 14:49:55 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2021-04-03 14:49:58 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-04-03 14:50:02 | <Uniaika> | you define the functor instance for the pair as 'instance Functor ((,) a)' sedeki |
| 2021-04-03 14:50:41 | <sedeki> | i see. so it is a matter of definition in this case, in the sense that it was arbitrarily chosen |
| 2021-04-03 14:51:24 | <zebrag> | > [3] >>= \x -> return (x + 1) |
| 2021-04-03 14:51:25 | <lambdabot> | [4] |
| 2021-04-03 14:51:30 | <sedeki> | it could have been `instance Functor (a (,))` |
| 2021-04-03 14:51:30 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-03 14:51:34 | <tomsmeding> | sedeki: it kind of is, but also kind of isn't arbitrary: Functor takes a type with one argument, so if something is a functor it's always in its last type variable |
| 2021-04-03 14:51:41 | → | haritz joins (~hrtz@62.3.70.206) |
| 2021-04-03 14:51:41 | × | haritz quits (~hrtz@62.3.70.206) (Changing host) |
| 2021-04-03 14:51:42 | → | haritz joins (~hrtz@unaffiliated/haritz) |
| 2021-04-03 14:51:53 | <tomsmeding> | sedeki: if that would've been valid syntax, it would've meant the same :p |
| 2021-04-03 14:52:10 | <tomsmeding> | it would have been nice if (,a) was allowed there, but unfortunately not |
| 2021-04-03 14:52:48 | <tomsmeding> | > (Sum 4, 5) >>= \x -> return (x + 1) |
| 2021-04-03 14:52:50 | <lambdabot> | (Sum {getSum = 4},6) |
| 2021-04-03 14:52:56 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-03 14:52:59 | <zebrag> | > Right 3 >>= \x -> return (x + 1) |
| 2021-04-03 14:53:00 | <lambdabot> | Right 4 |
| 2021-04-03 14:53:06 | <tomsmeding> | zebrag: (a,b) is only a monad if 'a' is a Monoid |
| 2021-04-03 14:53:18 | <zebrag> | > Left 3 >>= \x -> return (x + 1) |
| 2021-04-03 14:53:19 | <lambdabot> | Left 3 |
All times are in UTC.