Logs on 2021-05-03 (freenode/#haskell)
| 00:00:09 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 00:00:31 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 00:02:22 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 00:06:05 | → | zaquest joins (~notzaques@5.128.210.178) |
| 00:06:21 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Quit: ENOUSER) |
| 00:06:40 | → | olligobber joins (~olligobbe@unaffiliated/olligobber) |
| 00:08:30 | → | jgt_ joins (~jgt@85.105.142.226) |
| 00:08:49 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:10:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:14:41 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 246 seconds) |
| 00:19:52 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 00:23:10 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 252 seconds) |
| 00:23:54 | → | dsrt^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 00:24:14 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 00:25:10 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:27:46 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 00:28:17 | → | bennofs__ joins (~quassel@x4db726f5.dyn.telefonica.de) |
| 00:28:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 00:28:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 00:29:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 00:31:53 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 00:32:21 | × | bennofs_ quits (~quassel@dynamic-089-012-195-080.89.12.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 00:35:23 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 00:35:54 | → | kderme joins (4fa70341@ppp079167003065.access.hol.gr) |
| 00:36:33 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 00:36:41 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 00:38:29 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 00:40:14 | <alphabeta1> | Hi! I need to wait for two specific things ("events") that are in a Chan before proceeding. The order of the two things are undefined. Currently my code uses a recursive helper with two Maybe arguments, but is there a nice way to achieve this? |
| 00:41:10 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 00:41:35 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 00:42:05 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 00:42:20 | <alphabeta1> | There are other things in the Chan too, by the way. |
| 00:42:32 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 00:42:54 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 00:44:56 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 00:44:57 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 00:50:36 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:51:00 | × | ADG1089 quits (~aditya@223.226.237.158) (Remote host closed the connection) |
| 00:52:17 | → | jgt_ joins (~jgt@85.105.142.226) |
| 00:52:18 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 00:53:00 | <dmj`> | alphabeta1: might want to check out QSemN |
| 00:53:14 | <dmj`> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Concurrent-QSemN.html |
| 00:53:34 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 00:55:47 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 248 seconds) |
| 00:56:23 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 00:56:43 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 252 seconds) |
| 00:58:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 01:01:07 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds) |
| 01:03:31 | × | ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) () |
| 01:03:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 01:05:18 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 01:05:44 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:05:46 | → | drbean_ joins (~drbean@TC210-63-209-209.static.apol.com.tw) |
| 01:05:57 | → | stree joins (~stree@68.36.8.116) |
| 01:06:12 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 01:06:37 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 01:11:17 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 01:12:02 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 01:12:36 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:44 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:15:13 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 01:15:35 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Client Quit) |
| 01:16:51 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 01:17:55 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:18:30 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 01:18:37 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 01:19:46 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 01:20:24 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 01:21:54 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 01:24:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 245 seconds) |
| 01:28:23 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 01:37:13 | × | xff0x quits (~xff0x@2001:1a81:52ec:5800:8ba9:e304:cfde:2b16) (Ping timeout: 250 seconds) |
| 01:39:06 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 01:39:10 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:7883:bb44:602e:4c8f) |
| 01:40:30 | × | BIG_JIMMY_D quits (~jim@108.61.185.76) (Ping timeout: 265 seconds) |
| 01:41:23 | × | puffnfresh quits (~puffnfres@45.76.124.5) (Ping timeout: 260 seconds) |
| 01:41:52 | → | puffnfresh joins (~puffnfres@45.76.124.5) |
| 01:42:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:45:15 | hackage | sandwich-quickcheck 0.1.0.5 - Sandwich integration with QuickCheck https://hackage.haskell.org/package/sandwich-quickcheck-0.1.0.5 (thomasjm) |
| 01:48:59 | → | malumore_ joins (~malumore@151.62.114.209) |
| 01:50:20 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 01:50:54 | → | BIG_JIMMY_D joins (~jim@108.61.185.76) |
| 01:52:41 | × | malumore quits (~malumore@151.62.120.164) (Ping timeout: 260 seconds) |
| 01:57:18 | charukiewicz_ | is now known as charukiewicz |
| 02:04:48 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 02:08:20 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-temlrjczotwzbfmp) |
| 02:11:06 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 02:19:06 | × | mmfood_2 quits (~mmfood@185.176.246.118) (Ping timeout: 240 seconds) |
| 02:21:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 02:24:02 | → | jgt_ joins (~jgt@85.105.142.226) |
| 02:24:25 | → | ADG1089 joins (~aditya@223.236.186.113) |
| 02:27:23 | × | theDon quits (~td@muedsl-82-207-238-007.citykom.de) (Ping timeout: 265 seconds) |
| 02:28:06 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-knwieyhblwaofvow) (Quit: Connection closed for inactivity) |
| 02:28:34 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 252 seconds) |
| 02:28:52 | → | theDon joins (~td@94.134.91.148) |
| 02:29:57 | <shapr> | most exciting error I've gotten from Haskell code recently: bloohm: /dev/ttyACM0: openFd: hardware fault (Input/output error) |
| 02:34:15 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:34:15 | finn_elija | is now known as Guest42914 |
| 02:34:15 | FinnElija | is now known as finn_elija |
| 02:37:33 | × | Guest42914 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:39:37 | → | proofofkeags joins (~proofofke@8.36.227.157) |
| 02:39:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:43:30 | × | utens quits (~utens@81.20.127.28) (Quit: Lost terminal) |
| 02:44:02 | × | kderme quits (4fa70341@ppp079167003065.access.hol.gr) (Ping timeout: 240 seconds) |
| 02:44:18 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
| 02:45:47 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 02:48:10 | × | proofofkeags quits (~proofofke@8.36.227.157) (Ping timeout: 265 seconds) |
| 02:49:06 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 02:54:28 | → | ddellac__ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:54:33 | × | ADG1089 quits (~aditya@223.236.186.113) (Remote host closed the connection) |
| 02:54:42 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 02:56:01 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 02:56:21 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 02:56:55 | → | ADG1089 joins (~aditya@223.236.186.113) |
| 02:58:06 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 02:58:28 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 02:59:05 | → | tessier joins (~treed@98.171.210.130) |
| 02:59:05 | × | tessier quits (~treed@98.171.210.130) (Changing host) |
| 02:59:05 | → | tessier joins (~treed@kernel-panic/copilotco) |
| 02:59:09 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 245 seconds) |
| 02:59:21 | × | ddellac__ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 03:00:05 | → | Alleria joins (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 03:00:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 03:00:29 | Alleria | is now known as Guest41705 |
| 03:01:03 | × | ADG1089 quits (~aditya@223.236.186.113) (Remote host closed the connection) |
| 03:01:30 | → | ADG1089 joins (~aditya@223.236.186.113) |
| 03:04:19 | × | Guest41705 quits (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 03:08:56 | × | ADG1089 quits (~aditya@223.236.186.113) (Remote host closed the connection) |
| 03:14:06 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 03:14:16 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 03:14:35 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 03:14:37 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:19:34 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 03:27:17 | → | stree joins (~stree@68.36.8.116) |
| 03:27:44 | → | xcmw joins (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 03:29:24 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 03:31:11 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:33:50 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 03:36:13 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 03:40:21 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:41:13 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 03:41:47 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 03:46:24 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 03:53:06 | × | alx741 quits (~alx741@181.196.69.213) (Quit: alx741) |
| 03:54:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 03:55:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:55:27 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:e515:fc51:a243:99ae) (Ping timeout: 250 seconds) |
| 04:00:01 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 04:01:24 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 04:01:35 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:f1ef:f61e:f18b:4601) |
| 04:04:35 | → | reaverb joins (~reaverb@071-008-105-088.res.spectrum.com) |
| 04:12:15 | → | jgt_ joins (~jgt@85.105.142.226) |
| 04:17:06 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 265 seconds) |
| 04:27:42 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:28:09 | × | Sgeo_ quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 04:29:27 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 04:37:53 | → | stagn8 joins (~a@78-222-29-85.dyn.estpak.ee) |
| 04:38:02 | → | lepton joins (~a@78-222-29-85.dyn.estpak.ee) |
| 04:38:17 | × | lepton quits (~a@78-222-29-85.dyn.estpak.ee) (Client Quit) |
| 04:42:19 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 04:42:38 | → | anandprabhu joins (~anandprab@94.202.236.255) |
| 04:42:57 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 04:43:17 | × | reaverb quits (~reaverb@071-008-105-088.res.spectrum.com) (Quit: Leaving) |
| 04:45:39 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 04:50:07 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
| 04:52:02 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 04:55:53 | → | z0k joins (~user@115.186.169.61) |
| 04:56:30 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 05:00:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 05:06:27 | → | jgt_ joins (~jgt@85.105.142.226) |
| 05:07:29 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 05:10:41 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 05:10:49 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 05:13:30 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 05:14:31 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 05:16:34 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 05:20:49 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 05:23:55 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:7883:bb44:602e:4c8f) (Ping timeout: 276 seconds) |
| 05:24:23 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:b59e:1843:88fd:c04a) |
| 05:25:46 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 05:35:11 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 252 seconds) |
| 05:35:24 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 05:37:23 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 05:38:37 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:41:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 05:43:45 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 05:44:58 | × | joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Quit: leaving) |
| 05:48:34 | → | stree joins (~stree@68.36.8.116) |
| 05:50:03 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 05:55:11 | → | plutoniix joins (~q@ppp-58-8-176-218.revip2.asianet.co.th) |
| 05:56:15 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-snhwmajxzbdruiic) (Quit: Connection closed for inactivity) |
| 06:00:34 | → | jgt_ joins (~jgt@85.105.142.226) |
| 06:00:57 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:02:44 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 06:03:12 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 06:04:05 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 06:04:11 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Remote host closed the connection) |
| 06:04:46 | × | jgt_ quits (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 06:06:18 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:b59e:1843:88fd:c04a) (Remote host closed the connection) |
| 06:06:36 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:b123:60d7:e6da:ba9c) |
| 06:07:51 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 06:10:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:12:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:12:10 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 06:15:19 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:b123:60d7:e6da:ba9c) (Ping timeout: 260 seconds) |
| 06:15:54 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:18:41 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-ifoosmlkxlhftawc) (Quit: Connection closed for inactivity) |
| 06:18:48 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:c45a:974b:9f61:d719) |
| 06:22:06 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 06:32:27 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:32:40 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 06:41:16 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:42:41 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 06:42:41 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 06:46:13 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 06:47:46 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 06:51:03 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:52:36 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 06:52:39 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 06:53:52 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 06:54:54 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 06:57:20 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 06:57:36 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 06:58:50 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 06:59:52 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 06:59:56 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 07:02:21 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 07:02:33 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:03:50 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 07:04:47 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 07:05:19 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:08:27 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Quit: ValeraRozuvan) |
| 07:10:19 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 07:11:45 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 07:12:36 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:13:07 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Ping timeout: 276 seconds) |
| 07:13:43 | → | cortexauth joins (~cortexaut@2409:4053:2d06:2c0b:7431:af3:9b3e:bfb) |
| 07:13:51 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 07:14:41 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 07:14:54 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:17:49 | × | cortexauth quits (~cortexaut@2409:4053:2d06:2c0b:7431:af3:9b3e:bfb) (Ping timeout: 250 seconds) |
| 07:18:32 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:4a7b:dc29:221:6c73) |
| 07:19:15 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds) |
| 07:20:32 | → | valera_ joins (~ValeraRoz@95.164.65.159) |
| 07:21:07 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:23:02 | → | justin joins (~justin@pool-74-110-179-47.rcmdva.fios.verizon.net) |
| 07:23:26 | justin | is now known as Guest59447 |
| 07:23:26 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Ping timeout: 260 seconds) |
| 07:24:06 | <Guest59447> | hello |
| 07:25:37 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 07:26:09 | → | constrixor_ joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 07:26:16 | × | valera_ quits (~ValeraRoz@95.164.65.159) (Quit: valera_) |
| 07:27:46 | × | Guest59447 quits (~justin@pool-74-110-179-47.rcmdva.fios.verizon.net) (Client Quit) |
| 07:29:32 | × | constrixor quits (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 240 seconds) |
| 07:30:30 | × | OscarZ- quits (~oscarz@95.175.104.49) (Quit: Leaving) |
| 07:30:41 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 07:33:14 | fendor_ | is now known as fendor |
| 07:35:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:37:33 | → | JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 07:42:45 | hackage | uuid 1.3.15 - For creating, comparing, parsing and printing Universally Unique Identifiers https://hackage.haskell.org/package/uuid-1.3.15 (phadej) |
| 07:43:44 | hackage | uuid-types 1.0.5 - Type definitions for Universally Unique Identifiers https://hackage.haskell.org/package/uuid-types-1.0.5 (phadej) |
| 07:45:17 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-gywnnzeujjipyggz) |
| 07:45:49 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:46:03 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 07:46:41 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 07:47:43 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 07:50:17 | × | swamps quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 07:50:41 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 07:52:03 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 07:55:41 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.14) |
| 07:56:18 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 07:56:55 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 08:00:02 | → | Alleria joins (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 08:00:25 | Alleria | is now known as Guest46630 |
| 08:00:57 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:01:15 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:01:37 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:03:56 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 08:04:19 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:04:37 | × | Guest46630 quits (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 08:05:24 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 08:05:37 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 08:05:54 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:07:26 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:07:39 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 08:09:22 | → | mmfood_2 joins (~mmfood@185.176.246.118) |
| 08:09:28 | → | stree joins (~stree@68.36.8.116) |
| 08:09:33 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:10:37 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 08:10:43 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:c45a:974b:9f61:d719) (Remote host closed the connection) |
| 08:13:04 | × | wonko7 quits (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 08:13:26 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:6ce7:4527:a2a7:a1e6) |
| 08:13:48 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 08:17:55 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 248 seconds) |
| 08:25:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:27:10 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 08:27:11 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.14) (Ping timeout: 240 seconds) |
| 08:30:52 | → | cfricke joins (cfricke@gateway/vpn/mullvad/cfricke) |
| 08:35:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 08:38:16 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:6ce7:4527:a2a7:a1e6) (Ping timeout: 276 seconds) |
| 08:38:39 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:50bb:1d5:212b:cefd) |
| 08:38:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 08:40:29 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:41:28 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 08:41:39 | × | drbean_ quits (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 08:43:04 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 08:43:33 | alexander | is now known as Guest43928 |
| 08:44:19 | × | sw1nn quits (~sw1nn@2a00:23c7:622f:2c00:cbb9:38e5:9364:df1e) (Quit: WeeChat 3.1) |
| 08:48:02 | → | sw1nn joins (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) |
| 08:50:13 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 08:50:48 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 08:53:04 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) |
| 08:55:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 08:56:04 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 08:56:46 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 08:57:15 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:50bb:1d5:212b:cefd) (Ping timeout: 260 seconds) |
| 08:57:42 | <JustinCase> | hello |
| 08:57:50 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:1c68:d3b:e939:1fe8) |
| 09:00:02 | × | arcontethegreat[ quits (arcontethe@gateway/shell/matrix.org/x-fynbclknqzbnlvbq) (Quit: Idle for 30+ days) |
| 09:01:33 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 09:02:23 | <[exa]> | ey hello! |
| 09:04:26 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 09:04:43 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:1c68:d3b:e939:1fe8) (Ping timeout: 260 seconds) |
| 09:05:03 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:cc38:1016:2ce2:b42) |
| 09:05:55 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 09:06:05 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 09:07:29 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 09:08:58 | × | tvn quits (~tvn@217.146.82.202) (Ping timeout: 260 seconds) |
| 09:11:21 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:cc38:1016:2ce2:b42) (Ping timeout: 250 seconds) |
| 09:12:40 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:89fb:f0a:8b09:aed) |
| 09:14:22 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 09:17:51 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:89fb:f0a:8b09:aed) (Ping timeout: 246 seconds) |
| 09:18:53 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:c20a:5df:929c:b2d1) |
| 09:20:09 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 09:20:09 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 09:20:26 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 09:22:06 | × | darjeeling_ quits (~darjeelin@115.215.40.84) (Ping timeout: 240 seconds) |
| 09:23:00 | → | minoru_shiraeesh joins (~shiraeesh@109.166.56.14) |
| 09:24:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 09:25:33 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 09:26:11 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:c20a:5df:929c:b2d1) (Ping timeout: 260 seconds) |
| 09:27:05 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:ffc1:f261:bd34:596) |
| 09:31:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 09:33:38 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 09:34:09 | × | cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
| 09:35:31 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:ffc1:f261:bd34:596) (Ping timeout: 260 seconds) |
| 09:35:44 | → | darjeeling_ joins (~darjeelin@122.245.210.126) |
| 09:35:53 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Read error: Connection reset by peer) |
| 09:36:16 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:682a:77dc:98e9:82b8) |
| 09:37:09 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:38:21 | × | turnA7 quits (~turnA@103.120.19.44) (Quit: Ping timeout (120 seconds)) |
| 09:38:39 | → | turnA7 joins (~turnA@103.120.19.44) |
| 09:40:44 | hackage | splitmix-distributions 0.1.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.1.0.0 (ocramz) |
| 09:41:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 09:48:30 | → | cur8or joins (~cur8or@72canterbury.cybersmart.co.za) |
| 09:49:05 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:50:13 | × | darjeeling_ quits (~darjeelin@122.245.210.126) (Ping timeout: 252 seconds) |
| 09:52:22 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:4a7b:dc29:221:6c73) (Ping timeout: 276 seconds) |
| 09:53:40 | × | JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 09:59:57 | → | Alleria joins (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 10:00:21 | Alleria | is now known as Guest66315 |
| 10:01:18 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:01:52 | ← | icebreak1r parts (michalc@freeshell.de) () |
| 10:02:55 | → | icebreaker joins (michalc@freeshell.de) |
| 10:02:55 | × | icebreaker quits (michalc@freeshell.de) (Changing host) |
| 10:02:55 | → | icebreaker joins (michalc@unaffiliated/icebreaker) |
| 10:03:16 | → | darjeeling_ joins (~darjeelin@115.215.42.118) |
| 10:03:20 | ← | icebreaker parts (michalc@unaffiliated/icebreaker) () |
| 10:04:43 | × | Guest66315 quits (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 10:05:59 | → | icebreaker joins (michalc@freeshell.de) |
| 10:05:59 | × | icebreaker quits (michalc@freeshell.de) (Changing host) |
| 10:05:59 | → | icebreaker joins (michalc@unaffiliated/icebreaker) |
| 10:06:50 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:09:27 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 10:10:47 | × | constrixor_ quits (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 10:12:18 | → | philderbeast joins (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 10:14:33 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:682a:77dc:98e9:82b8) (Ping timeout: 246 seconds) |
| 10:15:28 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) |
| 10:17:43 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 10:19:21 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 10:19:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 10:24:38 | × | malumore_ quits (~malumore@151.62.114.209) (Remote host closed the connection) |
| 10:25:07 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 10:26:06 | → | malumore joins (~malumore@151.62.114.209) |
| 10:26:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:26:32 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 10:27:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:29:21 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds) |
| 10:30:16 | → | stree joins (~stree@68.36.8.116) |
| 10:32:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 10:32:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:34:28 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 10:34:51 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-gywnnzeujjipyggz) (Quit: Connection closed for inactivity) |
| 10:35:10 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 10:37:32 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 10:38:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:38:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:38:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:42:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 10:43:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:44:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:46:15 | hackage | splitmix-distributions 0.3.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.3.0.0 (ocramz) |
| 10:49:47 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 10:50:11 | Alleria | is now known as Guest52589 |
| 10:54:29 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Remote host closed the connection) |
| 10:54:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 10:55:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:55:49 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 11:00:15 | hackage | souffle-haskell 3.0.0 - Souffle Datalog bindings for Haskell https://hackage.haskell.org/package/souffle-haskell-3.0.0 (luc_tielen) |
| 11:02:41 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 11:08:54 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 11:11:15 | hackage | splitmix-distributions 0.4.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.4.0.0 (ocramz) |
| 11:12:31 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 11:13:02 | <siers> | @pl traverse (pure . f) l |
| 11:13:03 | <lambdabot> | traverse (pure . f) l |
| 11:13:59 | <siers> | ah, never mind |
| 11:17:44 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 11:18:42 | <siers> | :t foldr |
| 11:18:44 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 11:19:04 | <siers> | @hoogle Foldable t => b -> t a -> (a -> b -> b) -> b |
| 11:19:06 | <lambdabot> | No results found |
| 11:19:15 | <siers> | @hoogle b -> t a -> (a -> b -> b) -> b |
| 11:19:16 | <lambdabot> | No results found |
| 11:23:10 | × | stagn8 quits (~a@78-222-29-85.dyn.estpak.ee) (Quit: Leaving) |
| 11:25:25 | → | kimpa joins (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) |
| 11:25:42 | × | xprl-gjf quits (~gavin@98.154.147.147.dyn.plus.net) (Quit: haskell) |
| 11:26:41 | → | juliagoda joins (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 11:28:45 | hackage | splitmix-distributions 0.5.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.5.0.0 (ocramz) |
| 11:29:51 | × | kimpa quits (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) (Client Quit) |
| 11:31:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 11:31:38 | → | kwannoel joins (~Android@2401:7400:6004:e597:1:1:9b0:49b2) |
| 11:31:50 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 11:33:01 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 11:37:58 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 11:38:08 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Remote host closed the connection) |
| 11:40:26 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 11:40:50 | <olligobber> | does anyone here know anything about type level set operations? at the moment I'm using a list of types, and comparing setwise equality, subset, and doing unions would be nice |
| 11:41:57 | <olligobber> | it's probably not necessary, but it would be cool |
| 11:42:33 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:42:44 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:43:50 | <olligobber> | oh, Data.Type.List from type-list seems to have what I want |
| 11:46:39 | <olligobber> | or I could use type-level-sets |
| 11:46:46 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 11:48:44 | → | rodriga joins (~quassel@134.204.25.66) |
| 11:49:44 | <olligobber> | I don't see a nice way of checking two type level sets are subsets though |
| 11:50:21 | <merijn> | THere are no nice ways |
| 11:50:39 | <merijn> | In fact, this entire line of enquiry leads directly to madness >.> |
| 11:51:11 | <olligobber> | oh |
| 11:51:38 | <merijn> | olligobber: I hope you really like long coffee breaks during compilation :p |
| 11:51:42 | <olligobber> | I guess I can just use append for union, and I don't really need the other things |
| 11:51:51 | <olligobber> | I'm not gonna use really big sets |
| 11:52:12 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 11:53:37 | <olligobber> | actually, I can just have a thing that goes from Free s -> Free (Union s t) to do subset stuff |
| 11:53:41 | <olligobber> | or the other way around |
| 11:53:58 | <phanf> | Hello world what's good |
| 11:54:04 | <olligobber> | are type-level-sets that slow though? if my sets have like 10 things at most |
| 11:54:18 | <olligobber> | phanf, type level programming |
| 11:54:25 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 11:54:41 | <olligobber> | merijn, I don't like coffee, so how long are the breaks? |
| 11:54:56 | <olligobber> | I guess I can just write the code and see what happens |
| 11:54:59 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 11:56:01 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 11:56:27 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 11:57:26 | → | drbean_ joins (~drbean@TC210-63-209-57.static.apol.com.tw) |
| 12:03:03 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 12:03:28 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 12:04:30 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr) |
| 12:04:55 | <olligobber> | hmm, it didn't work |
| 12:06:21 | × | mmfood_2 quits (~mmfood@185.176.246.118) (Ping timeout: 260 seconds) |
| 12:07:13 | <olligobber> | ah, I need to use type applications so it knows what I'm unioning |
| 12:11:57 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 12:12:35 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 12:14:00 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 12:14:42 | → | ubert joins (~Thunderbi@188-23-70-233.adsl.highway.telekom.at) |
| 12:14:48 | → | malumore_ joins (~malumore@151.62.114.209) |
| 12:15:24 | × | malumore_ quits (~malumore@151.62.114.209) (Remote host closed the connection) |
| 12:17:06 | × | malumore quits (~malumore@151.62.114.209) (Ping timeout: 240 seconds) |
| 12:19:17 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 268 seconds) |
| 12:19:22 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf) |
| 12:20:22 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 12:20:31 | <viluon> | hi, is there a tool which would expose demand signatures in a more user-friendly way than looking for them in Core output? |
| 12:21:16 | × | plutoniix quits (~q@ppp-58-8-176-218.revip2.asianet.co.th) (Quit: Leaving) |
| 12:21:53 | → | Tops2 joins (~Tobias@dyndsl-095-033-022-213.ewe-ip-backbone.de) |
| 12:22:13 | <viluon> | it'd probably be best to show them with HLS (on hover), if there's a clear mapping from Core back to the surface syntax. I don't expect a tool like that to exist, but I'm asking just in case |
| 12:23:41 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 12:27:56 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:28:50 | × | juliagoda quits (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 12:28:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:29:09 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 12:30:50 | × | kwannoel quits (~Android@2401:7400:6004:e597:1:1:9b0:49b2) (Quit: -a- Connection Timed Out) |
| 12:31:04 | → | kwannoel joins (~Android@bb42-60-209-246.singnet.com.sg) |
| 12:31:42 | × | kwannoel quits (~Android@bb42-60-209-246.singnet.com.sg) (Client Quit) |
| 12:33:12 | × | cur8or quits (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 240 seconds) |
| 12:33:55 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 12:35:44 | → | cur8or joins (~cur8or@72canterbury.cybersmart.co.za) |
| 12:36:49 | → | magbo joins (~sweater@206.81.18.26) |
| 12:38:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 12:43:09 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 12:48:16 | × | olligobber quits (~olligobbe@unaffiliated/olligobber) (Read error: Connection reset by peer) |
| 12:48:33 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 12:50:44 | → | stree joins (~stree@68.36.8.116) |
| 12:51:45 | hackage | splitmix-distributions 0.6.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.6.0.0 (ocramz) |
| 12:53:14 | hackage | irc-client 1.1.2.1 - An IRC client library. https://hackage.haskell.org/package/irc-client-1.1.2.1 (barrucadu) |
| 12:56:55 | → | horatiohb joins (~horatiohb@167.99.50.138) |
| 12:57:36 | × | anandprabhu quits (~anandprab@94.202.236.255) (Quit: Konversation terminated!) |
| 13:00:22 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 13:03:15 | hackage | hspec-golden 0.2.0.0 - Golden tests for hspec https://hackage.haskell.org/package/hspec-golden-0.2.0.0 (stackbuilders) |
| 13:04:50 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 13:05:25 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 13:05:42 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:07:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 13:07:42 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 13:09:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:10:46 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:12:15 | hackage | splitmix-distributions 0.7.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.7.0.0 (ocramz) |
| 13:12:40 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 13:13:14 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 13:13:50 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 13:15:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 13:17:23 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:20:12 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 13:20:58 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 13:21:11 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds) |
| 13:22:12 | × | codedmart quits (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 13:22:31 | → | codedmart joins (~codedmart@li335-49.members.linode.com) |
| 13:24:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:27:27 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:27:42 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 13:32:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 13:32:51 | → | carlomagno joins (~cararell@148.87.23.5) |
| 13:32:55 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit) |
| 13:34:52 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 13:35:16 | → | timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
| 13:36:23 | <timCF> | Hello! Does anybody know how to pass type information to dispatch instance implementation without passing values? Usually people are using `Proxy` type. It works, sure. But look of it is not the best. Does anybody know better alternatives? |
| 13:37:52 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:37:56 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 246 seconds) |
| 13:40:12 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 13:41:14 | × | z0k quits (~user@115.186.169.61) (Quit: WeeChat 3.0) |
| 13:44:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 13:45:25 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 13:46:39 | × | drbean_ quits (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 13:46:59 | × | brownxoat quits (uid497520@gateway/web/irccloud.com/x-gnvcoowjhkmblozz) (Quit: Connection closed for inactivity) |
| 13:47:27 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:48:50 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 13:49:19 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Quit: i quit) |
| 13:49:26 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 13:49:42 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 13:50:19 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 13:50:31 | <merijn> | timCF: There's *worse* alternatives, but not better ones |
| 13:52:01 | <merijn> | I mean, the best alternative would be "don't dispatch on types that aren't in the interface", but when you have to do that (P|p)roxy is the most robust way |
| 13:52:09 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:52:41 | → | st8less joins (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738) |
| 13:52:45 | × | int-e quits (~noone@int-e.eu) (Ping timeout: 265 seconds) |
| 13:52:46 | <merijn> | There are heathens that advocate for -XTypeApplications, but that is a *great* way to make your API brittle and requiring very defensive upperbounds |
| 13:52:52 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 276 seconds) |
| 13:52:52 | aplainze1akind | is now known as aplainzetakind |
| 13:53:14 | hackage | pandoc-plot 1.2.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-1.2.0 (LaurentRDC) |
| 13:53:58 | <timCF> | merijn: thanks! |
| 13:54:09 | → | int-e joins (~noone@int-e.eu) |
| 13:54:41 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 13:56:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:57:06 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 13:57:12 | <merijn> | timCF: The problem with TypeApplications is that it makes your code rely on the order that type variables are "forall"-ed into types, and if that changes, the code breaks. But 99% of the code of hackage doesn't consider that part of the public API, so anyone refactoring to add an explicit forall (for ScopedTypeVariables, for example) will break your code |
| 13:57:22 | <wz1000> | timCF: there is also Proxy# if you are concerned about runtime cost |
| 13:57:31 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 13:57:34 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 13:57:51 | <merijn> | timCF: Worse, since the order for implicit variables is determined by GHC's type inference algorithm, which means that it can change and break if GHC's type inference changes |
| 13:58:18 | → | tr26 joins (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net) |
| 13:58:22 | <merijn> | timCF: Which is not a hypothetical problem, as we've already had a GHC release that broke some uses of TypeApplications due to changes in inference |
| 13:58:53 | <wz1000> | merijn: I don't think you can use type applications on inferred types without explicit forall |
| 13:58:55 | <maerwald> | merijn: it might not even break your code, but just does something different :p |
| 13:59:06 | <merijn> | wz1000: You can |
| 13:59:44 | <merijn> | wz1000: Most of base doesn't have explicit forall and people use TypeApplications all the time |
| 13:59:57 | <maerwald> | I think I've hit one case so far where order of type applications was messed up (don't remeber why) and it still compiled |
| 14:00:07 | <merijn> | > read *Int "1" |
| 14:00:10 | <lambdabot> | error: |
| 14:00:10 | <lambdabot> | • Data constructor not in scope: Int :: [Char] -> String -> a |
| 14:00:10 | <lambdabot> | • Perhaps you meant variable ‘int’ (imported from Text.PrettyPrint.Hughe... |
| 14:00:10 | <merijn> | > read @Int "1" |
| 14:00:12 | <lambdabot> | error: |
| 14:00:12 | <lambdabot> | Pattern syntax in expression context: read@Int |
| 14:00:12 | <lambdabot> | Did you mean to enable TypeApplications? |
| 14:00:21 | <merijn> | % read @Int "1" |
| 14:00:21 | <yahb> | merijn: 1 |
| 14:00:28 | <maerwald> | but I don't consider it a show stopper |
| 14:00:36 | <merijn> | wz1000: 'read' doesn't have an explicit forall in base, for example |
| 14:00:42 | <maerwald> | we have worse problem in haskell |
| 14:00:52 | <wz1000> | merijn: only works if there is a single variable I think |
| 14:01:02 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 14:01:25 | <merijn> | hmm |
| 14:01:37 | <merijn> | Now I need to find a class that has more than 1 |
| 14:02:40 | <merijn> | % :t Control.Monad.Read.ask @((->) Int) @Int |
| 14:02:40 | <yahb> | merijn: ; <interactive>:1:1: error:; Not in scope: `Control.Monad.Read.ask'; Perhaps you meant one of these: `Control.Monad.Reader.ask' (imported from Control.Monad.Reader), `Control.Monad.RWS.ask' (imported from Control.Monad.RWS), `Control.Monad.Reader.asks' (imported from Control.Monad.Reader); No module named `Control.Monad.Read' is imported. |
| 14:02:48 | <merijn> | % :t Control.Monad.Reader.ask @((->) Int) @Int |
| 14:02:48 | <yahb> | merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `(->) Int'; Expected a type, but `(->) Int' has kind `* -> *'; * In the type `((->) Int)'; In the expression: ask @((->) Int) @Int |
| 14:02:53 | × | cur8or quits (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 268 seconds) |
| 14:03:14 | <merijn> | % :t Control.Monad.Reader.ask @(Reader Int) @Int |
| 14:03:14 | <yahb> | merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `Reader Int'; Expected a type, but `Reader Int' has kind `* -> *'; * In the type `(Reader Int)'; In the expression: ask @(Reader Int) @Int |
| 14:03:20 | <merijn> | hmm |
| 14:03:28 | <merijn> | ok, I'm too lazy to figure this out |
| 14:04:04 | <tr26> | Hello, currently having trouble with installing packages with cabal. Everytime I attempt to run "cabal install tasty" I get "cannot build the executables in the package tasty because it does not contain any executables. Check the .cabal file for the package and make sure that it properly declares the components that you expect.". Running on the |
| 14:04:05 | <tr26> | newest cabal, haskell and ghc versions on Windows. The .cabal file is definitely correct and when I look at "cabal list tasty" etc, nothing is installed. Hoping someone has come across this before! |
| 14:04:33 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:04:49 | <maerwald> | merijn: order of arguments is wrong xD |
| 14:04:51 | <maerwald> | haha |
| 14:04:58 | <maerwald> | % :t Control.Monad.Reader.ask @Int @(Reader Int) |
| 14:04:58 | <yahb> | maerwald: Reader Int Int |
| 14:05:13 | <maerwald> | qed |
| 14:05:21 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:05:28 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 14:06:46 | × | horatiohb quits (~horatiohb@167.99.50.138) (Ping timeout: 265 seconds) |
| 14:08:41 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-kpxmuqxybttglbrz) |
| 14:09:59 | × | tr26 quits (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net) (Quit: Connection closed) |
| 14:10:32 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:13:39 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 14:14:39 | <merijn> | hah |
| 14:16:18 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 14:16:21 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr) (Quit: Connection closed for inactivity) |
| 14:16:26 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 14:16:56 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 14:17:38 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 14:18:35 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:20:24 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 14:20:24 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 14:20:24 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 14:20:59 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 14:21:02 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 14:22:03 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 14:22:39 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:23:05 | → | ADG1089 joins (~aditya@223.236.186.113) |
| 14:24:57 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 14:25:04 | × | Natch quits (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 14:26:24 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:27:54 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 14:30:23 | → | Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 14:30:25 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 14:30:44 | hackage | tlex-core 0.3.0.0 - A lexer generator https://hackage.haskell.org/package/tlex-core-0.3.0.0 (mizunashi_mana) |
| 14:31:26 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 14:32:21 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 14:33:13 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 14:33:29 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 14:35:53 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 14:35:55 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::647c) (Ping timeout: 250 seconds) |
| 14:36:23 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 14:40:34 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 14:42:33 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 14:43:11 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 14:45:52 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 14:46:07 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 14:46:17 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:48:27 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 14:50:01 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:50:44 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 14:53:03 | <timCF> | Hello! Is there alternative of `.` for monads? To compose `=<<` in eta-reduced style? |
| 14:54:07 | <timCF> | At the moment I'm using `(foo =<<) . (bar x =<<) . buz` but it does not look very nice |
| 14:54:08 | <geekosaur> | there's `>=>` going the other direction |
| 14:54:56 | <dolio> | (<=<) also exists. |
| 14:55:14 | <timCF> | geekosaur: dolio: super cool! |
| 14:55:16 | <timCF> | thanks |
| 14:55:23 | <timCF> | :t (<=<) |
| 14:55:25 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 14:55:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 14:56:44 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 14:57:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:57:59 | → | jrvlima joins (~jlima@2804:7f2:2a8d:d54f:ef34:bc04:6132:d4ab) |
| 14:58:08 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 14:58:14 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:58:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 14:59:06 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 15:00:01 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 15:01:46 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 15:02:02 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 15:07:03 | → | kaesler joins (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) |
| 15:10:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 15:11:32 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 15:11:46 | → | stree joins (~stree@68.36.8.116) |
| 15:14:22 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit) |
| 15:15:28 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 15:16:29 | → | knupfer joins (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) |
| 15:17:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 15:18:10 | × | kaesler quits (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) (Quit: Connection closed) |
| 15:18:21 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds) |
| 15:19:11 | → | Deide joins (~Deide@217.155.19.23) |
| 15:22:30 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 15:22:43 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) (Ping timeout: 260 seconds) |
| 15:23:45 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) |
| 15:24:57 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-bdtzrtmgfdsivqab) |
| 15:25:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:25:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:26:11 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 15:27:33 | <seven_three> | I have a bunch of functions that take and return a ProgramState: `f :: ProgramState -> a -> a -> ProgramState`. I am struggling to implement the examples I see about the State monad because the examples return a value along with the state `-> (a, ProgramState)` but I don't care about getting a value, all I need to do is return a new ProgramState. Is the State monad the right abstraction for me? |
| 15:28:29 | → | s00pcan joins (~chris@107.181.165.217) |
| 15:28:51 | × | knupfer quits (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) (Ping timeout: 248 seconds) |
| 15:29:29 | <geekosaur> | probably not, although there's State ProgramState () |
| 15:30:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 15:31:18 | <seven_three> | geekosaur: Am I right to say that the advantage of using `State ProgramState ()` is that I wouldn't have to explicitly pass around the initial `ProgramState` to all the functions? |
| 15:31:23 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 15:31:34 | <geekosaur> | yes |
| 15:31:43 | → | anandprabhu joins (~anandprab@94.202.236.255) |
| 15:32:01 | <seven_three> | so then instead all of my functions would be `f :: a -> a -> State ProgramState ()`? |
| 15:32:16 | <geekosaur> | yes |
| 15:32:34 | <seven_three> | ok nice |
| 15:32:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:33:08 | → | proofofkeags joins (~proofofke@205.209.28.54) |
| 15:33:48 | × | anandprabhu quits (~anandprab@94.202.236.255) (Client Quit) |
| 15:33:59 | → | anandprabhu joins (~Anand@94.202.236.255) |
| 15:34:23 | anandprabhu | is now known as Guest92256 |
| 15:34:36 | × | Guest92256 quits (~Anand@94.202.236.255) (Client Quit) |
| 15:36:08 | → | conal joins (~conal@64.71.133.70) |
| 15:36:09 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 15:36:25 | → | anandprabhu_ joins (~Anand@94.202.236.255) |
| 15:37:23 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 15:38:25 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 15:39:17 | × | anandprabhu_ quits (~Anand@94.202.236.255) (Client Quit) |
| 15:40:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 15:40:40 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 15:42:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 15:42:57 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 15:43:28 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 15:43:44 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 15:43:44 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 15:44:36 | → | knupfer joins (~Thunderbi@200116b82b019d00bc2b28bf1ce4a9b3.dip.versatel-1u1.de) |
| 15:47:43 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 15:50:13 | × | timCF quits (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 15:50:23 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 15:51:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:51:16 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 15:51:28 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:53:55 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 15:54:54 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:56:27 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 15:57:31 | → | coot joins (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 15:58:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 15:59:06 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 15:59:53 | → | cortexauth joins (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) |
| 16:00:03 | × | coot quits (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Remote host closed the connection) |
| 16:00:07 | × | jo[m]5 quits (josefmat1@gateway/shell/matrix.org/x-ctqrkejqlhbnkkcd) (Quit: Idle for 30+ days) |
| 16:00:26 | → | coot joins (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 16:02:46 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 16:04:25 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 16:05:20 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:06:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 16:06:56 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 16:07:31 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 16:09:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:10:30 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 16:10:32 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 16:11:21 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 16:11:33 | × | ADG1089 quits (~aditya@223.236.186.113) (Quit: Konversation terminated!) |
| 16:12:48 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 16:14:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 16:15:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:17:10 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 16:18:21 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 16:19:15 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 16:20:24 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 16:21:05 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 16:22:06 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:22:06 | → | alx741 joins (~alx741@181.196.69.213) |
| 16:22:09 | → | keiopa joins (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 16:22:36 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 16:24:22 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:24:27 | <keiopa> | hey, if i have a function that has this signature : "calcLine :: NPoint -> (NPoint -> OverTime NPoint)" what is this returning? |
| 16:24:30 | <keiopa> | type OverTime a = Float -> a |
| 16:24:40 | <keiopa> | type NPoint = [Rational] |
| 16:26:16 | <geekosaur> | depends on how you look at it. it's a function which takes an NPoint and returns a function which itself takes an NPoint and returns an OverTime NPoint, which is itself a function that takes a Float and returns an NPoint. this is the partial application view |
| 16:26:44 | <geekosaur> | it can also be seen as: NPoint -> NPoint -> Float -> NPoint |
| 16:27:12 | <geekosaur> | (function application associates rightward) |
| 16:30:11 | <keiopa> | ok i see now! just need to create a catamorphism to implement a "job" over the list NPoint but wasn't sure if that was the recursive call in the signature or something else |
| 16:36:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 16:38:47 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 16:40:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:41:51 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 16:42:16 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 16:42:54 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 16:44:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 16:44:50 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 16:45:36 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 16:47:13 | × | st8less quits (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738) (Ping timeout: 250 seconds) |
| 16:47:39 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 260 seconds) |
| 16:47:57 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 16:47:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:48:00 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 16:48:13 | → | roconnor joins (~roconnor@host-45-58-195-183.dyn.295.ca) |
| 16:48:58 | hrnz | is now known as {{{{ |
| 16:49:24 | {{{{ | is now known as hrnz |
| 16:50:52 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 16:51:36 | → | st8less joins (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 16:53:30 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:56:49 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-evatdfdmbvnxvhjg) |
| 16:58:40 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 16:59:19 | × | coot quits (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Ping timeout: 260 seconds) |
| 16:59:37 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 17:01:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 17:04:32 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 17:06:06 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 17:07:49 | × | keiopa quits (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Quit: Connection closed) |
| 17:08:03 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds) |
| 17:08:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:08:56 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 17:12:31 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 17:12:58 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 17:16:06 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 17:17:53 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 17:19:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:20:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 17:22:15 | → | zyklotomic joins (~ethan@107.172.242.62) |
| 17:23:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 17:24:29 | × | cortexauth quits (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) (Ping timeout: 250 seconds) |
| 17:25:01 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 17:25:03 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2) |
| 17:25:29 | × | raym quits (~ray@45.64.220.116) (Ping timeout: 260 seconds) |
| 17:25:41 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:26:43 | → | urodna_ joins (~urodna@unaffiliated/urodna) |
| 17:27:50 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 17:27:58 | <zyklotomic> | is there a way to unwrap a list of newtype-d chars? |
| 17:28:06 | × | urodna quits (~urodna@unaffiliated/urodna) (Ping timeout: 240 seconds) |
| 17:28:21 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 17:28:24 | <lyxia> | coerce? |
| 17:28:25 | <zyklotomic> | I have newtype MyType = MyType Char |
| 17:28:36 | <monochrom> | Use pattern matching or write a function that uses pattern matching. |
| 17:28:37 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 17:28:58 | <zyklotomic> | but i'm not sure if i can pattern match [MyType] as MyTypeList [Char] |
| 17:29:24 | <monochrom> | Oh, that. Use "map" too. |
| 17:30:09 | <zyklotomic> | i just found this after looking up coerce https://wiki.haskell.org/GHC/Coercible |
| 17:30:41 | → | coot joins (~coot@89-64-70-112.dynamic.chello.pl) |
| 17:30:50 | <zyklotomic> | i guess in my specific use case, it's just for quickcheck, so runtime cost doesn't matter |
| 17:31:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 17:31:12 | <zyklotomic> | thank you monochrom and lyxia, got it now |
| 17:31:30 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:31:45 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 17:32:37 | → | stree joins (~stree@68.36.8.116) |
| 17:33:10 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 17:34:40 | → | incertia joins (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 17:34:53 | → | chisui joins (5882395a@mue-88-130-57-090.dsl.tropolys.de) |
| 17:35:21 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8) |
| 17:40:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:40:07 | × | coot quits (~coot@89-64-70-112.dynamic.chello.pl) (Quit: coot) |
| 17:41:35 | → | raym joins (~ray@45.64.220.116) |
| 17:43:28 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-brjdkpuhrnhpqxdh) |
| 17:43:28 | × | landonf quits (landonf@mac68k.info) (Excess Flood) |
| 17:45:10 | → | landonf joins (landonf@mac68k.info) |
| 17:49:41 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 17:51:06 | → | kderme joins (2e675c7c@46-92-124.adsl.cyta.gr) |
| 17:52:43 | × | xff0x quits (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) (Ping timeout: 276 seconds) |
| 17:53:02 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 17:53:32 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 17:54:29 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:55:13 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-temlrjczotwzbfmp) (Quit: Connection closed for inactivity) |
| 17:58:08 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 17:59:49 | dcoutts__ | is now known as dcoutts |
| 18:00:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:00:12 | → | geekosaur66 joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 18:00:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:01:10 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2) (Ping timeout: 276 seconds) |
| 18:01:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 18:02:02 | → | cortexauth joins (~cortexaut@2402:8100:2102:dc69:7032:4b2e:f199:87f0) |
| 18:03:51 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 18:04:30 | → | JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 18:04:39 | geekosaur66 | is now known as geekosaur |
| 18:05:40 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:05:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:06:38 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:06:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:08:06 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 18:10:12 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 18:10:23 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:10:42 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 18:10:51 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 18:11:14 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:11:29 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:12:59 | → | gonemad3 joins (~gonemad3@185.163.110.100) |
| 18:13:25 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 18:13:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:14:01 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 18:14:05 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 246 seconds) |
| 18:14:10 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:14:25 | → | pink35 joins (3e1d44e2@62.29.68.226) |
| 18:14:27 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:14:52 | <pink35> | hello everyone can someone tell me whats wrong with the following function? |
| 18:15:02 | <pink35> | capitalised [] = [] |
| 18:15:02 | <pink35> | capitalised x = Char.toUpper (head x) : map Char.toUpper (last x) |
| 18:15:26 | <geekosaur> | did you attempt it inside ghci? |
| 18:15:36 | <pink35> | i did |
| 18:15:46 | <geekosaur> | you need to combine them on the same line |
| 18:15:59 | <geekosaur> | use a semicolon to separate the two lines |
| 18:16:02 | <dolio> | Or set up your ghci for multi-line input (somehow). |
| 18:16:09 | <pink35> | did you understand what my intention is ? |
| 18:16:15 | → | xff0x joins (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) |
| 18:16:22 | <geekosaur> | otherwise the second line shadows the first and the empty list case will fail |
| 18:16:29 | <pink35> | im trying to make a strings first and last letter uppercase |
| 18:16:51 | <pink35> | this is in a file |
| 18:17:01 | <geekosaur> | :t last |
| 18:17:02 | <pink35> | i mean i tired running in ghci too |
| 18:17:02 | <lambdabot> | [a] -> a |
| 18:17:26 | <geekosaur> | note the type does not say the output is a list, so you can't map over it |
| 18:17:46 | <pink35> | how can i fix it |
| 18:17:55 | × | pink35 quits (3e1d44e2@62.29.68.226) (Client Quit) |
| 18:18:06 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 18:18:09 | <geekosaur> | handle the last character the same way you did the first |
| 18:18:12 | → | pink45 joins (3e1d44e2@62.29.68.226) |
| 18:18:18 | <geekosaur> | instead of using map |
| 18:18:40 | <pink45> | got disconnected can you type that again, sorry |
| 18:19:11 | <geekosaur> | handle the last character the same way you did the first, instead of using map |
| 18:19:26 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:19:38 | <pink45> | Couldn't match expected type `[Char]' with actual type `Char' |
| 18:19:44 | <geekosaur> | yes |
| 18:19:55 | <pink45> | i did not map it this time |
| 18:19:57 | → | knupfer1 joins (~Thunderbi@200116b82b019d00dd62579678e85afe.dip.versatel-1u1.de) |
| 18:20:42 | <geekosaur> | ah, you also need to append an end of list to the result |
| 18:21:07 | <geekosaur> | capitalised x = Char.toUpper (head x) : Char.toUpper (last x) : [] |
| 18:21:31 | <Clint> | pink45: what are you expecting `last` to do? |
| 18:21:56 | <pink45> | its not working as i intended now :/ |
| 18:22:06 | <pink45> | its giving me the just the first and the last |
| 18:22:07 | <geekosaur> | <pink35> im trying to make a strings first and last letter uppercase |
| 18:22:23 | <geekosaur> | then you need something more involved |
| 18:22:25 | <pink45> | i need all of the string AND last and fist letter to be capital |
| 18:22:37 | × | knupfer quits (~Thunderbi@200116b82b019d00bc2b28bf1ce4a9b3.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 18:22:37 | knupfer1 | is now known as knupfer |
| 18:23:05 | <Clint> | pink45: so the function you want transforms "function" into "FunctioN"? |
| 18:23:25 | <pink45> | that is correct |
| 18:24:22 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 268 seconds) |
| 18:24:45 | monochrom | frowns. "last"? "tail"? |
| 18:25:06 | <monochrom> | OK nevermind. |
| 18:25:29 | <pink45> | go easy on me :( |
| 18:26:51 | <monochrom> | The library has "init" too. It pairs perfectly with "last"> |
| 18:28:09 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:28:29 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:30:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:30:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 18:31:02 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 18:32:34 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:32:54 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:32:59 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 18:34:50 | → | jcarpenter2 joins (~rofl@96.78.87.197) |
| 18:35:48 | <maerwald> | init is a weird name though, isn't it? |
| 18:36:23 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 18:36:48 | <Clint> | weirder than the other 3? |
| 18:37:08 | × | jrqc quits (~rofl@96.78.87.197) (Remote host closed the connection) |
| 18:38:11 | <maerwald> | yeah |
| 18:39:13 | <Clint> | how so |
| 18:39:31 | × | pink45 quits (3e1d44e2@62.29.68.226) (Quit: Connection closed) |
| 18:40:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:41:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 18:44:42 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 18:52:25 | → | yalm joins (~yalm@unaffiliated/yalm) |
| 18:53:12 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 18:53:56 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 18:55:12 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 18:56:52 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:57:01 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 18:58:31 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 18:59:01 | × | cortexauth quits (~cortexaut@2402:8100:2102:dc69:7032:4b2e:f199:87f0) (Ping timeout: 276 seconds) |
| 18:59:15 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) |
| 19:01:20 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 19:01:58 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:02:10 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 19:02:21 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 19:02:47 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 19:02:50 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 19:05:10 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 19:08:37 | → | v01d4lph4 joins (~v01d4lph4@171.48.62.25) |
| 19:08:46 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 276 seconds) |
| 19:09:41 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 19:09:54 | × | zyklotomic quits (~ethan@107.172.242.62) (Remote host closed the connection) |
| 19:14:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:14:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 19:17:41 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 19:18:37 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 19:19:13 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 19:19:31 | → | jess joins (jess@freenode/staff/jess) |
| 19:22:41 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 19:27:32 | × | alx741 quits (~alx741@181.196.69.213) (Ping timeout: 240 seconds) |
| 19:30:14 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 19:30:44 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 19:31:49 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 19:32:58 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 19:34:05 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 19:35:11 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 19:37:32 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 19:37:55 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 19:39:44 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 19:40:55 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 19:41:26 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 19:41:50 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 19:43:59 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 19:44:03 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 19:44:24 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 19:45:20 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 19:45:28 | × | minoru_shiraeesh quits (~shiraeesh@109.166.56.14) (Ping timeout: 240 seconds) |
| 19:45:49 | → | biglama joins (~alex@176.165.167.17) |
| 19:49:52 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 19:51:05 | → | seven_th` joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 19:51:36 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 19:52:57 | × | seven_three quits (~user@pool-96-233-64-53.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 19:52:59 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 19:53:08 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 19:53:22 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (*.net *.split) |
| 19:53:22 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (*.net *.split) |
| 19:53:23 | × | ukari quits (~ukari@unaffiliated/ukari) (*.net *.split) |
| 19:53:23 | × | jao quits (~jao@pdpc/supporter/professional/jao) (*.net *.split) |
| 19:53:23 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (*.net *.split) |
| 19:53:23 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (*.net *.split) |
| 19:53:23 | × | neiluj quits (~jco@unaffiliated/neiluj) (*.net *.split) |
| 19:53:23 | × | Natch quits (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 19:53:23 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (*.net *.split) |
| 19:53:23 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (*.net *.split) |
| 19:53:23 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (*.net *.split) |
| 19:53:23 | × | rodriga quits (~quassel@134.204.25.66) (*.net *.split) |
| 19:53:24 | × | sw1nn quits (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) (*.net *.split) |
| 19:53:24 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (*.net *.split) |
| 19:53:24 | × | BIG_JIMMY_D quits (~jim@108.61.185.76) (*.net *.split) |
| 19:53:25 | × | zaquest quits (~notzaques@5.128.210.178) (*.net *.split) |
| 19:53:26 | × | hololeap quits (hololeap@gateway/vpn/protonvpn/hololeap) (*.net *.split) |
| 19:53:26 | × | puffnfresh1 quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (*.net *.split) |
| 19:53:27 | × | JSharp quits (sid4580@wikia/JSharp) (*.net *.split) |
| 19:53:27 | × | scav quits (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) (*.net *.split) |
| 19:53:27 | × | thi quits (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) (*.net *.split) |
| 19:53:27 | × | dcoutts quits (~dcoutts@unaffiliated/dcoutts) (*.net *.split) |
| 19:53:27 | × | whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (*.net *.split) |
| 19:53:27 | × | bobbytables quits (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 19:53:27 | × | ridcully_ quits (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 19:53:27 | × | kadoban quits (~mud@unaffiliated/kadoban) (*.net *.split) |
| 19:53:27 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 19:53:27 | × | ajc quits (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) (*.net *.split) |
| 19:53:28 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (*.net *.split) |
| 19:53:28 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (*.net *.split) |
| 19:53:29 | × | Uma quits (~uma@umazalakain.info) (*.net *.split) |
| 19:53:29 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split) |
| 19:53:29 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 19:53:29 | × | frobnicator quits (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split) |
| 19:53:30 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (*.net *.split) |
| 19:53:30 | × | tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (*.net *.split) |
| 19:53:31 | × | lemald quits (~eddie@capybara.lemald.org) (*.net *.split) |
| 19:53:31 | × | LambdaDuck quits (~anka@ksit.fixme.fi) (*.net *.split) |
| 19:53:32 | × | _xor quits (~xor@74.215.46.133) (*.net *.split) |
| 19:53:32 | × | urdh quits (~urdh@unaffiliated/urdh) (*.net *.split) |
| 19:53:32 | × | sudden quits (~lax@unaffiliated/laxask) (*.net *.split) |
| 19:53:32 | × | paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 19:53:34 | → | stree joins (~stree@68.36.8.116) |
| 19:55:12 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
| 19:55:16 | → | __minoru__shirae joins (~shiraeesh@46.34.207.226) |
| 19:55:16 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 19:55:16 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:55:16 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 19:55:16 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 19:55:16 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 19:55:16 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 19:55:16 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 19:55:16 | → | Natch joins (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 19:55:16 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 19:55:16 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 19:55:16 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 19:55:16 | → | rodriga joins (~quassel@134.204.25.66) |
| 19:55:16 | → | sw1nn joins (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) |
| 19:55:16 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 19:55:16 | → | BIG_JIMMY_D joins (~jim@108.61.185.76) |
| 19:55:16 | → | zaquest joins (~notzaques@5.128.210.178) |
| 19:55:16 | → | hololeap joins (hololeap@gateway/vpn/protonvpn/hololeap) |
| 19:55:16 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 19:55:16 | → | JSharp joins (sid4580@wikia/JSharp) |
| 19:55:16 | → | scav joins (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) |
| 19:55:16 | → | thi joins (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) |
| 19:55:16 | → | dcoutts joins (~dcoutts@unaffiliated/dcoutts) |
| 19:55:16 | → | whatisRT joins (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 19:55:16 | → | bobbytables joins (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 19:55:16 | → | ridcully_ joins (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 19:55:16 | → | kadoban joins (~mud@unaffiliated/kadoban) |
| 19:55:16 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 19:55:16 | → | ajc joins (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 19:55:16 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 19:55:16 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 19:55:16 | → | Uma joins (~uma@umazalakain.info) |
| 19:55:16 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 19:55:16 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 19:55:16 | → | frobnicator joins (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 19:55:16 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 19:55:16 | → | tomboy64 joins (~tomboy64@unaffiliated/tomboy64) |
| 19:55:16 | → | lemald joins (~eddie@capybara.lemald.org) |
| 19:55:16 | → | LambdaDuck joins (~anka@ksit.fixme.fi) |
| 19:55:16 | → | _xor joins (~xor@74.215.46.133) |
| 19:55:16 | → | urdh joins (~urdh@unaffiliated/urdh) |
| 19:55:16 | → | sudden joins (~lax@unaffiliated/laxask) |
| 19:55:16 | → | paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 19:55:21 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Max SendQ exceeded) |
| 19:55:21 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Max SendQ exceeded) |
| 19:55:22 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Max SendQ exceeded) |
| 19:55:22 | × | kadoban quits (~mud@unaffiliated/kadoban) (Max SendQ exceeded) |
| 19:55:26 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 19:55:26 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 19:55:26 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 19:55:33 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 19:55:42 | → | kadoban joins (~mud@unaffiliated/kadoban) |
| 19:55:47 | → | LKoen joins (~LKoen@213.166.9.109.rev.sfr.net) |
| 19:56:11 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 240 seconds) |
| 19:56:26 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:59:01 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:04:52 | → | ddellac__ joins (~ddellacos@86.106.143.148) |
| 20:05:12 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 20:05:22 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:06:49 | → | daniil joins (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) |
| 20:07:40 | → | petersen joins (~petersen@redhat/juhp) |
| 20:10:45 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 20:11:18 | → | alx741 joins (~alx741@181.196.69.213) |
| 20:15:41 | × | unyu quits (~pyon@unaffiliated/pyon) (Ping timeout: 240 seconds) |
| 20:16:55 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 20:19:37 | → | ystael joins (~ystael@209.6.50.55) |
| 20:22:47 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 20:23:46 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 20:24:58 | → | Guest50015 joins (~zmv@unaffiliated/zmv) |
| 20:25:54 | ← | seven_th` parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 20:26:15 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 20:26:36 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 20:27:05 | × | supercoven quits (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 20:27:36 | × | ddellac__ quits (~ddellacos@86.106.143.148) (Remote host closed the connection) |
| 20:27:42 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 20:28:06 | <safinaskar> | > 0 |
| 20:28:08 | <lambdabot> | 0 |
| 20:28:27 | × | yalm quits (~yalm@unaffiliated/yalm) (Ping timeout: 246 seconds) |
| 20:30:08 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b9513753d70683e7df124.dip0.t-ipconnect.de) |
| 20:31:30 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 20:31:50 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:32:38 | <NemesisD> | is it possible to get type-level info with generics just with a type or proxy to a type? for example, i want to get `packageName` of a given type |
| 20:32:40 | × | stree quits (~stree@68.36.8.116) (Quit: Caught exception) |
| 20:33:02 | → | stree joins (~stree@68.36.8.116) |
| 20:33:32 | → | yalm joins (~yalm@unaffiliated/yalm) |
| 20:33:38 | × | yalm quits (~yalm@unaffiliated/yalm) (Client Quit) |
| 20:36:49 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 20:37:15 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:38:44 | <safinaskar> | why this does not compile? https://paste.tomsmeding.com/xoTwfmza |
| 20:39:39 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 20:39:46 | → | martin02 joins (silas@hund.fs.lmu.de) |
| 20:40:18 | <tomsmeding> | safinaskar: data constructors must be either a word that start with a capital letter, or an operator that starts with the ':' symbol |
| 20:40:41 | × | alx741 quits (~alx741@181.196.69.213) (Ping timeout: 240 seconds) |
| 20:40:43 | <tomsmeding> | and operator-style constructors are only allowed using the TypeOperators language extension |
| 20:41:01 | <tomsmeding> | scratch that |
| 20:41:03 | <shapr> | lambdabot: @quote |
| 20:41:03 | <lambdabot> | conal says: omg -- i can print right from emacs again. praise be to Linux! |
| 20:41:05 | <tomsmeding> | you don't need the extension for that |
| 20:42:45 | <safinaskar> | tomsmeding: thanks. is it possible to enable any symbol combinations? |
| 20:43:06 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 20:43:16 | <tomsmeding> | shapr: a few years ago in my first year of university, I once piped something to lpr on their machine and told them to walk to the printer. They walked away disbelieving but came back with a big grin on their face |
| 20:43:37 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 252 seconds) |
| 20:43:53 | <tomsmeding> | safinaskar: to allow operator-style data constructors that don't start with a ':'? no that's not possible currently |
| 20:44:29 | <tomsmeding> | ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC |
| 20:44:42 | <tomsmeding> | and you can't define a data constructor that starts with a lowercase letter either :) |
| 20:44:42 | <shapr> | tomsmeding: related, I tried very hard to do the ethical thing and pay per page for printing from my Linux system at university. When I told uni IT that I could just print for free and wanted to pay for it, they laughed and said it wasn't my problem. |
| 20:44:55 | <tomsmeding> | :D |
| 20:45:09 | <safinaskar> | tomsmeding: " ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC " - OMG |
| 20:45:15 | <safinaskar> | tomsmeding: thanks |
| 20:45:18 | × | LKoen quits (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 20:45:20 | <tomsmeding> | never heard of capital symbols? :) |
| 20:45:47 | <shapr> | My uni also had OpenDNS or whatever thing let you blacklist certain DNS names, many of my classmates were paying for VPNs so they could get around it. When I taught them how DNS worked, they saved a bunch of money. |
| 20:46:45 | <shapr> | I later heard the computer departments breathed a sigh of relief when I graduated. |
| 20:46:52 | <pjb> | :-) |
| 20:46:57 | <tomsmeding> | hah they didn't block anything at my uni fortunately, at least that I know |
| 20:48:12 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 20:48:30 | <shapr> | Uni accounts were locked if you used the wrong password three times. They were horrified when I described to them how easy that made it to lock all instructor accounts every few seconds. |
| 20:48:52 | × | knupfer quits (~Thunderbi@200116b82b019d00dd62579678e85afe.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 20:50:10 | <shapr> | I restarted my bachelor's degree at age 40, all my instructors were younger than me and had far less real world programming clue. That was a weird experience for everyone involved. |
| 20:50:19 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8) (Ping timeout: 260 seconds) |
| 20:50:31 | <tomsmeding> | I believe that would still work perfectly at my uni today |
| 20:50:38 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:50:38 | <NemesisD> | actually, i think i can get some of what i need from typeable. but how can i go from a type to a list of its constructors and their selectors. i see generic has a type family for Rep but i don't know how to bring info from that into the value level |
| 20:50:52 | <tomsmeding> | I would even not be surprised if you can pull that trick with google or facebook or one of those |
| 20:51:41 | ← | safinaskar parts (6dfc5a88@109.252.90.136) () |
| 20:52:02 | × | v01d4lph4 quits (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 20:52:06 | <shapr> | Also, you were sposed to email IT from your student account if the account was locked. They looked confused when I tried to explain how that wasn't going to work. |
| 20:52:44 | <tomsmeding> | when your phone doesn't work, call the helpdesk at the following number? |
| 20:52:53 | <tomsmeding> | but then unironically? |
| 20:53:00 | <shapr> | yes, exactly that :-) |
| 20:53:02 | <tomsmeding> | :D |
| 20:53:12 | → | miklcct joins (quasselcor@miklcct.com) |
| 20:53:20 | <Rembane> | That's why I need a fax machine. |
| 20:53:31 | → | safinaskar joins (6dfc5a88@109.252.90.136) |
| 20:53:35 | → | alx741 joins (~alx741@186.178.109.58) |
| 20:53:39 | <shapr> | It was a really small uni, they graduated about seven CS majors a year. |
| 20:53:55 | <safinaskar> | is it true GHC2021 is default now? |
| 20:54:24 | <safinaskar> | cdsmith: i see you are typing :) |
| 20:54:33 | <cdsmith> | Continuing my fight against GHC's type checker... I have rank-n type this: data T where MkT :: (forall a b. (F a b, G a b)) -> T. Is there any way to curry MkT but keep an isomorphic type? |
| 20:54:44 | <cdsmith> | safinaskar: yes, I was! :) |
| 20:55:12 | <safinaskar> | so, irc now has feature "xxx is typing"? this is weird |
| 20:55:18 | <shapr> | wat? |
| 20:55:19 | → | jneira joins (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) |
| 20:55:23 | <shapr> | I've never seen such a thing |
| 20:55:27 | <safinaskar> | this contradicts irc philosophy |
| 20:55:43 | <geekosaur> | it's supported by some clients including kiwiirc |
| 20:55:47 | <shapr> | oh wow |
| 20:55:49 | <cdsmith> | I see it. Using webchat.freenode.net. Is it an IRC thing, or a webchat thing? |
| 20:56:04 | <safinaskar> | shapr: i use webchat.freenode.net |
| 20:56:07 | <geekosaur> | I think you can enable it in hexchat also but it's off by default |
| 20:56:07 | <shapr> | oh neato! |
| 20:56:08 | → | benjamingr__ joins (uid23465@gateway/web/irccloud.com/x-ynbdnkhkjbtgwgql) |
| 20:56:09 | <hrnz> | threading when? |
| 20:56:17 | <Rembane> | Doesn't IRCv3 support it? It seems to support all things that are unIRCy |
| 20:56:30 | <pjb> | xmpp? |
| 20:56:34 | <hrnz> | inb4 spamming peoples names is threading |
| 20:56:56 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Remote host closed the connection) |
| 20:57:19 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 20:57:38 | → | solidus-river joins (~mike@174.127.249.180) |
| 20:57:42 | ← | safinaskar parts (6dfc5a88@109.252.90.136) () |
| 20:57:54 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Client Quit) |
| 20:58:08 | → | safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru) |
| 20:58:12 | <safinaskar> | so, GHC2021 is now default? |
| 20:58:22 | <geekosaur> | as of 9.0.1, I think |
| 20:58:30 | <geekosaur> | not available beforethat either |
| 20:59:29 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 21:00:00 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:00:36 | <cdsmith> | I thought GHC2021 was a 9.2 thing... am I wrong? |
| 21:00:49 | <safinaskar> | i think this can break compatibility |
| 21:01:04 | <geekosaur> | I may be wrong |
| 21:01:18 | <davean> | Only on things that don't define the haskell standard they use, and yah, I'm certainly not using GHC2021! |
| 21:02:10 | <cdsmith> | Yeah, I double checked. GHC 9.2 release notes announce that GHC2021 is available, so I assume that means it's not in 9.0 |
| 21:02:19 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3f6d:f920:f5c0:6bcc) |
| 21:02:33 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 21:02:40 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:02:44 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:02:52 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 252 seconds) |
| 21:03:11 | <geekosaur> | hm, but do they say it's default? |
| 21:04:35 | <cdsmith> | Yes, it's the default, if you don't say otherwise. In practice, most people say otherwise in a cabal file. |
| 21:04:57 | <cdsmith> | The default only matters if you're running GHC or GHCi on its own, since Cabal will specify a language otherwise |
| 21:05:22 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 21:05:54 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:06:12 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 21:06:17 | <yushyin> | 'including setting it by default' - https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4853 |
| 21:06:41 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 21:07:16 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 265 seconds) |
| 21:09:03 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf) (Quit: Connection closed for inactivity) |
| 21:10:30 | → | kenanmarasli joins (1fdf0ddb@31.223.13.219) |
| 21:10:51 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 268 seconds) |
| 21:11:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:13:59 | <chisui> | davean what are your objections to GHC2021? |
| 21:15:50 | × | Lycurgus quits (~niemand@98.4.118.65) (Quit: Exeunt) |
| 21:16:08 | × | electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 21:16:16 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 21:18:08 | <dmj`> | probably won't be ready until 2030 |
| 21:18:13 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 21:18:24 | <safinaskar> | look here! https://paste.tomsmeding.com/9NRhKVV1 . i was able to proof "X -> X" using haskell as a proof checker! using GADTs |
| 21:18:32 | <safinaskar> | this method looks pretty general |
| 21:18:41 | <safinaskar> | it seems it will work for any logic |
| 21:19:50 | <tomsmeding> | neat! |
| 21:20:01 | × | fendor quits (~fendor@77.119.130.215.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:21:10 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:23:10 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 21:23:34 | <safinaskar> | i wonder whether this method will work for really complex logics such as logic of ghc itself: https://github.com/ghc/ghc/blob/master/docs/core-spec/core-spec.pdf |
| 21:23:40 | <safinaskar> | it seems nothing prevents it |
| 21:24:12 | × | Benzi-Junior quits (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 240 seconds) |
| 21:25:59 | → | imnew111 joins (3e1d44e2@62.29.68.226) |
| 21:26:09 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 21:26:22 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 21:26:26 | <imnew111> | how can i check if a string has 2 uppercase characters in it ? |
| 21:27:04 | <justsomeguy> | What package and module do the Reader monad come from? Is it included with ghc? |
| 21:28:06 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 240 seconds) |
| 21:28:07 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 21:28:38 | <shapr> | imnew111: what about groupBy and isUpper? |
| 21:28:53 | <tomsmeding> | justsomeguy: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Reader.html , and as a monad transformer from https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html |
| 21:29:35 | <imnew111> | isUpper gives me a boolean answer, how can i implement it if the string has at least 2 uppercase chars it would say its true |
| 21:30:06 | <tomsmeding> | justsomeguy: and both transformers and mtl are included with GHC https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/9.0.1-notes.html#included-libraries |
| 21:31:42 | <monochrom> | imnew111: Do you mind also writing a helper function for "at least 1 uppercase letter"? |
| 21:32:46 | <monochrom> | Also, "at least 2" uses recursion to walk through characters until you spot one. Then the rest is subject to "at least 1". |
| 21:33:32 | <imnew111> | Okay i see |
| 21:33:33 | <imnew111> | Thank you |
| 21:33:44 | <imnew111> | isUpper doesnt work for me tho |
| 21:33:53 | <imnew111> | It wants me to use Char.isUpper |
| 21:34:07 | <imnew111> | Which doesnt work for strigns |
| 21:34:32 | <monochrom> | "string" is [Char] |
| 21:35:06 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 21:35:39 | <imnew111> | when i type Char.isUpper "asd", it gives me an error |
| 21:35:47 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 21:36:13 | <monochrom> | This is why you use recursion to walk through the string, one character at a time. |
| 21:36:17 | × | kenanmarasli quits (1fdf0ddb@31.223.13.219) (Quit: Connection closed) |
| 21:36:27 | <imnew111> | Great, thanks everyone |
| 21:37:25 | → | nrdmn980 joins (~nrdmn@aufmachen.jetzt) |
| 21:38:08 | × | hololeap quits (hololeap@gateway/vpn/protonvpn/hololeap) (Quit: Bye) |
| 21:39:11 | × | nrdmn98 quits (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 21:39:11 | nrdmn980 | is now known as nrdmn98 |
| 21:40:15 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 21:40:21 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:40:49 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 21:41:39 | × | imnew111 quits (3e1d44e2@62.29.68.226) (Quit: Connection closed) |
| 21:43:14 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 21:43:16 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 21:43:24 | × | biglama quits (~alex@176.165.167.17) (Remote host closed the connection) |
| 21:43:34 | Guest50015 | is now known as notzmv |
| 21:43:54 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 21:44:01 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.0) |
| 21:44:11 | ← | safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 21:44:13 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:44:47 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:44:48 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 21:45:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 21:45:53 | → | jgt_ joins (~jgt@37.157.184.76) |
| 21:47:06 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 240 seconds) |
| 21:47:56 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 260 seconds) |
| 21:49:06 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 21:53:54 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 21:55:02 | × | chisui quits (5882395a@mue-88-130-57-090.dsl.tropolys.de) (Quit: Connection closed) |
| 21:55:03 | × | kderme quits (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 21:55:15 | → | chisui joins (5882395a@mue-88-130-57-090.dsl.tropolys.de) |
| 21:59:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:59:15 | → | v01d4lph4 joins (~v01d4lph4@171.50.180.77) |
| 22:00:28 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:01:37 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 22:03:44 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:03:49 | × | v01d4lph4 quits (~v01d4lph4@171.50.180.77) (Ping timeout: 265 seconds) |
| 22:04:16 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:04:45 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 22:07:11 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 22:07:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:07:37 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:08:26 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:08:54 | × | Tops2 quits (~Tobias@dyndsl-095-033-022-213.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 22:08:56 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 22:09:28 | → | ntqz joins (ntqz@gateway/vpn/protonvpn/ntqz) |
| 22:09:46 | → | jul1u5 joins (~julius@85.206.103.207) |
| 22:11:12 | → | usr25 joins (~J@23.red-83-44-175.dynamicip.rima-tde.net) |
| 22:13:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 22:14:35 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:16:38 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:18:21 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 22:19:30 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 22:21:39 | <remexre> | is there a bytestring version of readProcess? |
| 22:21:53 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 246 seconds) |
| 22:23:41 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:24:25 | × | cortexauth quits (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) (Ping timeout: 276 seconds) |
| 22:24:35 | × | Guest43928 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 22:25:06 | <hpc> | not that hoogle can find, but createProcess returns handles if that works for you |
| 22:25:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:25:36 | <remexre> | yeah, I'm doing one using withCreateProcess rn, but it feels weird that there's no bytestring support, so felt like I was missing something lol |
| 22:26:27 | <hpc> | oh! https://hackage.haskell.org/package/process-extras |
| 22:26:46 | <remexre> | aha, nice; thanks |
| 22:26:55 | <hpc> | it has readProcessWithExitCode for bs and text |
| 22:28:15 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 22:30:58 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 22:31:13 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 22:32:32 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 22:34:48 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 22:34:56 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:35:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 22:36:26 | × | jul1u5 quits (~julius@85.206.103.207) (Ping timeout: 240 seconds) |
| 22:36:29 | × | JustinCase quits (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 22:37:42 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:37:49 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:38:09 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:38:26 | → | cortexauth joins (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) |
| 22:39:55 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:41:20 | → | JustinCase joins (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 22:41:23 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:41:31 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 22:42:14 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:42:17 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 22:42:58 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 22:45:59 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:48:22 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer) |
| 22:48:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 22:48:48 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 22:49:49 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:50:22 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:51:31 | × | jgt_ quits (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 22:51:32 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 22:54:10 | → | jgt_ joins (~jgt@37.157.184.76) |
| 22:54:24 | → | stree joins (~stree@68.36.8.116) |
| 22:55:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 22:56:02 | × | rj quits (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 22:56:19 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 22:58:55 | × | jgt_ quits (~jgt@37.157.184.76) (Ping timeout: 252 seconds) |
| 22:59:17 | × | rj quits (~x@gateway/tor-sasl/rj) (Client Quit) |
| 22:59:29 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 23:00:46 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 23:02:15 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 23:02:36 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 23:02:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:03:16 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 23:05:11 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 260 seconds) |
| 23:10:31 | × | iptq quits (~michael@142.93.75.170) (Quit: WeeChat 3.1) |
| 23:14:04 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 23:15:42 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:16:01 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:20:40 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
| 23:20:41 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 23:20:44 | → | hgolden joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 23:21:13 | → | jgt_ joins (~jgt@37.157.184.76) |
| 23:22:21 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 23:23:46 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:24:26 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 23:25:54 | × | jgt_ quits (~jgt@37.157.184.76) (Ping timeout: 268 seconds) |
| 23:26:46 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 23:27:43 | × | daniil quits (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) (Ping timeout: 240 seconds) |
| 23:28:04 | × | usr25 quits (~J@23.red-83-44-175.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 23:28:09 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:30:26 | → | jgt_ joins (~jgt@37.157.184.76) |
| 23:31:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 23:32:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:33:01 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 23:34:36 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 23:35:10 | × | jgt_ quits (~jgt@37.157.184.76) (Ping timeout: 265 seconds) |
| 23:37:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 23:41:18 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 23:43:25 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:47:12 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-brjdkpuhrnhpqxdh) () |
| 23:47:32 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 23:48:26 | → | jgt_ joins (~jgt@37.157.184.76) |
| 23:49:59 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b9513753d70683e7df124.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 23:53:18 | × | jgt_ quits (~jgt@37.157.184.76) (Ping timeout: 260 seconds) |
| 23:56:24 | × | royal_screwup213 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:56:29 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 23:56:42 | → | royal_screwup213 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:59:53 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
All times are in UTC on 2021-05-03.