Logs: freenode/#haskell
| 2021-03-01 03:10:08 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 2021-03-01 03:10:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 03:10:37 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-01 03:13:10 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2021-03-01 03:14:25 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-03-01 03:16:07 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 2021-03-01 03:16:50 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 2021-03-01 03:17:21 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-01 03:17:21 | finn_elija | is now known as Guest77061 |
| 2021-03-01 03:17:21 | FinnElija | is now known as finn_elija |
| 2021-03-01 03:17:56 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-03-01 03:20:45 | × | Guest77061 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-01 03:21:15 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-03-01 03:21:30 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Quit: Leaving) |
| 2021-03-01 03:21:40 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 2021-03-01 03:22:27 | × | davros1 quits (~davros@host86-183-29-83.range86-183.btcentralplus.com) (Quit: Leaving) |
| 2021-03-01 03:27:02 | → | raym joins (~ray@45.64.220.3) |
| 2021-03-01 03:27:56 | × | Guest12880 quits (~mrd@45.61.147.211) (Ping timeout: 240 seconds) |
| 2021-03-01 03:29:09 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Quit: Leaving) |
| 2021-03-01 03:29:38 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-01 03:30:15 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 2021-03-01 03:32:49 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-01 03:34:15 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-qxtkrwfdkyjvofwt) (Quit: Connection closed for inactivity) |
| 2021-03-01 03:34:41 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Client Quit) |
| 2021-03-01 03:40:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-01 03:40:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 2021-03-01 03:44:57 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-01 03:45:54 | × | theDon quits (~td@muedsl-82-207-238-016.citykom.de) (Ping timeout: 245 seconds) |
| 2021-03-01 03:46:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:47:19 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:47:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-01 03:47:36 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-ppogqhnucstulgdr) (Quit: Connection closed for inactivity) |
| 2021-03-01 03:48:00 | → | theDon joins (~td@muedsl-82-207-238-184.citykom.de) |
| 2021-03-01 03:49:57 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-01 03:50:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:50:40 | → | tinhatcat_ joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 2021-03-01 03:51:18 | × | tinhatcat_ quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Client Quit) |
| 2021-03-01 03:51:27 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-01 03:52:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:53:26 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:53:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-01 03:54:18 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-03-01 03:55:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 03:56:54 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-03-01 03:59:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 04:01:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-01 04:04:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-01 04:05:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 2021-03-01 04:08:06 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
| 2021-03-01 04:10:18 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-03-01 04:10:29 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-03-01 04:10:52 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-03-01 04:11:26 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-03-01 04:12:16 | × | darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 240 seconds) |
| 2021-03-01 04:12:40 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-03-01 04:13:55 | → | plutoniix joins (~q@184.82.206.28) |
| 2021-03-01 04:14:36 | → | redmp joins (~redmp@172.58.38.156) |
| 2021-03-01 04:14:44 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-01 04:20:36 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 240 seconds) |
| 2021-03-01 04:21:16 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-03-01 04:22:05 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-01 04:24:33 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Quit: Leaving) |
| 2021-03-01 04:25:27 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:24a3:780d:1b89:fbe4) |
| 2021-03-01 04:33:08 | → | kit joins (~kit@103.231.91.232) |
| 2021-03-01 04:33:45 | × | kit quits (~kit@103.231.91.232) (Client Quit) |
| 2021-03-01 04:38:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-01 04:41:50 | × | poscat quits (~poscat@114.243.61.85) (Remote host closed the connection) |
| 2021-03-01 04:42:17 | → | poscat joins (~poscat@114.243.61.85) |
| 2021-03-01 04:42:19 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-03-01 04:53:37 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-01 04:56:10 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
| 2021-03-01 04:56:38 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-01 04:59:12 | <redmp> | What's the shortest way to do a monadic action for each of the cross of two lists? I came up with `sequence $ liftM2 (\a b -> print (a, b)) "abcde" [1..6]` |
| 2021-03-01 05:00:54 | <glguy> | for_ "abcde" \x -> for_ [1..6] \y -> print (x,y) |
| 2021-03-01 05:01:17 | <glguy> | I'd probably go with that in some real code with some newlines |
| 2021-03-01 05:01:21 | <redmp> | glguy: yeah, that's more what I was going for.. was trying to make it out of mapM_ and kept failing |
| 2021-03-01 05:01:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 2021-03-01 05:02:00 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 2021-03-01 05:02:29 | <redmp> | the one i wrote felt non-obvious .. this is nicer; thanks |
| 2021-03-01 05:06:42 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 2021-03-01 05:06:43 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 2021-03-01 05:13:41 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 2021-03-01 05:17:28 | × | Guest68145 quits (~SatanX@185.204.1.185) (Remote host closed the connection) |
| 2021-03-01 05:18:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 2021-03-01 05:20:47 | <monochrom> | @type for_ "abcde" \x -> for_ [1..6] \y -> print (x,y) |
| 2021-03-01 05:20:48 | <lambdabot> | error: |
| 2021-03-01 05:20:48 | <lambdabot> | Unexpected lambda expression in function application: |
| 2021-03-01 05:20:48 | <lambdabot> | \ x -> for_ [1 .. 6] \ y -> print (x, y) |
| 2021-03-01 05:21:05 | <monochrom> | @type for_ "abcde" (\x -> for_ [1..6] (\y -> print (x,y))) |
| 2021-03-01 05:21:06 | <lambdabot> | IO () |
| 2021-03-01 05:23:31 | → | jack joins (9a110de1@154.17.13.225) |
| 2021-03-01 05:23:33 | → | titusjgr joins (7bc2de80@123-194-222-128.dynamic.kbronet.com.tw) |
| 2021-03-01 05:23:56 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-03-01 05:24:00 | → | mrioqueiroz joins (~mrioqueir@177.74.248.219) |
| 2021-03-01 05:25:53 | × | carlomagno quits (~cararell@148.87.23.10) (Quit: Leaving.) |
| 2021-03-01 05:25:59 | × | titusjgr quits (7bc2de80@123-194-222-128.dynamic.kbronet.com.tw) (Client Quit) |
| 2021-03-01 05:26:15 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 2021-03-01 05:26:28 | jack | is now known as InsideBreeze |
| 2021-03-01 05:30:57 | <jamestmartin> | for a variable `x` of an uninhabited type, `case x of {}` does not consume `x`, but `(\case{}) x` does. is that the intended behavior? |
| 2021-03-01 05:33:04 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
All times are in UTC.