Logs on 2021-01-20 (freenode/#haskell)
| 00:00:17 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 00:01:27 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-vgqodrfefzyzpwaq) |
| 00:04:09 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 00:04:33 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 00:07:24 | × | electricityZZZZ quits (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 00:07:44 | × | Codaraxis quits (~Codaraxis@91.193.4.38) (Ping timeout: 240 seconds) |
| 00:14:49 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 00:15:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:15:37 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 00:15:46 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 00:15:50 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) () |
| 00:17:14 | × | uberj quits (~uberj@unaffiliated/uberj) (Remote host closed the connection) |
| 00:17:34 | → | uberj joins (~uberj@unaffiliated/uberj) |
| 00:18:12 | × | iteratee_ quits (~kyle@162.211.154.4) (Read error: Connection reset by peer) |
| 00:18:19 | → | iteratee joins (~kyle@162.211.154.4) |
| 00:19:03 | × | beka quits (~beka@gothdyke.mom) (Ping timeout: 260 seconds) |
| 00:19:24 | × | wagle quits (~wagle@quassel.wagle.io) (Remote host closed the connection) |
| 00:20:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 00:20:34 | → | wagle joins (~wagle@quassel.wagle.io) |
| 00:20:40 | → | Wuzzy joins (~Wuzzy@p549c9ab1.dip0.t-ipconnect.de) |
| 00:20:43 | → | beka joins (~beka@gothdyke.mom) |
| 00:25:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:30:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 00:34:30 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 00:35:18 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Quit: ZNC - http://znc.in) |
| 00:35:49 | → | noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 00:38:36 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Client Quit) |
| 00:39:12 | → | noecho joins (~noecho@2a01:4f8:1c0c:80ee::4223) |
| 00:39:44 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 00:40:45 | × | ph88_ quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 00:41:22 | → | vs^ joins (vs@ip98-184-89-2.mc.at.cox.net) |
| 00:44:23 | → | Dominick joins (Dominick@cpe-66-65-179-161.nyc.res.rr.com) |
| 00:45:33 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 00:46:20 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection) |
| 00:50:27 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 00:51:00 | → | former_ocamler joins (3263cbdb@50.99.203.219) |
| 00:52:57 | → | jedws joins (~jedws@121.209.139.157) |
| 00:56:06 | ← | Dominick parts (Dominick@cpe-66-65-179-161.nyc.res.rr.com) () |
| 00:56:32 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 00:57:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:57:56 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 240 seconds) |
| 01:00:23 | → | shatriff_ joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 01:01:06 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 01:01:12 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 01:01:25 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:01:56 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 01:02:27 | → | jdt_ joins (~jdt@208.85.233.130) |
| 01:02:32 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 01:02:33 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:02:41 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 01:02:41 | × | jedws quits (~jedws@121.209.139.157) (Ping timeout: 256 seconds) |
| 01:02:41 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 01:02:41 | × | jdt quits (~jdt@208.85.233.130) (Ping timeout: 256 seconds) |
| 01:02:42 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 01:02:45 | → | ADG1089_ joins (~aditya@223.226.159.22) |
| 01:02:46 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds) |
| 01:02:46 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 01:02:46 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 01:02:54 | → | jedws joins (~jedws@121.209.139.157) |
| 01:03:04 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 01:03:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 01:03:20 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds) |
| 01:03:20 | × | WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 01:03:20 | × | statusfailed quits (~statusfai@statusfailed.com) (Ping timeout: 256 seconds) |
| 01:03:34 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 01:03:36 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:03:39 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:03:55 | Lord_of_Life_ | is now known as Lord_of_Life |
| 01:04:51 | → | conal joins (~conal@64.71.133.70) |
| 01:05:03 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:05:32 | → | conal joins (~conal@64.71.133.70) |
| 01:05:46 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:06:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:06:43 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 01:07:01 | <epicte7us> | I have a function that takes a record object and an accessor for it. I can use the accessor to get a record out, but how do I get the modified record back into the updated object? |
| 01:07:48 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:08:15 | × | dolio quits (~dolio@haskell/developer/dolio) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:08:26 | <Axman6> | sadly record field accessors aren't first class values, this is oneof the many problems lens exists to solve |
| 01:08:59 | <epicte7us> | ah, I suspected that. Thank you |
| 01:09:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:09:31 | <Axman6> | the function you've described is called "over" in lens land, (a.k.a %~) |
| 01:09:33 | <Axman6> | :t over |
| 01:09:34 | <lambdabot> | ASetter s t a b -> (a -> b) -> s -> t |
| 01:10:23 | <Axman6> | given a lensy thing which can set b's within a t given a's from an s, apply a function of type a -> b to the a's in a given s, and return a t |
| 01:10:25 | × | former_ocamler quits (3263cbdb@50.99.203.219) (Ping timeout: 248 seconds) |
| 01:11:36 | → | dolio joins (~dolio@haskell/developer/dolio) |
| 01:11:44 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 01:12:07 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds)) |
| 01:13:04 | → | conal joins (~conal@64.71.133.70) |
| 01:13:33 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:15:40 | × | ADG1089_ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 01:15:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 01:16:21 | × | columbarius quits (~columbari@mue-88-130-54-057.dsl.tropolys.de) (Ping timeout: 246 seconds) |
| 01:16:21 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 246 seconds) |
| 01:17:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:17:23 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 260 seconds) |
| 01:17:31 | <Axman6> | > [("Hello",True),("world",False)] & each . _1 % map toUpper |
| 01:17:33 | <lambdabot> | error: |
| 01:17:33 | <lambdabot> | • Couldn't match expected type ‘[([Char], Bool)] -> b’ |
| 01:17:33 | <lambdabot> | with actual type ‘Ratio ((a1 -> f0 b1) -> s0 -> f0 t0)’ |
| 01:17:51 | <Axman6> | % [("Hello",True),("world",False)] & each . _1 % map toUpper |
| 01:17:52 | <yahb> | Axman6: ; <interactive>:29:36: error:; * Couldn't match expected type `[([Char], Bool)] -> b' with actual type `Ratio ((a1 -> f0 b1) -> s0 -> f0 t0)'; * Possible cause: `(%)' is applied to too many arguments; In the second argument of `(&)', namely `each . _1 % map toUpper'; In the expression: [("Hello", True), ("world", False)] & each . _1 % map toUpper; In an equation for `it': it = |
| 01:18:00 | <Axman6> | % [("Hello",True),("world",False)] & each . _1 %~ map toUpper |
| 01:18:00 | <yahb> | Axman6: [("HELLO",True),("WORLD",False)] |
| 01:18:04 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 01:18:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 01:18:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 01:18:54 | → | columbarius joins (~columbari@muedsl-82-207-236-252.citykom.de) |
| 01:21:06 | × | Benzi-Junior quits (~BenziJuni@88-149-65-135.du.xdsl.is) (Remote host closed the connection) |
| 01:21:28 | → | Benzi-Junior joins (~BenziJuni@88-149-65-135.du.xdsl.is) |
| 01:21:56 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-bvruurhqwoxqskjs) (Quit: Connection closed for inactivity) |
| 01:24:43 | <Axman6> | % [("Hello",True),("world",False)] & each . _1 . folded . ifiltered (\i _ -> even i) %~ toUpper |
| 01:24:43 | <yahb> | Axman6: ; <interactive>:31:48: error:; * No instance for (Contravariant Identity) arising from a use of `folded'; * In the first argument of `(.)', namely `folded'; In the second argument of `(.)', namely `folded . ifiltered (\ i _ -> even i)'; In the second argument of `(.)', namely `_1 . folded . ifiltered (\ i _ -> even i)' |
| 01:25:04 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 01:28:30 | <Axman6> | % [("Hello",True),("world",False)] & each . _1 . indexing each . ifiltered (\i _ -> even i) %~ toUpper |
| 01:28:30 | <yahb> | Axman6: [("HeLlO",True),("WoRlD",False)] |
| 01:29:24 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 01:30:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 01:30:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:31:25 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:33:26 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 01:33:50 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 01:34:00 | <Axman6> | % :t ipartsOf template |
| 01:34:00 | <yahb> | Axman6: ; <interactive>:1:10: error:; * Couldn't match type `Indexed i0 a (Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a)' with `a0 -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a0'; Expected type: Traversing (Indexed i0) f t t a a; Actual type: (a0 -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0) f a a a0) -> t -> Control.Lens.Internal.Bazaar.BazaarT (Indexed i0 |
| 01:35:11 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 01:36:24 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-gwzbkckhhfkuvffv) |
| 01:37:26 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 01:37:28 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Ping timeout (120 seconds)) |
| 01:39:38 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:39:43 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 01:39:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 01:40:09 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 01:40:42 | → | ransom joins (~c4264035@8.48.134.30) |
| 01:41:47 | → | Noldorin joins (~noldorin@unaffiliated/noldorin) |
| 01:42:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:43:59 | × | Vq quits (~vq@90-227-195-41-no77.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 01:44:52 | → | Vq joins (~vq@90-227-195-41-no77.tbcn.telia.com) |
| 01:45:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 01:47:39 | × | epicte7us quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 01:48:06 | × | ransom quits (~c4264035@8.48.134.30) (Ping timeout: 256 seconds) |
| 01:48:28 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:49:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 01:49:20 | → | matryoshka joins (~matryoshk@184.75.223.227) |
| 01:49:24 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:49:52 | × | shatriff_ quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 265 seconds) |
| 01:50:13 | × | matryoshka quits (~matryoshk@184.75.223.227) (Client Quit) |
| 01:50:45 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 01:51:16 | → | dorkside joins (~tdbgamer@208.190.197.222) |
| 01:51:35 | → | ransom joins (~c4264035@c-67-176-3-106.hsd1.co.comcast.net) |
| 01:52:56 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 01:53:31 | → | hexfive joins (~hexfive@50.35.83.177) |
| 01:54:04 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 01:54:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 01:55:45 | → | conal joins (~conal@64.71.133.70) |
| 01:56:06 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Quit: rcdilorenzo) |
| 01:56:19 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 01:57:03 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:58:12 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 01:58:32 | → | jollygood2 joins (~bc8134e3@217.29.117.252) |
| 01:58:59 | <jollygood2> | hi. am I confusing haskell and rust, becauze I could swear haskell has extension similar to this one, that allows matching more than one value in pattern match. https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html#multiple-patterns |
| 01:59:05 | <jollygood2> | because* |
| 01:59:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:00:21 | <jackk_Doe> | are you thinking about guards in haskell |
| 02:00:38 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit) |
| 02:00:55 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 02:01:13 | <ski> | jollygood2 : sadly no disjunction / or- patterns in Haskell |
| 02:02:20 | <jackk_Doe> | you could use guards |
| 02:02:34 | <ski> | depends |
| 02:02:58 | → | Codaraxis__ joins (~Codaraxis@91.193.4.20) |
| 02:03:54 | → | frankdmartinez joins (~frankdmar@208.91.107.132) |
| 02:04:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 02:06:24 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 246 seconds) |
| 02:12:01 | × | cgfuh quits (~cgfuh@181.167.191.58) (Quit: WeeChat 2.9) |
| 02:14:50 | × | Wuzzy quits (~Wuzzy@p549c9ab1.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 02:16:34 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 272 seconds) |
| 02:16:51 | × | Noldorin quits (~noldorin@unaffiliated/noldorin) (Quit: Textual IRC Client: www.textualapp.com) |
| 02:17:06 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) |
| 02:17:44 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 02:18:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 02:19:50 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) (Client Quit) |
| 02:20:05 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 240 seconds) |
| 02:21:20 | × | loli quits (~loli@024-171-017-003.res.spectrum.com) (Quit: WeeChat 3.0) |
| 02:22:39 | × | columbarius quits (~columbari@muedsl-82-207-236-252.citykom.de) (Quit: columbarius) |
| 02:23:28 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:23:34 | → | loli joins (~loli@024-171-017-003.res.spectrum.com) |
| 02:24:43 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) |
| 02:27:13 | → | jedws joins (~jedws@121.209.139.157) |
| 02:28:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 02:28:27 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 02:29:30 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 02:30:06 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 02:31:28 | × | jedws quits (~jedws@121.209.139.157) (Client Quit) |
| 02:34:13 | → | former_ocamler joins (3263cbdb@50.99.203.219) |
| 02:34:44 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 02:34:45 | <former_ocamler> | anyone know an easy way of mapping a STUArray? |
| 02:35:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:35:26 | <former_ocamler> | actually nvm what i'm trying to do is not map |
| 02:37:33 | <former_ocamler> | is there a way to iterate through all indices of an STUArray inside of a mapM_? |
| 02:39:31 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 02:40:55 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 02:42:59 | <dibblego> | I'd use a traversal for that |
| 02:44:54 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 02:46:25 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 265 seconds) |
| 02:46:51 | × | xff0x_ quits (~xff0x@2001:1a81:522c:a800:ae0c:654f:160c:79b4) (Ping timeout: 272 seconds) |
| 02:48:38 | → | xff0x_ joins (~xff0x@2001:1a81:5251:4200:83c1:52fa:698b:ef1c) |
| 02:53:31 | → | conal joins (~conal@64.71.133.70) |
| 02:53:31 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 02:54:24 | → | conal joins (~conal@64.71.133.70) |
| 02:54:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:54:36 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 02:54:43 | × | ransom quits (~c4264035@c-67-176-3-106.hsd1.co.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:00:20 | → | ADG1089_ joins (~adg1089@223.226.159.22) |
| 03:05:51 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 272 seconds) |
| 03:08:45 | <former_ocamler> | anyone know an easy way to parse something like this: |
| 03:08:45 | <former_ocamler> | 2 |
| 03:08:46 | <former_ocamler> | 5 |
| 03:08:46 | <former_ocamler> | 2 |
| 03:08:47 | <former_ocamler> | 1 2 |
| 03:08:47 | <former_ocamler> | 3 4 |
| 03:08:48 | <former_ocamler> | 2 |
| 03:08:48 | <former_ocamler> | 1 |
| 03:08:49 | <former_ocamler> | 1 0 |
| 03:08:53 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-tobxwiwsbuagpqwc) |
| 03:09:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 03:09:14 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:09:41 | <former_ocamler> | anyone know how to parse string where its like: first line indicates number of test cases, next line is p number of pairs, next p lines describe each pair... etc |
| 03:10:05 | <former_ocamler> | easy way of doing this ^ |
| 03:13:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 03:18:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 03:19:00 | → | plutoniix joins (~q@ppp-223-24-165-135.revip6.asianet.co.th) |
| 03:19:00 | × | plutoniix quits (~q@ppp-223-24-165-135.revip6.asianet.co.th) (Client Quit) |
| 03:19:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 03:19:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 03:19:29 | → | plutoniix joins (~q@node-urh.pool-125-24.dynamic.totinternet.net) |
| 03:22:51 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 03:23:58 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
| 03:26:45 | × | former_ocamler quits (3263cbdb@50.99.203.219) (Quit: Ping timeout (120 seconds)) |
| 03:27:34 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:29:50 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 03:31:44 | → | hacxman joins (~hexo@gateway/tor-sasl/hexo) |
| 03:31:48 | → | sorki joins (~sorki@gateway/tor-sasl/sorki) |
| 03:32:05 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 03:33:19 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 03:33:20 | hacxman | is now known as hexo |
| 03:34:42 | sorki | is now known as srk |
| 03:35:02 | × | acidjnk_new quits (~acidjnk@p200300d0c704e732989dd075055fe92d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 03:35:24 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 03:35:48 | <jackk_Doe> | :former_ocamler use parsec and just parse it all as one piece where you parse newlines too |
| 03:37:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:37:11 | <Axman6> | they left |
| 03:37:23 | × | theDon quits (~td@94.134.91.134) (Ping timeout: 264 seconds) |
| 03:38:46 | → | theDon joins (~td@94.134.91.113) |
| 03:39:50 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 03:40:04 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 03:42:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 03:43:18 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 03:43:55 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 03:47:12 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 03:47:29 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9) |
| 03:47:32 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 03:49:23 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 264 seconds) |
| 03:50:35 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:50:35 | lagothrix | is now known as Guest86117 |
| 03:50:35 | xirhtogal | is now known as lagothrix |
| 03:51:20 | × | vs^ quits (vs@ip98-184-89-2.mc.at.cox.net) () |
| 03:51:35 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 03:54:11 | × | Guest86117 quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 264 seconds) |
| 03:56:01 | × | ADG1089_ quits (~adg1089@223.226.159.22) (Ping timeout: 265 seconds) |
| 03:56:10 | → | ADG1089_ joins (~adg1089@183.83.46.180) |
| 03:58:13 | → | jedws joins (~jedws@121.209.139.157) |
| 03:58:39 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 04:01:40 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 04:01:50 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 04:01:56 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-gwzbkckhhfkuvffv) (Quit: Connection closed for inactivity) |
| 04:02:58 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 04:04:20 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:06:11 | × | ADG1089_ quits (~adg1089@183.83.46.180) (Ping timeout: 264 seconds) |
| 04:06:21 | → | ADG1089_ joins (~adg1089@171.76.179.61) |
| 04:08:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:11:39 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 04:12:41 | <gentauro> | Axman6: `former_ocamler` probably went back to OCaml xD |
| 04:15:05 | <MarcelineVQ> | he's been in and out a couple times |
| 04:16:33 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 04:17:10 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:18:25 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 04:20:53 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 04:21:15 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 04:23:13 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 272 seconds) |
| 04:23:39 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 04:26:01 | → | nineonine joins (~nineonine@50.216.62.2) |
| 04:28:59 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 04:29:55 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-acrnjrwxdlolicbl) |
| 04:33:57 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 04:36:26 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 04:39:05 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 04:39:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 04:40:47 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 04:42:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 04:44:08 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 04:45:30 | → | adeene joins (~adeene@181.131.0.191) |
| 04:48:53 | × | harisamin quits (~harisamin@cpe-67-245-61-239.nyc.res.rr.com) (Remote host closed the connection) |
| 04:52:18 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 04:55:56 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:10fd:6431:b9b6:806f) () |
| 04:58:32 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-mltnmesrnwlhjcud) |
| 05:02:43 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds) |
| 05:02:48 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 05:04:01 | → | bitmagie joins (~Thunderbi@200116b806940a00a0c647359aec15c6.dip.versatel-1u1.de) |
| 05:04:25 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 05:04:42 | × | gzj quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 05:05:53 | × | infinity0 quits (~infinity0@freenet/developer/infinity0) (Ping timeout: 246 seconds) |
| 05:06:06 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:09:55 | → | infinity0 joins (~infinity0@freenet/developer/infinity0) |
| 05:09:58 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 265 seconds) |
| 05:11:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:14:29 | → | rbtEngrDude joins (~gankoji@ip70-162-69-199.ph.ph.cox.net) |
| 05:14:36 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:15:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 05:16:19 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 05:16:39 | × | jollygood2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (EOF)) |
| 05:16:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 05:17:09 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Quit: hyiltiz) |
| 05:17:22 | × | ADG1089_ quits (~adg1089@171.76.179.61) (Read error: Connection reset by peer) |
| 05:17:46 | → | ADG1089_ joins (~adg1089@223.226.159.22) |
| 05:20:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 05:22:28 | → | ransom joins (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) |
| 05:22:34 | → | nineonin_ joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 05:24:18 | × | ransom quits (~c4264035@c-73-243-2-10.hsd1.co.comcast.net) (Client Quit) |
| 05:25:11 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 05:26:18 | × | bitmagie quits (~Thunderbi@200116b806940a00a0c647359aec15c6.dip.versatel-1u1.de) (Quit: bitmagie) |
| 05:28:10 | → | conal joins (~conal@64.71.133.70) |
| 05:29:55 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-rjsiiowahomjgmcc) () |
| 05:31:37 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 05:33:35 | × | nineonin_ quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 05:34:13 | → | nineonine joins (~nineonine@50.216.62.2) |
| 05:34:34 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 05:36:26 | → | ixaxaar joins (~ixaxaar@49.207.210.215) |
| 05:39:43 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 05:39:59 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 05:40:23 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 05:40:54 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 05:42:47 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 05:44:44 | → | nineonin_ joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 05:47:40 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 05:49:58 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 05:51:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:53:09 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 06:02:09 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 06:02:32 | × | frankdmartinez quits (~frankdmar@208.91.107.132) (Ping timeout: 256 seconds) |
| 06:02:45 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 06:05:43 | → | zaquest joins (~notzaques@5.128.210.178) |
| 06:07:14 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 06:09:30 | → | ChrisMarquardt joins (~ChrisMarq@84.39.116.180) |
| 06:15:16 | → | knupfer joins (~Thunderbi@200116b82ca7d100940d25b60b6ef386.dip.versatel-1u1.de) |
| 06:18:20 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 06:25:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 06:27:38 | <koz_> | current_ocamler? |
| 06:28:45 | <sshine> | does anyone know how to parse these 800 numbers? |
| 06:28:45 | <sshine> | 5 |
| 06:28:46 | <sshine> | 3 |
| 06:28:48 | <sshine> | (just kidding) |
| 06:28:59 | × | thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 06:29:13 | <sshine> | good morning gentauro :) you're up early / in late? |
| 06:30:05 | <siraben> | sshine: haha |
| 06:30:07 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 06:30:25 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 272 seconds) |
| 06:30:29 | <siraben> | morning to you too sshine |
| 06:31:25 | <sshine> | hello siraben! |
| 06:32:24 | → | sword865 joins (uid208942@gateway/web/irccloud.com/x-knjuaxqfvgvongbx) |
| 06:33:35 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 06:36:45 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:38:56 | × | nineonin_ quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 06:39:10 | <gentauro> | sshine: for the time being I'm sleeping only 4 hours a day :( |
| 06:39:48 | <sshine> | gentauro, too much work or can't fall asleep? |
| 06:41:19 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 06:41:26 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 06:41:28 | <gentauro> | I have no clue |
| 06:41:28 | <gentauro> | :| |
| 06:41:33 | <gentauro> | but is not work :) |
| 06:41:48 | × | ChrisMarquardt quits (~ChrisMarq@84.39.116.180) (Remote host closed the connection) |
| 06:43:32 | × | plutoniix quits (~q@node-urh.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 06:44:13 | <gentauro> | sshine: but good morning :) |
| 06:46:22 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 06:46:23 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 260 seconds) |
| 06:49:06 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-acrnjrwxdlolicbl) (Quit: Connection closed for inactivity) |
| 06:50:11 | → | Criggie1 joins (~Criggie@195.140.213.38) |
| 06:50:59 | <sshine> | gentauro, have you tried valerian or melatonin? |
| 06:53:13 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Ping timeout (120 seconds)) |
| 06:53:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:53:48 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:56:11 | <MarcelineVQ> | or not being stressed |
| 06:57:08 | <sshine> | that reminds me of the "stop being poor" t-shirt meme :-P |
| 06:57:15 | × | knupfer quits (~Thunderbi@200116b82ca7d100940d25b60b6ef386.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 06:58:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:58:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 06:58:43 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 07:00:34 | <MarcelineVQ> | I always wanted one of those, but I couldn't afford it |
| 07:01:33 | × | phasespace_ quits (~sar@89-162-33-21.fiber.signal.no) (Ping timeout: 272 seconds) |
| 07:01:40 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:02:02 | <sshine> | I lay restless at night thinking about getting one. |
| 07:02:33 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 07:02:34 | <MarcelineVQ> | chewing bitter and smelly valerian root, ruminating if you will, on the subject |
| 07:03:15 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 07:06:17 | <gentauro> | stressed? |
| 07:07:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 07:07:20 | <MarcelineVQ> | the most common cause of short sleep cycles |
| 07:09:52 | <MarcelineVQ> | since insomnia is one of the methods humans fall in to as a futile attempt of avoiding being surprised by the coming day |
| 07:10:23 | × | loller_ quits (uid358106@gateway/web/irccloud.com/x-vgqodrfefzyzpwaq) (Quit: Connection closed for inactivity) |
| 07:12:06 | <sshine> | I do 報復性熬夜 bàofùxìng áoyè revenge bedtime procrastination every Sunday because I stacked my Monday so high. |
| 07:12:54 | <MarcelineVQ> | yes |
| 07:13:05 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 07:13:31 | × | rbtEngrDude quits (~gankoji@ip70-162-69-199.ph.ph.cox.net) (Quit: Leaving) |
| 07:13:43 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 07:14:32 | <sshine> | but I see that as some kind of unreasonable negotion practice, rather than not being able to fall asleep for no good reason. |
| 07:15:30 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 07:15:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 07:15:38 | <MarcelineVQ> | there's never a good reason to not being able to fall asleep, sleep is one of the 5 best activities a person can enjoy |
| 07:16:10 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 07:16:26 | <sshine> | there are lots of good reasons. but there's never a good reason to not get enough sleep for extended periods of time. |
| 07:16:53 | <MarcelineVQ> | Name one |
| 07:17:04 | <sshine> | name a good reason to not fall asleep? I like to read. :) |
| 07:17:20 | <MarcelineVQ> | I thought you'd say something like, you're on fire |
| 07:17:25 | <sshine> | and I can't read tomorrow, because tomorrow is stacked, haha. |
| 07:17:36 | <sshine> | yeah I was actually gonna say "I'm getting eaten?" |
| 07:17:39 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-mltnmesrnwlhjcud) (Quit: Connection closed for inactivity) |
| 07:17:59 | <MarcelineVQ> | oh, well, there's all kinds in this world |
| 07:18:13 | <sshine> | but if you're on fire for an extended period of time, you're doing it wrong. |
| 07:18:13 | <gentauro> | 08:07 < MarcelineVQ> the most common cause of short sleep cycles |
| 07:18:20 | <gentauro> | MarcelineVQ: I guess it has to do with age? |
| 07:18:31 | <gentauro> | I noticed that the older I get, the less time I use to sleep |
| 07:18:39 | <gentauro> | it happened to my pops as well |
| 07:18:45 | <sshine> | gentauro, you don't reach 4 hours until you're like 80. |
| 07:18:51 | <gentauro> | and other "old" people I have asked, they say the same |
| 07:18:55 | <MarcelineVQ> | You'r not thaat old though, I can tell |
| 07:19:07 | <gentauro> | sshine: I don't expect to live 80 years in the first place :P |
| 07:19:15 | <sshine> | gentauro, my dad slept at most 5 hours when he was 80. but at 30-40 you still need roughly 8 hours, 7 will do. :) |
| 07:19:16 | <MarcelineVQ> | no one does |
| 07:19:38 | <sshine> | gentauro, have you considered amphetamines then? |
| 07:19:43 | <gentauro> | sshine: I tend to do a 4 + 1 |
| 07:19:51 | <gentauro> | 4 hours at night and 1 hour of siesta |
| 07:19:57 | gentauro | siestas are mandatory |
| 07:20:10 | <sshine> | sounds painful |
| 07:20:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 07:20:32 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 07:21:05 | <sshine> | also it sounds like it's something you do because you can only sleep 4 hours a day, so I don't see the point in justifying this as much as involuntarily adapting to it. :) |
| 07:21:45 | → | phasespace_ joins (~sar@80-89-47-117.inet.signal.no) |
| 07:23:52 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 07:23:57 | → | krotkin joins (4ca491c9@76.164.145.201) |
| 07:24:47 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 07:25:23 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:26:11 | <sshine> | I'd not aim for <7 hours a day on average and call it healthy, given my age and life expectancy goals. |
| 07:26:22 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:27:00 | <sshine> | I just wanna hit 80 and not get alzheimers. :) |
| 07:27:47 | <gentauro> | sshine: as a spaniard, siestas are `mandatory`. If you don't sleep a siesta a day, you can risk loosing your passport (true story) |
| 07:28:06 | gentauro | btw, this is way way off-topic from Haskell, lets take it some other place |
| 07:28:32 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 07:28:34 | <sshine> | gentauro, sounds like you're putting in the hours for that dual citizenship. ;-) |
| 07:29:04 | <gentauro> | sshine: well I'ven always been able to do more with the same time as everybody else |
| 07:29:25 | <gentauro> | I got my MSc from DIKU in the estipulated time, combined with a full-time job |
| 07:29:36 | × | krotkin quits (4ca491c9@76.164.145.201) (Quit: Connection closed) |
| 07:29:39 | <gentauro> | sshine: you know how tough it is to get a degree from DIKU right? |
| 07:29:48 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 07:30:24 | gentauro | I seem to forget how I did it. I mean, I was even able to go to the gym and train rugby 3 times a week … |
| 07:30:36 | <gentauro> | but again, this is too off-topic from #haskell |
| 07:31:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:31:54 | <sshine> | gentauro, yes, you've told me. |
| 07:31:56 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:32:24 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:32:31 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 07:32:35 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 264 seconds) |
| 07:32:56 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 07:36:55 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 07:41:56 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 07:43:26 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:45:21 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 244 seconds) |
| 07:46:13 | → | frobnicator joins (~frobnicat@martlubbers.net) |
| 07:46:24 | → | asheshambasta joins (~user@ptr-e1lysaumlluc4k1o7mn.18120a2.ip6.access.telenet.be) |
| 07:46:39 | <frobnicator> | can you pattern match on expressions in haskell? I.e.: someFun x = if x =: Just _ then 42 else 38 |
| 07:47:06 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 07:47:27 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 07:47:41 | × | djbeau quits (~dbeaureg@148.87.23.5) (Ping timeout: 256 seconds) |
| 07:48:01 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 07:48:58 | <gentauro> | frobnicator: try with `someFun (Just x) = …` and `someFun Nothing = …` |
| 07:49:01 | <gentauro> | that would do |
| 07:49:24 | <gentauro> | otherwise you need to use `case x of (Just _) -> 42 …` |
| 07:50:38 | <frobnicator> | okay, that is unfortuante |
| 07:50:41 | <frobnicator> | unfortunate* |
| 07:52:35 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:53:40 | × | niekvandepas quits (~niekvande@2001:985:bebc:1:9458:ea67:4de:2943) (Remote host closed the connection) |
| 07:53:43 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:54:49 | <lortabac> | frobnicator: what's the difference between 'case x of' and the syntax you proposed? |
| 07:56:23 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 07:57:32 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 07:59:25 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 240 seconds) |
| 08:00:14 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 08:00:32 | → | mirrorbird joins (~psutcliff@m83-187-176-118.cust.tele2.se) |
| 08:01:47 | <gentauro> | `match … with`? |
| 08:02:14 | → | jespada joins (~jespada@90.254.241.81) |
| 08:02:20 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 08:03:02 | × | xff0x_ quits (~xff0x@2001:1a81:5251:4200:83c1:52fa:698b:ef1c) (Ping timeout: 264 seconds) |
| 08:03:41 | <frobnicator> | lortabac: the syntax I lent from Clean allows arbitrary pattern matching in expression |
| 08:03:49 | → | xff0x_ joins (~xff0x@2001:1a81:5251:4200:44d:f0de:d3f6:fec0) |
| 08:03:59 | <frobnicator> | it doesn't span multiple lines (or requires ;) and is very succinct in genera |
| 08:04:01 | <frobnicator> | l |
| 08:04:21 | <lortabac> | interesting |
| 08:04:33 | <frobnicator> | and could very easily be implemented as syntactic sugar for a case expression |
| 08:04:49 | <MarcelineVQ> | fwiw case x of Just _ -> 42; _ -> 38 is only 1 char longer than if x =: Just _ then 42 else 38 :> |
| 08:05:07 | <frobnicator> | the case expression is more powerful though, it allows naming of values |
| 08:05:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 08:05:44 | <frobnicator> | MarcelineVQ: yes, in this particular case, but what if you want to do: isJust x = x =: (Just _), or whatever, isJust is not a great example |
| 08:05:58 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 08:06:06 | <frobnicator> | but this feature is useful if you have a larger function and don't want to pattern match on the top level |
| 08:06:24 | <lortabac> | if I understand correctly it's a boolean pattern-matching? |
| 08:06:37 | → | niekvandepas joins (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) |
| 08:06:38 | <frobnicator> | yes, the lhs of the operator is an expression and the right hand side a pattern |
| 08:06:41 | <frobnicator> | and it returns a boolean |
| 08:06:41 | <lortabac> | it return True if it matches, and False otherwise |
| 08:06:46 | <lortabac> | ok |
| 08:07:24 | <frobnicator> | for example, if you have a tokeniser with some arbitrarily large token type and you want to match a certain token without having to define all these helper functions |
| 08:07:56 | <frobnicator> | or a parser that works on tokens, you can do something like: pSatisfy (=:(IntToken _)) |
| 08:08:05 | <frobnicator> | and match an int token |
| 08:08:34 | <frobnicator> | I know you can derive these helpers if you want with template haskell for example, but still, I think it's quite elegatn |
| 08:08:42 | <frobnicator> | and doesn't require complex machinery |
| 08:08:45 | <MarcelineVQ> | I see, I've made something similar with TH once |
| 08:08:49 | <MarcelineVQ> | oh lel |
| 08:09:33 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 08:11:11 | × | niekvandepas quits (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) (Ping timeout: 244 seconds) |
| 08:12:53 | <idnar> | with -XLambdaCase you can write someFun = \case Just _ -> 42; _ -> 38 |
| 08:15:06 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 08:15:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:15:27 | → | GZJ0X_ joins (~gzj@unaffiliated/gzj) |
| 08:15:40 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-axbmoogzhixorxhj) (Quit: Connection closed for inactivity) |
| 08:20:52 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:20:59 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
| 08:21:22 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 08:22:40 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 08:27:11 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Client Quit) |
| 08:27:47 | → | niekvandepas joins (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) |
| 08:28:03 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:28:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:28:47 | × | niekvandepas quits (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) (Remote host closed the connection) |
| 08:28:54 | → | niekvandepas joins (~niekvande@2001:985:bebc:1:d465:9e01:d547:d5df) |
| 08:33:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 08:37:27 | → | mctpyt joins (~mctpyt@unaffiliated/mctpyt) |
| 08:38:09 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:38:23 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 08:38:32 | → | shatriff_ joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 08:38:46 | → | mirrorbird_ joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 08:38:56 | → | dorkside3 joins (~tdbgamer@208.190.197.222) |
| 08:39:40 | → | cole-h_ joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 08:39:52 | → | puffnfre- joins (~puffnfres@45.76.124.5) |
| 08:40:15 | → | cheater joins (~user@unaffiliated/cheater) |
| 08:40:16 | → | jespada_ joins (~jespada@90.254.241.81) |
| 08:40:39 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 08:40:39 | × | puffnfresh_ quits (~puffnfres@45.76.124.5) (Ping timeout: 256 seconds) |
| 08:40:39 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 08:40:39 | → | coot_ joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 08:40:40 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 256 seconds) |
| 08:40:40 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 08:40:40 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
| 08:40:40 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 256 seconds) |
| 08:40:40 | × | thebnq quits (~bnq@herrokitty.com) (Ping timeout: 256 seconds) |
| 08:40:46 | → | thebnq joins (~bnq@herrokitty.com) |
| 08:40:49 | → | ADG1089 joins (~aditya@223.226.159.22) |
| 08:40:59 | × | GZJ0X_ quits (~gzj@unaffiliated/gzj) (Read error: Connection reset by peer) |
| 08:41:04 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 08:41:11 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 08:41:12 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 08:41:12 | × | mirrorbird quits (~psutcliff@m83-187-176-118.cust.tele2.se) (Ping timeout: 256 seconds) |
| 08:41:12 | × | Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds) |
| 08:41:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds) |
| 08:41:12 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 256 seconds) |
| 08:41:12 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Ping timeout: 256 seconds) |
| 08:41:12 | × | dorkside quits (~tdbgamer@208.190.197.222) (Ping timeout: 256 seconds) |
| 08:41:12 | × | statusfailed quits (~statusfai@statusfailed.com) (Ping timeout: 256 seconds) |
| 08:41:12 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 08:41:13 | × | otulp quits (~otulp@ti0187q162-6038.bb.online.no) (Ping timeout: 256 seconds) |
| 08:41:13 | dorkside3 | is now known as dorkside |
| 08:41:23 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 08:41:27 | → | otulp joins (~otulp@ti0187q162-6038.bb.online.no) |
| 08:41:29 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 08:41:29 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:41:30 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:41:30 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 08:41:35 | → | zaquest joins (~notzaques@5.128.210.178) |
| 08:41:46 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 256 seconds) |
| 08:41:47 | coot_ | is now known as coot |
| 08:42:17 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 08:45:09 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 08:45:30 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 08:53:36 | → | rkrishnan joins (~glenda@45.32.110.226) |
| 08:56:08 | × | frobnicator quits (~frobnicat@martlubbers.net) (Quit: WeeChat 1.6) |
| 08:56:53 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 08:57:13 | → | toast52 joins (97c0a219@151.192.162.25) |
| 08:57:53 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:58:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:02:25 | × | angerman quits (sid209936@gateway/web/irccloud.com/x-xtkvrytwrycxizka) (Ping timeout: 272 seconds) |
| 09:02:42 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 09:02:49 | → | LKoen joins (~LKoen@16.175.9.109.rev.sfr.net) |
| 09:03:22 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-wycnjozqcgtdbipa) |
| 09:04:09 | → | Ayo joins (~quassel@82.177.83.189) |
| 09:04:09 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 09:06:23 | × | rkrishnan quits (~glenda@45.32.110.226) (Ping timeout: 246 seconds) |
| 09:07:01 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 09:09:18 | → | kuribas joins (~user@ptr-25vy0i9zig70h8qbxzi.18120a2.ip6.access.telenet.be) |
| 09:09:26 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:11:47 | × | Ayo quits (~quassel@82.177.83.189) (Read error: Connection reset by peer) |
| 09:12:38 | → | Ayo joins (~quassel@82.177.83.189) |
| 09:12:57 | xff0x_ | is now known as xff0x |
| 09:14:27 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 09:15:48 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:16:32 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds) |
| 09:16:41 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-bsesdxyajdvfiayr) (Quit: Ping timeout (120 seconds)) |
| 09:16:54 | → | MasseR1 joins (~MasseR@51.15.143.128) |
| 09:17:16 | → | Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-utvzwasupevpyrxa) |
| 09:17:36 | × | NGravity quits (csp@gateway/shell/xshellz/x-epmrghlaxfnvqxxx) (Ping timeout: 240 seconds) |
| 09:17:56 | × | vancz quits (~vancz@unaffiliated/vancz) (Remote host closed the connection) |
| 09:18:10 | × | pie_ quits (~pie_bnc]@unaffiliated/pie-/x-0787662) (Remote host closed the connection) |
| 09:18:16 | × | stilgart quits (~Christoph@chezlefab.net) (Ping timeout: 240 seconds) |
| 09:18:16 | × | hodapp quits (~hodapp@react-ams-119225.antiddos.solutions) (Ping timeout: 240 seconds) |
| 09:18:23 | → | stilgart joins (~Christoph@chezlefab.net) |
| 09:18:25 | → | vnz_ joins (~vnz@2001:bc8:604:94f::1) |
| 09:18:36 | × | quicksilver quits (~jules@roobarb.crazydogs.org) (Ping timeout: 240 seconds) |
| 09:18:37 | × | mawk quits (mawk@serveur.io) (Ping timeout: 240 seconds) |
| 09:18:37 | × | MasseR quits (~MasseR@51.15.143.128) (Ping timeout: 240 seconds) |
| 09:18:37 | MasseR1 | is now known as MasseR |
| 09:18:46 | stilgart | is now known as Guest83406 |
| 09:18:56 | × | vnz quits (~vnz@unaffiliated/vnz) (Ping timeout: 240 seconds) |
| 09:18:56 | × | tristanC quits (~tristanC@unaffiliated/tristanc) (Ping timeout: 240 seconds) |
| 09:18:56 | vnz_ | is now known as vnz |
| 09:18:57 | × | vnz quits (~vnz@2001:bc8:604:94f::1) (Changing host) |
| 09:18:57 | → | vnz joins (~vnz@unaffiliated/vnz) |
| 09:18:58 | → | mawk joins (znc@serveur.io) |
| 09:19:44 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 09:19:49 | → | NGravity joins (csp@gateway/shell/xshellz/x-lfganywjcopmceof) |
| 09:19:56 | → | quicksilver joins (~jules@roobarb.crazydogs.org) |
| 09:20:04 | → | tristanC joins (~tristanC@unaffiliated/tristanc) |
| 09:20:09 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:20:13 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 09:20:23 | → | pie_ joins (~pie_bnc]@unaffiliated/pie-/x-0787662) |
| 09:20:42 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 09:21:30 | → | hodapp joins (~hodapp@react-ams-119225.antiddos.solutions) |
| 09:21:48 | → | Franciman joins (~francesco@host-79-51-37-36.retail.telecomitalia.it) |
| 09:22:49 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 09:25:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 09:25:17 | mouseghost | is now known as desperek |
| 09:25:25 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 09:26:14 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:31:14 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Quit: WeeChat 3.0) |
| 09:39:59 | → | knupfer joins (~Thunderbi@200116b82ca7d1005857bb5007b5f094.dip.versatel-1u1.de) |
| 09:42:40 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 09:43:38 | × | Chousuke quits (oranenj@coffee.modeemi.fi) (Remote host closed the connection) |
| 09:44:10 | → | Chousuke joins (oranenj@coffee.modeemi.fi) |
| 09:47:31 | → | ubert joins (~Thunderbi@p200300ecdf1ee016ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 09:48:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds) |
| 09:50:29 | × | pavonia quits (~user@unaffiliated/siracusa) (Ping timeout: 246 seconds) |
| 09:50:58 | × | mctpyt quits (~mctpyt@unaffiliated/mctpyt) (Quit: WeeChat 3.0) |
| 09:51:25 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:52:04 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 09:56:09 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 09:58:49 | × | Criggie1 quits (~Criggie@195.140.213.38) (Remote host closed the connection) |
| 09:59:35 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 264 seconds) |
| 10:01:36 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 10:02:06 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 10:02:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 10:03:40 | × | hekkaidekapus] quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 10:07:09 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:09:02 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 10:10:09 | desperek | is now known as mouseghost |
| 10:10:32 | × | xff0x quits (~xff0x@2001:1a81:5251:4200:44d:f0de:d3f6:fec0) (Ping timeout: 260 seconds) |
| 10:11:03 | → | xff0x joins (~xff0x@2001:1a81:5251:4200:d9c5:1c22:ae76:9406) |
| 10:11:41 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 10:13:46 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 10:23:43 | → | MarkusH1 joins (~MarkusH@104.254.90.235) |
| 10:26:40 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Ping timeout (120 seconds)) |
| 10:27:31 | × | ADG1089_ quits (~adg1089@223.226.159.22) (Ping timeout: 265 seconds) |
| 10:29:15 | → | son0p joins (~son0p@181.58.39.182) |
| 10:29:52 | → | toast52 joins (97c0a219@151.192.162.25) |
| 10:32:01 | → | ulidtko joins (~ulidtko@193.111.48.79) |
| 10:34:01 | → | ulidtko|k joins (~ulidtko@194.54.80.38) |
| 10:36:45 | × | ulidtko quits (~ulidtko@193.111.48.79) (Ping timeout: 240 seconds) |
| 10:38:01 | → | cgfuh joins (~cgfuh@181.167.191.58) |
| 10:40:01 | → | fendor joins (~fendor@77.119.128.37.wireless.dyn.drei.com) |
| 10:42:39 | → | plutoniix joins (~q@node-urh.pool-125-24.dynamic.totinternet.net) |
| 10:44:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 10:47:14 | → | Nahra joins (~Nahra@unaffiliated/nahra) |
| 10:47:56 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 10:48:02 | × | toast52 quits (97c0a219@151.192.162.25) (Quit: Connection closed) |
| 10:48:11 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:48:19 | Alleria | is now known as Guest77787 |
| 10:48:38 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds) |
| 10:49:21 | × | plutoniix quits (~q@node-urh.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 10:53:49 | × | ixaxaar quits (~ixaxaar@49.207.210.215) (Ping timeout: 256 seconds) |
| 10:54:20 | × | carldd1 quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 10:54:50 | → | carldd1 joins (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 10:57:12 | → | Ayo joins (~quassel@82.177.83.189) |
| 10:58:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 10:58:27 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 11:01:54 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 11:03:41 | → | ixaxaar joins (~ixaxaar@49.207.210.215) |
| 11:04:56 | × | MarkusH1 quits (~MarkusH@104.254.90.235) (Ping timeout: 240 seconds) |
| 11:08:49 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 11:11:35 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 11:16:07 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer) |
| 11:20:39 | → | sankarshan1 joins (~sankarsha@185.163.110.126) |
| 11:22:09 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 11:25:28 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 11:25:55 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 11:26:10 | → | tatooine-sunset joins (~botond@94-21-74-214.pool.digikabel.hu) |
| 11:27:19 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 11:28:41 | → | madjestic joins (~madjestic@86-88-72-244.fixed.kpn.net) |
| 11:35:13 | × | knupfer quits (~Thunderbi@200116b82ca7d1005857bb5007b5f094.dip.versatel-1u1.de) (Remote host closed the connection) |
| 11:35:26 | → | knupfer joins (~Thunderbi@200116b82ca7d10041dc4183956ef5af.dip.versatel-1u1.de) |
| 11:38:33 | → | Tops2 joins (~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) |
| 11:39:32 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 11:43:58 | → | shatriff joins (~vitaliish@176-52-216-242.irishtelecom.com) |
| 11:43:58 | × | shatriff_ quits (~vitaliish@176-52-216-242.irishtelecom.com) (Read error: Connection reset by peer) |
| 11:44:02 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 11:44:14 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:3112:8fda:7030:5959) |
| 11:44:37 | hackage | hedis 0.14.1 - Client library for the Redis datastore: supports full command set,pipelining. https://hackage.haskell.org/package/hedis-0.14.1 (k_bx) |
| 11:44:47 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 11:48:31 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 11:49:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds) |
| 11:54:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:54:48 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 11:57:28 | <Feuermagier> | At the introduction of a section I'd like to have a short, annotated list of topics in the section. I'd like to link these to their corresponding subsections. |
| 11:58:04 | <__monty__> | Sounds like a TOC? |
| 11:58:42 | <merijn> | Context? |
| 11:59:17 | <Feuermagier> | __monty__, yeah, like a TOC, but with different titles |
| 11:59:22 | → | jedws joins (~jedws@121.209.139.157) |
| 11:59:51 | <Feuermagier> | oh, this isn't the latex channel, sry! |
| 12:01:18 | × | madjestic quits (~madjestic@86-88-72-244.fixed.kpn.net) (Remote host closed the connection) |
| 12:01:24 | <Uniaika> | :') |
| 12:01:36 | <Uniaika> | Feuermagier: note that you can make a TOC in your Haddocks for LaTeX :P |
| 12:01:50 | <hc> | well haskell is probably a superset of latex, but still the latex channel might know more ;p |
| 12:02:11 | <Gurkenglas> | Are lens libraries really the best way to get (a -> b) -> (a, c) -> (b, c) these days? :I |
| 12:02:44 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 265 seconds) |
| 12:03:06 | → | royal_screwup21 joins (d5cdc66b@gateway/web/cgi-irc/kiwiirc.com/ip.213.205.198.107) |
| 12:04:11 | → | nly joins (~user@unaffiliated/nly) |
| 12:04:22 | <Uniaika> | Gurkenglas: this awfully looks like using first on a bifunctor |
| 12:04:23 | <merijn> | That's just first from Bifunctor |
| 12:04:25 | <merijn> | :t first |
| 12:04:26 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 12:04:29 | <Uniaika> | merijn: raced! hahaha |
| 12:04:31 | <merijn> | hmm, wrong one |
| 12:04:37 | <Uniaika> | :t Data.Bifunctor.first |
| 12:04:38 | <lambdabot> | Bifunctor p => (a -> b) -> p a c -> p b c |
| 12:04:39 | <nly> | how do i print http Request headers? |
| 12:04:48 | <Uniaika> | nly: which library are you using? |
| 12:05:01 | <nly> | Network.Http.Client |
| 12:06:20 | <nly> | ah it's http-streams |
| 12:08:14 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds) |
| 12:09:01 | × | mirrorbird_ quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Remote host closed the connection) |
| 12:09:16 | → | mirrorbird_ joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 12:09:21 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 12:10:14 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 12:10:47 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 12:10:53 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 12:10:57 | <dminuoso> | Is there something like monad-logger that runs over arbitrary logging content? Ideally I want to push prettyprinter `Doc T` into the logger |
| 12:11:14 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 256 seconds) |
| 12:11:39 | <nly> | Uniaika: https://hackage.haskell.org/package/http-streams |
| 12:11:58 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 12:14:07 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 12:14:45 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 12:16:08 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:17:41 | × | shatriff quits (~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection) |
| 12:18:26 | <nly> | Uniaika: i'm open to using other libraries if this one sucks |
| 12:18:30 | × | ADG1089 quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 12:19:15 | → | fendor_ joins (~fendor@178.165.129.118.wireless.dyn.drei.com) |
| 12:21:39 | × | fendor quits (~fendor@77.119.128.37.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 12:24:00 | × | cole-h_ quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 12:24:14 | → | fendor joins (~fendor@178.165.128.44.wireless.dyn.drei.com) |
| 12:25:31 | × | sankarshan1 quits (~sankarsha@185.163.110.126) (Remote host closed the connection) |
| 12:25:59 | × | fendor_ quits (~fendor@178.165.129.118.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 12:29:04 | → | ADG1089_ joins (~adg1089@171.76.179.61) |
| 12:29:44 | <idnar> | merijn: the Arrow ver also works ;) |
| 12:33:06 | → | acidjnk_new joins (~acidjnk@p200300d0c704e73684c8f29efc47d454.dip0.t-ipconnect.de) |
| 12:34:04 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 12:34:49 | → | jazzboi joins (bc00325d@188.0.50.93) |
| 12:36:21 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 12:42:56 | × | royal_screwup21 quits (d5cdc66b@gateway/web/cgi-irc/kiwiirc.com/ip.213.205.198.107) (Quit: Connection closed) |
| 12:43:36 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:44:23 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:45:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 12:45:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 12:46:30 | → | orion`1 joins (~orion`@195.140.213.38) |
| 12:50:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 260 seconds) |
| 12:51:07 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 12:52:16 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 12:52:23 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Client Quit) |
| 12:52:44 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 12:54:15 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 12:55:16 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:55:54 | × | LKoen quits (~LKoen@16.175.9.109.rev.sfr.net) (Remote host closed the connection) |
| 12:56:27 | → | boxscape joins (86ab2d91@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.145) |
| 12:57:30 | <tatooine-sunset> | hi! i'm learning haskell and read that you shouldn't put an equals sign after your function signature if you use guards and i'm trying to understand why. if no equals sign is needed, that would mean that those guards are special syntax and not an expression (am I right about that?). why? i tried searching online but i couldn't find the explanation |
| 12:57:51 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 12:58:06 | <boxscape> | tatooine-sunset guards are indeed special syntax. You still use an equals sign in that case, it just appears after the guard(s) |
| 12:58:12 | <Uniaika> | yup' |
| 12:58:31 | <boxscape> | for example, `f x = x + x` vs `f x | x < 0 = x + x` |
| 12:58:39 | hackage | SJW 0.1.2.3 - The Simple Javascript Wrench https://hackage.haskell.org/package/SJW-0.1.2.3 (tissevert) |
| 12:58:39 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:59:14 | <boxscape> | (this function would throw an error if x were larger or equal to 0) |
| 12:59:38 | hackage | hablo 1.1.0.1 - A minimalist static blog generator https://hackage.haskell.org/package/hablo-1.1.0.1 (tissevert) |
| 13:00:03 | → | Tario joins (~Tario@201.192.165.173) |
| 13:00:53 | <tatooine-sunset> | ok, i think i'm starting to understand, so they are like pattern matching in that you can define what your function returns for different cases |
| 13:01:06 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 13:01:24 | <ski> | tatooine-sunset : you shouldn't put them (equals sign) (directly) after the *signature*, period |
| 13:01:27 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 13:01:58 | <tatooine-sunset> | there's a pattern matching expression in f#, i think that's why it's so confusing to me |
| 13:02:09 | <ski> | `f :: Integer -> Integer' is the (type) signature. `f x = x + x' is the defining equation |
| 13:02:12 | <boxscape> | tatooine-sunset yes, they are often used together with pattern matching - pattern matching is used to choose behavior based on the structure of a value, guards are used to choose behavior according to arbitrary conditions |
| 13:02:43 | <ski> | tatooine-sunset : which pattern-matching expression do you have in mind ? |
| 13:03:47 | <tatooine-sunset> | ski this: match list with | head :: tail -> (something) | [] -> (something else) |
| 13:04:09 | <tatooine-sunset> | and i think you can also use boolean conditions in the match branches |
| 13:04:20 | <ski> | in Haskell, that's `case list of head:tail -> (something); [] -> (something else)' |
| 13:04:21 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 13:04:25 | <tatooine-sunset> | oh |
| 13:04:31 | <tatooine-sunset> | so there is an expression too |
| 13:04:34 | <ski> | yes |
| 13:04:38 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 13:05:00 | <ski> | and yes, you can also use guards with `case'-`of' |
| 13:05:31 | <ski> | (the `;' is optional, if you align the branches, on different lines) |
| 13:05:46 | <tatooine-sunset> | great, thanks! |
| 13:09:14 | → | boxscape11 joins (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) |
| 13:10:58 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 13:12:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:12:39 | × | boxscape quits (86ab2d91@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.45.145) (Ping timeout: 256 seconds) |
| 13:13:17 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-rflhzmsouqcfptym) |
| 13:13:39 | hackage | rz-pipe 0.1.0 - Pipe interface for Rizin https://hackage.haskell.org/package/rz-pipe-0.1.0 (FlorianMaerkl) |
| 13:14:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 13:15:30 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-0132-7991-54fc-9d8c.res6.spectrum.com) (Ping timeout: 244 seconds) |
| 13:16:32 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-4026-a9ff-e6dc-fee9.res6.spectrum.com) |
| 13:16:38 | <aveltras> | for those running haskell language server with emacs. has anyone encountered a problem where lsp-ui reports a possible code action (via hlint i guess) but when trying to apply it (via lsp-ui-sideline-apply-code-actions), emacs reports "No code actions on the current line" ? |
| 13:17:53 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 13:18:01 | × | ADG1089_ quits (~adg1089@171.76.179.61) (Read error: Connection reset by peer) |
| 13:18:02 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 13:18:24 | → | ADG1089_ joins (~adg1089@223.226.159.22) |
| 13:20:49 | × | adeene quits (~adeene@181.131.0.191) (Remote host closed the connection) |
| 13:20:53 | × | tsaka__ quits (~torstein@athedsl-316921.home.otenet.gr) (Ping timeout: 256 seconds) |
| 13:21:12 | → | adeene joins (~adeene@181.131.0.191) |
| 13:21:36 | × | adeene quits (~adeene@181.131.0.191) (Read error: Connection reset by peer) |
| 13:22:12 | → | adeene joins (~adeene@181.131.0.191) |
| 13:22:19 | × | tatooine-sunset quits (~botond@94-21-74-214.pool.digikabel.hu) (Quit: leaving) |
| 13:28:08 | × | djanatyn_ quits (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) (Disconnected by services) |
| 13:29:05 | × | jazzboi quits (bc00325d@188.0.50.93) (Ping timeout: 248 seconds) |
| 13:29:32 | → | djanatyn_ joins (~djanatyn@ec2-18-209-155-56.compute-1.amazonaws.com) |
| 13:30:28 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz) |
| 13:35:03 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 13:35:31 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 13:37:26 | × | adeene quits (~adeene@181.131.0.191) (Remote host closed the connection) |
| 13:37:46 | → | adeene joins (~adeene@181.131.0.191) |
| 13:37:57 | → | jazzboi joins (bc0030ac@mwg2.mil.ee) |
| 13:42:34 | <idnar> | aveltras: are you sure it's an action not a warning? |
| 13:43:39 | <aveltras> | idnar: how to differentiate those ? it is "Use newtype instead of data". As i remember it, it used to be a code action |
| 13:43:55 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 13:44:42 | <cnmne[m]> | aveltras: the only action that works for me is making imports explicit |
| 13:44:44 | <cnmne[m]> | that I've noticed |
| 13:45:33 | <cnmne[m]> | I'm in the middle of refactoring a lot of config, so wasn't sure it was me or lsp :p |
| 13:46:03 | <idnar> | aveltras: hlint actions look like "Apply hint: …" |
| 13:46:11 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 13:47:05 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz) |
| 13:48:12 | <idnar> | aveltras: https://usercontent.irccloud-cdn.com/file/8fbjhY2t/image.png |
| 13:48:57 | <aveltras> | idnar: do i have to do anything special to get hlint hints from lsp ? |
| 13:49:59 | <aveltras> | huh, seems using "f x = id x" provides some hlint hints in fact |
| 13:50:26 | <aveltras> | might just be that the newtype hint is not actionable in the end |
| 13:51:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Ping timeout: 264 seconds) |
| 13:51:02 | <idnar> | aveltras: not all hints have a suggested refactoring, but if "Use newtype instead of data" used to it may be a bug |
| 13:51:21 | <aveltras> | not sure of it either |
| 13:51:37 | hackage | servant-serf 0.1.0 - Generates a servant API module https://hackage.haskell.org/package/servant-serf-0.1.0 (goolord) |
| 13:51:50 | <aveltras> | anyway, thanks for your help here |
| 13:52:25 | <__monty__> | If actions are every automatically applied maybe they wanted to avoid changing semantics? |
| 13:52:49 | <idnar> | fwiw https://usercontent.irccloud-cdn.com/file/0FdBwlab/image.png |
| 13:53:14 | × | ADG1089_ quits (~adg1089@223.226.159.22) (Ping timeout: 256 seconds) |
| 14:00:53 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 14:03:47 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 14:03:54 | × | jazzboi quits (bc0030ac@mwg2.mil.ee) (Quit: Ping timeout (120 seconds)) |
| 14:04:09 | → | hyperisco joins (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 14:04:45 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds)) |
| 14:05:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:05:27 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 14:06:01 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 14:06:05 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 14:06:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:06:20 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-tnfdepzslbdobstg) |
| 14:06:28 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 14:07:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:07:29 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 14:08:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:08:30 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 14:09:42 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:12:05 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:12:16 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 14:12:29 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 14:13:14 | × | knupfer quits (~Thunderbi@200116b82ca7d10041dc4183956ef5af.dip.versatel-1u1.de) (Quit: knupfer) |
| 14:13:21 | → | knupfer joins (~Thunderbi@200116b82ca7d100647d5a7ae01ad670.dip.versatel-1u1.de) |
| 14:13:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Client Quit) |
| 14:14:58 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 14:15:45 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 14:16:00 | → | poscat joins (~poscat@221.217.131.44) |
| 14:16:03 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 14:16:08 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 14:16:21 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 14:17:56 | × | poscat quits (~poscat@221.217.131.44) (Client Quit) |
| 14:18:04 | → | ystael joins (~ystael@209.6.50.55) |
| 14:18:17 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 14:18:23 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 256 seconds) |
| 14:19:08 | hackage | hasbolt 0.1.4.4 - Haskell driver for Neo4j 3+ (BOLT protocol) https://hackage.haskell.org/package/hasbolt-0.1.4.4 (zmactep) |
| 14:19:53 | → | poscat joins (~poscat@221.217.131.44) |
| 14:19:55 | × | NieDzejkob quits (~quassel@188.123.215.55) (Read error: Connection reset by peer) |
| 14:20:30 | → | NieDzejkob joins (~quassel@188.123.215.55) |
| 14:25:33 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 14:26:50 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 14:27:40 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 14:27:44 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 14:29:37 | hackage | servant-static-th 1.0.0.0 - Embed a directory of static files in your Servant server https://hackage.haskell.org/package/servant-static-th-1.0.0.0 (cdepillabout) |
| 14:30:09 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 14:31:56 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 14:33:45 | → | Kaivo joins (~Kaivo@104-200-86-99.mc.derytele.com) |
| 14:37:25 | → | ADG1089_ joins (~adg1089@223.226.159.22) |
| 14:40:17 | × | ADG1089_ quits (~adg1089@223.226.159.22) (Read error: Connection reset by peer) |
| 14:40:23 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 264 seconds) |
| 14:40:23 | × | darjeeling_ quits (~darjeelin@122.245.218.239) (Ping timeout: 264 seconds) |
| 14:40:38 | × | cods quits (~fred@tuxee.net) (Changing host) |
| 14:40:38 | → | cods joins (~fred@unaffiliated/cods) |
| 14:42:13 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 14:42:42 | → | raym joins (~ray@45.64.220.99) |
| 14:45:43 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 14:47:34 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 14:48:34 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 14:49:25 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 14:51:56 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 14:52:17 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 14:53:15 | → | darjeeling_ joins (~darjeelin@122.245.209.184) |
| 14:54:47 | × | jespada_ quits (~jespada@90.254.241.81) (Ping timeout: 264 seconds) |
| 14:56:42 | → | jespada joins (~jespada@90.254.241.81) |
| 14:56:56 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 14:57:13 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 15:01:18 | → | plutoniix joins (~q@node-urh.pool-125-24.dynamic.totinternet.net) |
| 15:01:27 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Quit: ZNC - http://znc.in) |
| 15:02:07 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 15:06:22 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 15:06:35 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 15:07:22 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 15:07:43 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 15:08:17 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:09:07 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
| 15:09:26 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 15:10:53 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 15:10:56 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 240 seconds) |
| 15:12:11 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 264 seconds) |
| 15:12:38 | <dminuoso> | In constraints I almost always want to use the triplet `(Foo i, Bar i, Quux i) => ...` - what can I do to avoid repeating myself? |
| 15:13:01 | → | pera joins (~pera@unaffiliated/pera) |
| 15:13:02 | <dminuoso> | a tyfam to Constraint? |
| 15:14:10 | <ski> | synonym ? |
| 15:14:36 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 15:14:45 | <dminuoso> | Mmm. What would that look like? |
| 15:15:31 | <dminuoso> | ski: Oh wow! Just a type alias works? |
| 15:15:37 | <dminuoso> | I did not think of this |
| 15:15:39 | <ski> | type FooBarQuux i = (Foo i,Bar i,Quux i) |
| 15:15:51 | <dminuoso> | Nifty, thanks. |
| 15:15:55 | <ski> | no need for a family here |
| 15:15:59 | × | phasespace_ quits (~sar@80-89-47-117.inet.signal.no) (Ping timeout: 246 seconds) |
| 15:16:28 | <merijn> | I think you need ConstraintKinds for that, though |
| 15:16:32 | <ski> | yes |
| 15:17:18 | <dminuoso> | Ah okay, that explains why I didnt consider aliases. |
| 15:17:25 | <dminuoso> | Dont mind extensions at all. |
| 15:17:30 | <dminuoso> | Have half of them turned on anyway |
| 15:17:44 | × | jneira quits (501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 246 seconds) |
| 15:19:03 | → | cheater joins (~user@unaffiliated/cheater) |
| 15:19:59 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:21:11 | × | zopsi quits (zopsi@2600:3c00::f03c:91ff:fe14:551f) (Quit: Oops) |
| 15:21:17 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 15:21:41 | → | fangyrn joins (uid481529@gateway/web/irccloud.com/x-xesfsqwuqeiwgrpr) |
| 15:28:09 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 15:29:36 | → | phasespace_ joins (~sar@89-162-33-21.fiber.signal.no) |
| 15:29:58 | × | tabaqui quits (~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 3.1-dev) |
| 15:30:12 | → | tabaqui joins (~tabaqui@2604:a880:800:c1::21b:3001) |
| 15:31:23 | × | lawid quits (~quassel@dslb-090-186-099-131.090.186.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 15:32:11 | → | lawid joins (~quassel@dslb-090-186-171-072.090.186.pools.vodafone-ip.de) |
| 15:34:13 | × | tabaqui quits (~tabaqui@2604:a880:800:c1::21b:3001) (Client Quit) |
| 15:34:24 | → | tabaqui joins (~tabaqui@2604:a880:800:c1::21b:3001) |
| 15:36:01 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 15:36:56 | × | jameekim1 quits (~jameekim@mx.nodaplife.me) (Ping timeout: 240 seconds) |
| 15:37:17 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 15:37:26 | → | jameekim1 joins (~jameekim@mx.nodaplife.me) |
| 15:39:43 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 15:39:54 | → | djbeau joins (~dbeaureg@148.87.23.13) |
| 15:41:16 | → | ep1ctetus joins (~epictetus@ip184-187-162-163.sb.sd.cox.net) |
| 15:41:47 | ← | nly parts (~user@unaffiliated/nly) ("ERC (IRC client for Emacs 27.1)") |
| 15:44:14 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 15:44:18 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 15:44:47 | → | jazzboi joins (bc0030ac@mwg2.mil.ee) |
| 15:45:37 | hackage | friendly 0.1.0.3 - Attempt to pretty-print any input https://hackage.haskell.org/package/friendly-0.1.0.3 (EdskoDeVries) |
| 15:46:04 | → | Guest_19 joins (5ae7f7c8@90-231-247-200-no528.tbcn.telia.com) |
| 15:46:27 | × | Guest_19 quits (5ae7f7c8@90-231-247-200-no528.tbcn.telia.com) (Client Quit) |
| 15:47:07 | hackage | ghc-datasize 0.2.3 - Determine the size of data structures in GHC's memory https://hackage.haskell.org/package/ghc-datasize-0.2.3 (DennisFelsing) |
| 15:47:12 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 15:49:35 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 15:52:06 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 15:52:23 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0) |
| 15:55:40 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 15:55:52 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 15:58:52 | → | vpidurr joins (~jmdurr@ool-182e0115.dyn.optonline.net) |
| 16:04:56 | → | conal joins (~conal@64.71.133.70) |
| 16:04:59 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 16:06:38 | → | LKoen joins (~LKoen@16.175.9.109.rev.sfr.net) |
| 16:07:43 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 16:08:55 | × | tabaqui quits (~tabaqui@2604:a880:800:c1::21b:3001) (Quit: WeeChat 3.1-dev) |
| 16:13:59 | <idnar> | @type \f -> fmap (fmap f .) |
| 16:14:01 | <lambdabot> | (Functor f1, Functor f2) => (a1 -> b) -> f1 (a2 -> f2 a1) -> f1 (a2 -> f2 b) |
| 16:14:09 | × | sword865 quits (uid208942@gateway/web/irccloud.com/x-knjuaxqfvgvongbx) (Quit: Connection closed for inactivity) |
| 16:14:49 | <idnar> | @hoogle (Functor f1, Functor f2) => (a1 -> b) -> f1 (a2 -> f2 a1) -> f1 (a2 -> f2 b) |
| 16:14:50 | <lambdabot> | No results found |
| 16:14:54 | × | knupfer quits (~Thunderbi@200116b82ca7d100647d5a7ae01ad670.dip.versatel-1u1.de) (Remote host closed the connection) |
| 16:15:03 | → | knupfer joins (~Thunderbi@200116b82ca7d1001902cef150325763.dip.versatel-1u1.de) |
| 16:15:16 | → | ubert1 joins (~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de) |
| 16:15:28 | <idnar> | @hoogle (Functor f2) => (a1 -> b) -> [a2 -> f2 a1] -> [a2 -> f2 b] |
| 16:15:29 | <lambdabot> | No results found |
| 16:15:42 | × | ubert quits (~Thunderbi@p200300ecdf1ee016ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:15:42 | ubert1 | is now known as ubert |
| 16:16:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:17:56 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 16:18:35 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 16:19:07 | → | frdg joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 16:20:37 | ← | frdg parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 16:22:21 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 16:22:21 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 16:22:21 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 16:23:39 | → | urodna_ joins (~urodna@unaffiliated/urodna) |
| 16:24:27 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-tnfdepzslbdobstg) (Quit: Connection closed for inactivity) |
| 16:25:07 | hackage | sequence-formats 1.5.2 - A package with basic parsing utilities for several Bioinformatic data formats. https://hackage.haskell.org/package/sequence-formats-1.5.2 (stephan_schiffels) |
| 16:26:03 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 16:26:27 | × | urodna quits (~urodna@unaffiliated/urodna) (Ping timeout: 256 seconds) |
| 16:27:19 | <ph88> | how can i index with hoogle stackage + a bunch of private git repositories ? |
| 16:29:35 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 16:32:51 | → | ADG1089_ joins (~adg1089@223.226.159.22) |
| 16:35:08 | hackage | unliftio-messagebox 1.0.0 - Fast and robust message queues for concurrent processes https://hackage.haskell.org/package/unliftio-messagebox-1.0.0 (SvenHeyll) |
| 16:38:02 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 16:39:06 | → | nineonine joins (~nineonine@50.216.62.2) |
| 16:40:59 | × | lawid quits (~quassel@dslb-090-186-171-072.090.186.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 16:41:34 | → | lawid joins (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) |
| 16:42:55 | → | Tops21 joins (~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) |
| 16:42:55 | × | lawid quits (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 16:43:01 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-rflhzmsouqcfptym) (Quit: Connection closed for inactivity) |
| 16:43:08 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 16:43:53 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 16:44:01 | → | lawid joins (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) |
| 16:46:22 | × | LKoen quits (~LKoen@16.175.9.109.rev.sfr.net) (Remote host closed the connection) |
| 16:46:56 | × | Tops2 quits (~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) (Ping timeout: 265 seconds) |
| 16:49:28 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 16:51:57 | × | Tops21 quits (~Tobias@dyndsl-095-033-027-217.ewe-ip-backbone.de) (Ping timeout: 256 seconds) |
| 16:53:02 | × | acidjnk_new quits (~acidjnk@p200300d0c704e73684c8f29efc47d454.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:53:21 | → | frdg joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 16:53:29 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 16:53:38 | ← | frdg parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) () |
| 16:53:39 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-zlhfnqvdgfnqyptw) |
| 16:53:46 | → | Tops2 joins (~Tobias@dyndsl-095-033-093-030.ewe-ip-backbone.de) |
| 16:54:47 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 264 seconds) |
| 16:54:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:54:51 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 16:54:51 | xirhtogal | is now known as lagothrix |
| 16:55:39 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 16:55:41 | → | mark` joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 16:55:44 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 16:56:21 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:57:51 | <mark`> | I cannot figure out the package name to specify in my cabal file so I can import Network.HTTP. It maybe looks like it is called http-4000 but that does not work. This is the package I mean: https://hackage.haskell.org/package/HTTP-4000.3.15/docs/Network-HTTP.html |
| 16:58:27 | <merijn> | mark`: 4000 is the version, not the name |
| 16:59:11 | <merijn> | mark`: Also might wanna consider using http-client instead |
| 16:59:11 | <mark`> | merijn: I have tried to use just `http` but stack says it can't find it. Let me get an example |
| 16:59:41 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 16:59:44 | <merijn> | mark`: Stack does not include all of hackage |
| 17:00:31 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 17:01:12 | <mmaruseacph2> | you can add additional packages to stack.yaml |
| 17:02:51 | <mark`> | https://pastebin.com/M7TZUihC |
| 17:03:16 | <mark`> | oh I will try stack.yaml |
| 17:04:58 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 17:04:59 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 17:05:58 | ← | mark` parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)") |
| 17:06:01 | → | Tario joins (~Tario@201.192.165.173) |
| 17:06:46 | <sm[m]> | @freenode_mark`:matrix.org: that package's name is HTTP |
| 17:06:46 | <lambdabot> | Unknown command, try @list |
| 17:09:22 | × | knupfer quits (~Thunderbi@200116b82ca7d1001902cef150325763.dip.versatel-1u1.de) (Quit: knupfer) |
| 17:09:30 | → | knupfer joins (~Thunderbi@200116b82ca7d10074d9cdfffe563971.dip.versatel-1u1.de) |
| 17:09:31 | × | knupfer quits (~Thunderbi@200116b82ca7d10074d9cdfffe563971.dip.versatel-1u1.de) (Client Quit) |
| 17:09:48 | → | knupfer joins (~Thunderbi@87.123.206.59) |
| 17:09:56 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 17:10:04 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 17:10:22 | × | ADG1089_ quits (~adg1089@223.226.159.22) (Read error: Connection reset by peer) |
| 17:11:44 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 17:12:13 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 17:13:03 | × | plutoniix quits (~q@node-urh.pool-125-24.dynamic.totinternet.net) (Remote host closed the connection) |
| 17:13:39 | → | conal joins (~conal@64.71.133.70) |
| 17:15:27 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 17:17:02 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 17:19:29 | × | boxscape11 quits (4ff0ba59@gateway/web/cgi-irc/kiwiirc.com/ip.79.240.186.89) (Quit: Connection closed) |
| 17:19:36 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 17:19:41 | → | ADG1089__ joins (~aditya@223.226.159.22) |
| 17:21:39 | × | jazzboi quits (bc0030ac@mwg2.mil.ee) (Quit: Connection closed) |
| 17:22:20 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 17:23:23 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 17:23:41 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 17:25:36 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 17:26:54 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 17:27:08 | → | cheater joins (~user@unaffiliated/cheater) |
| 17:31:37 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 17:34:54 | × | AWizzArd quits (~code@gehrels.uberspace.de) (Changing host) |
| 17:34:54 | → | AWizzArd joins (~code@unaffiliated/awizzard) |
| 17:35:01 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 17:35:36 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:37:04 | × | Benzi-Junior quits (~BenziJuni@88-149-65-135.du.xdsl.is) (Quit: gone) |
| 17:37:41 | → | frdg joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 17:38:07 | → | milli joins (~milli@charon.acmeps.com) |
| 17:39:16 | <frdg> | Am I correct to say that once forkIO is called the first time, immediately then the next forkIO expression is evaluated, regardless of if the first forkIO is finished? http://dpaste.com/BYEEUNLGF |
| 17:40:54 | <frdg> | if so then forkIO must somehow immediately signal that it has finished being evaluated. |
| 17:41:16 | <monochrom> | I could just answer "yes" but I think it's more educational to guide you on how you could use good experiments to find out. |
| 17:41:18 | <geekosaur> | er, you do understand the concept of multiple threads, right? |
| 17:41:25 | × | jameekim1 quits (~jameekim@mx.nodaplife.me) (Ping timeout: 240 seconds) |
| 17:41:38 | <monochrom> | Now, "getURL" involves too many moving parts, so a bad experiment. |
| 17:41:42 | <geekosaur> | forkIO doesn't need to signal anything, it creates a new thread which runs independently of other threads including the main thread |
| 17:41:55 | <geekosaur> | you do signaling there with putMVar and takeMVar |
| 17:42:37 | <monochrom> | But if you replace it with a loop that prints a message every second or something, and never ends, you can make observations that tell you "yes you have perfect concurrency". |
| 17:43:40 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 17:44:20 | × | milli quits (~milli@charon.acmeps.com) (Read error: Connection reset by peer) |
| 17:44:43 | × | mrchampion quits (~mrchampio@38.18.109.23) (Read error: No route to host) |
| 17:44:44 | <frdg> | ok Ill try this to recreate this with print statements |
| 17:45:33 | <hpc> | frdg: you'll want to add some threadDelay statements as well |
| 17:45:33 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 17:45:47 | <hpc> | to really see how timing is affected |
| 17:46:00 | <frdg> | ok I have seen those before |
| 17:47:19 | → | GZJ0X__ joins (~gzj@unaffiliated/gzj) |
| 17:47:47 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 17:47:49 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 17:48:25 | → | Tario joins (~Tario@201.192.165.173) |
| 17:48:43 | × | asheshambasta quits (~user@ptr-e1lysaumlluc4k1o7mn.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 17:49:22 | ← | frdg parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)") |
| 17:51:38 | <ezzieyguywuf> | does anyone know (or can guess) if this issue may be due to the change in aeson-1.5.0.0 where unescaped control characters are no longer allowed? https://github.com/haskell/hackage-security/issues/247 |
| 17:51:43 | <ezzieyguywuf> | and if so any suggestions how to resolve it? |
| 17:52:01 | × | GZJ0X__ quits (~gzj@unaffiliated/gzj) (Ping timeout: 256 seconds) |
| 17:53:07 | hackage | unliftio-messagebox 1.0.2 - Fast and robust message queues for concurrent processes https://hackage.haskell.org/package/unliftio-messagebox-1.0.2 (SvenHeyll) |
| 17:53:21 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 17:53:41 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 17:54:19 | <geekosaur> | have you tried backing off just aeson to see if it'll pass in that case? |
| 17:54:38 | <geekosaur> | that said, it seems likely given \SI is a control character |
| 17:55:04 | <geekosaur> | > ord '\SI' |
| 17:55:06 | <lambdabot> | 15 |
| 17:56:32 | → | Benzi-Junior joins (~BenziJuni@88-149-65-135.du.xdsl.is) |
| 17:57:58 | <ezzieyguywuf> | geekosaur: I have not |
| 17:58:18 | <ezzieyguywuf> | but I'd rather patch hackage-security if needed to make it work with the newer aeson |
| 17:58:24 | <ezzieyguywuf> | but I can't make sense of their tests , lol |
| 17:59:06 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds)) |
| 17:59:50 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 18:00:54 | × | mirrorbird_ quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 18:06:45 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 240 seconds) |
| 18:10:02 | × | coeus quits (~coeus@p200300d0271a71003f6e8216a2f68215.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 18:10:25 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 18:12:18 | × | pjb quits (~t@2a01cb04063ec5001d96a6f28d2d22b9.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 18:13:26 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 18:16:11 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:20:48 | × | ADG1089__ quits (~aditya@223.226.159.22) (Remote host closed the connection) |
| 18:20:49 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 18:20:59 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 18:21:58 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 18:22:48 | → | coeus joins (~coeus@p200300d027207100f750366e91cac75d.dip0.t-ipconnect.de) |
| 18:23:18 | × | kuribas quits (~user@ptr-25vy0i9zig70h8qbxzi.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 18:27:55 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 18:32:05 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 18:34:59 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-tobxwiwsbuagpqwc) (Quit: Connection closed for inactivity) |
| 18:35:05 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 256 seconds) |
| 18:36:45 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 18:37:05 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 256 seconds) |
| 18:40:50 | × | xff0x quits (~xff0x@2001:1a81:5251:4200:d9c5:1c22:ae76:9406) (Ping timeout: 264 seconds) |
| 18:41:20 | → | xff0x joins (~xff0x@2001:1a81:5251:4200:6e34:36aa:4649:7f99) |
| 18:41:50 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 18:42:09 | × | geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 18:42:39 | <merijn> | What can't you make sense off? |
| 18:42:47 | → | pjb joins (~t@2a01cb04063ec500ada756ee9c7d381c.ipv6.abo.wanadoo.fr) |
| 18:43:30 | <ezzieyguywuf> | merijn: I've figured it out. |
| 18:43:35 | <merijn> | tbh, that looks like a bug/change in aeson |
| 18:43:50 | <ezzieyguywuf> | still can't determine if it's a aeson or hackage-security thing though. |
| 18:44:02 | <ezzieyguywuf> | aeson explicitly said "you can't provide non-escaped characters any more" |
| 18:44:33 | <ezzieyguywuf> | I tried manually escaping it in the hackage-security tests to no avail, suggesting that maybe the hackag-security renderCanonicalJSON is to blame, but the docs there suggest that they actually escape things |
| 18:45:51 | <ezzieyguywuf> | this is my patch if you want to follow along, pretty trivial (and somewhat hackey...) https://dpaste.com/HHNJNAN2K |
| 18:48:25 | <merijn> | hackage-security on hackage already supports aeson 1.5 with the latest revision |
| 18:49:03 | <ezzieyguywuf> | merijn: does it? |
| 18:50:02 | <merijn> | https://hackage.haskell.org/package/hackage-security-0.6.0.1/revisions/ |
| 18:50:14 | <ezzieyguywuf> | those revisions just modify the cabal file from what I can tell |
| 18:50:26 | <merijn> | ezzieyguywuf: Well it's green in the hackage ci |
| 18:50:29 | <ezzieyguywuf> | hrm |
| 18:50:34 | <ezzieyguywuf> | let me try cabal unpack |
| 18:50:36 | <merijn> | Which means it builds with the latest aeson |
| 18:50:42 | <ezzieyguywuf> | I'm using the hackage-security git right now |
| 18:50:47 | <merijn> | I'm not sure hackage CI runs tests too, though |
| 18:51:02 | <ezzieyguywuf> | it may not, there's actually a hackage-security bug open for this |
| 18:51:06 | <ezzieyguywuf> | I linke it above |
| 18:52:22 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 18:52:43 | <merijn> | Your patch changes the string handling, but that's not the failure |
| 18:53:05 | <merijn> | If you pay attention you see that the character is in the *key* of the object |
| 18:53:41 | <ezzieyguywuf> | merijn: 😍 I've been staring at this too long, or I don't gr0k the output properly |
| 18:53:47 | <ezzieyguywuf> | lemme look at the key stuff then... |
| 18:54:03 | <ezzieyguywuf> | ahhhhhh you're right |
| 18:54:10 | <ezzieyguywuf> | but also I've gotten a failure with JSString |
| 18:54:19 | <merijn> | ezzieyguywuf: The quickcheck tests is generating random objects and comparing aeson and canonicalise are producing the same output |
| 18:54:30 | <ezzieyguywuf> | which does not have a key: JSString "\n" |
| 18:54:35 | <merijn> | The output from the failed test is a counterexample |
| 18:54:44 | <merijn> | i.e. an object where the equality does not hold |
| 18:55:06 | <merijn> | Which means that *something* changed in aeson in a way that broke the equality (since hackage-security hasn't changed) |
| 18:55:06 | <ezzieyguywuf> | merijn: indeed, so if you run it a few times, you should eventually get a failure on a JSString rather than the JSArray or JSObject |
| 18:55:26 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 18:55:58 | <merijn> | ezzieyguywuf: So what you wanna do is take the code on both sides of == and check what they generate for one of those broken inputs and why the results differ |
| 18:56:51 | <merijn> | I don't see any mention of changes in aeson's changelog, so that'd seem like an aeson regression |
| 18:57:00 | <ezzieyguywuf> | merijn: half a step ahead of you, already in ghci |
| 18:57:40 | <ezzieyguywuf> | merijn: thy do mention "Aeson no longer accepts unescaped control characters, thanks to Oleg Grenrus." in 1.5.0.0 |
| 18:58:31 | <ezzieyguywuf> | I've gotten as far as this in ghci, but replicating the RHS is sort of a chore: eitherDecode (renderCanonicalJSON (JSString "\\n")) :: Either String Value |
| 18:58:45 | × | MarcelineVQ quits (~anja@198.254.199.42) (Ping timeout: 240 seconds) |
| 18:58:46 | <ezzieyguywuf> | but if I rerun with a single backslash, I get a Left rather than a Right and I think that's where the issue is |
| 18:59:18 | <geekosaur> | sounds likely, yes |
| 18:59:40 | <ezzieyguywuf> | hm...so the real issue is just that quickcheck doesn't know that |
| 18:59:47 | <ezzieyguywuf> | it doesn't know it has to escape the backslash |
| 19:00:18 | <geekosaur> | it doesn't see the backslash |
| 19:00:26 | <geekosaur> | that's inserted by a Show instance |
| 19:00:38 | <geekosaur> | it's an actual newline (chr 10) |
| 19:00:40 | × | lawid quits (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Quit: lawid) |
| 19:01:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 19:01:11 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 19:01:43 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 19:02:10 | <ezzieyguywuf> | hm, so probably it *is* a real bug in hackage-security then |
| 19:02:31 | <geekosaur> | or just a bug in the test, since QC generating random strings won't avoid control characters |
| 19:02:32 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:02:36 | <merijn> | No, looks more like a bug in the tests |
| 19:02:39 | → | lawid joins (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) |
| 19:02:46 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 19:03:08 | <merijn> | ezzieyguywuf: As in, aeson was fixed to no longer allow control characters, but the check code for the test still allows that |
| 19:03:24 | <ezzieyguywuf> | hmmm |
| 19:03:28 | → | cheater joins (~user@unaffiliated/cheater) |
| 19:03:30 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 19:03:31 | <ezzieyguywuf> | yes you're probably right |
| 19:03:39 | <ezzieyguywuf> | but that's what I was trying to patch in the test |
| 19:03:40 | <merijn> | ezzieyguywuf: So you get inequality because the generated inputs have control sequences, which the left side accepts, but aeson now rejects (and thus fails to parse) |
| 19:03:45 | <ezzieyguywuf> | I guess non-successfully |
| 19:03:54 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 19:04:22 | <ezzieyguywuf> | ah, so I have to "sanitize" the input before passing it to renderCanonicalJSON (which is what ultimately calls aeson I think) |
| 19:05:08 | <merijn> | ezzieyguywuf: Naah |
| 19:05:20 | <merijn> | ezzieyguywuf: What you wanna do is 1 of 2 things |
| 19:05:37 | <merijn> | 1) fix the arbitrary instance to stop generating strings with control sequences inside JSValue |
| 19:05:50 | <ezzieyguywuf> | yes I'll do that |
| 19:05:51 | → | shine44 joins (b753a1ea@183.83.161.234) |
| 19:05:54 | <geekosaur> | I'd be really surprised if an actual JSON key contained a control character |
| 19:06:11 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 264 seconds) |
| 19:06:23 | <merijn> | 2) Keep it as-is and ensure the left side fails if they is a control character |
| 19:06:36 | <geekosaur> | although perhaps I shouldn't be given the kinds of nonsense we see these days |
| 19:07:01 | <merijn> | geekosaur: Let me introduce you to the hell that is "order-dependent JSON" ;) |
| 19:07:15 | × | shine44 quits (b753a1ea@183.83.161.234) (Client Quit) |
| 19:08:05 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 19:08:40 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 19:11:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 19:11:56 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 19:17:07 | hackage | syb 0.7.2.1 - Scrap Your Boilerplate https://hackage.haskell.org/package/syb-0.7.2.1 (SergeyVinokurov) |
| 19:18:11 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds) |
| 19:19:29 | × | geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 19:20:06 | → | pera joins (~pera@unaffiliated/pera) |
| 19:20:11 | → | oliver__ joins (~oliver@pool-72-82-26-21.prvdri.fios.verizon.net) |
| 19:20:17 | oliver__ | is now known as bookshelf__ |
| 19:20:22 | ← | bookshelf__ parts (~oliver@pool-72-82-26-21.prvdri.fios.verizon.net) () |
| 19:20:33 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 19:20:56 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:23:35 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 19:26:56 | <ph88> | is there any way to force stack to install into the global project when im inside an existing project ? |
| 19:28:45 | <ph88> | would like to generate some documentation in the CI and im not sure if its a good idea to install pandoc on the project |
| 19:31:59 | <maerwald> | cd into a temporary directory first |
| 19:32:35 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 19:32:59 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 19:38:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 19:39:33 | <ph88> | oki ill try |
| 19:39:49 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 19:40:02 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 19:42:28 | <ezzieyguywuf> | yup, this fixes it https://dpaste.com/G76DG4K6J |
| 19:42:39 | <ezzieyguywuf> | again, hackey, but proves that the issue is indeed in the test code |
| 19:46:32 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Ping timeout: 246 seconds) |
| 19:47:18 | → | acidjnk_new joins (~acidjnk@p200300d0c704e7363958b77079308a33.dip0.t-ipconnect.de) |
| 19:48:29 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 19:48:45 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 19:49:27 | <ph88> | by the way .... if i do stack install pandoc in my project can that mess up my project in any way ? |
| 19:49:35 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 19:50:45 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 19:52:43 | × | ixaxaar quits (~ixaxaar@49.207.210.215) (Ping timeout: 256 seconds) |
| 19:55:39 | × | mdunnio quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 19:56:53 | → | jameekim1 joins (~jameekim@mx.nodaplife.me) |
| 19:59:27 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 20:01:05 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 272 seconds) |
| 20:02:07 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 20:02:40 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 20:03:00 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 20:03:18 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:03:52 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 20:04:01 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-jsidkumscmhqzcdx) |
| 20:05:40 | → | jneira joins (501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) |
| 20:05:53 | → | seveg joins (~gabriel@188-167-252-202.dynamic.chello.sk) |
| 20:08:26 | <exarkun> | How do I read this? `class Serialize k => StreamCipher k iv | k -> iv where`. I understand `Serialize k` to mean that `k` is a type with an instance of `Serialize`. I don't understand what's going on on the right of the `=>`. What's with the `|` and `->`? |
| 20:08:41 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 20:08:44 | <ski> | it's a functional dependency |
| 20:08:59 | <[exa]> | exarkun: the `StreamCipher k iv` is a normal 2-parameter typeclass |
| 20:09:22 | <[exa]> | the rest behing | says that in various unsure situations, `iv` is completely determined by `k` |
| 20:09:27 | → | Deide joins (~Deide@217.155.19.23) |
| 20:09:46 | <ski> | it says that `k' functionally determines `iv', wrt to `StreamCipher k iv'. that means that for each `k', there can be at most one `iv' with an instance `StreamCipher k iv' |
| 20:10:28 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 20:10:46 | <exarkun> | Aha. Thanks. |
| 20:11:37 | <[exa]> | (anyway I should always watch if ski is answering, I have no chance to compete with the precision. :] "in various unsure situations" would probably be better put as "for various ...") |
| 20:11:52 | <ski> | the effect of having the FD on the type class is : (a) it reduces ambiguity, when you use methods of the type class. when it has inferred `StreamCipher k iv0' and also `StreamCipher k iv1', it now knows that `iv0' and `iv1' must be equal, and so it can unify them, reducing the amount of type variables, and helping pinning down which instance to use for each particular use of a method (or of an overloaded |
| 20:11:58 | <ski> | operation using a method) |
| 20:12:17 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:13:02 | <ski> | and (b), in order to ensure that it's safe for it to force this unification, it disallows you from actually making two (or more) instances for `StreamCipher k iv', with the same `k', but different `iv's |
| 20:13:19 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 20:13:59 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 20:14:32 | <ski> | logically, you can express what the FD says as `forall k. unique iv. StreamCipher k iv' (where `unique' expresses "exists at most one"). another reformulation of that is `forall k iv0 iv1. (StreamCipher k iv0,StreamCipher k iv1) => iv0 = iv1' |
| 20:14:50 | <ski> | exarkun : making any sense ? |
| 20:15:05 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 240 seconds) |
| 20:15:17 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 20:15:17 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 20:15:17 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 20:16:14 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 20:17:15 | <exarkun> | I think I follow the earlier part of the explanation. I don't have a great handle on `forall` yet and I've never seen `unique` before, but at some abstract level it seems to make sense. |
| 20:17:50 | → | jespada joins (~jespada@90.254.241.81) |
| 20:18:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 20:18:07 | ski | nods |
| 20:18:24 | → | conal joins (~conal@64.71.133.70) |
| 20:18:51 | <ski> | `forall k. unique iv. StreamCipher k iv' in words reads as "for all types `k', there is at most on type `iv', such that there is an `StreamCipher k iv' instance" |
| 20:19:17 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 20:20:07 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 20:20:13 | <ski> | `forall k iv0 iv1. (StreamCipher k iv0,StreamCipher k iv1) => iv0 = iv1' reads "for all types `k',`iv0',`iv1' such that there are instances `StreamCipher k iv0' and `StreamCipher k iv1', `iv0' and `iv1' are equal" (so the two instances `StreamCipher k iv0' and `StreamCipher k iv1' must actually be the same instance, not two distinct ones) |
| 20:21:33 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 20:21:50 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 20:21:54 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:22:01 | <ezzieyguywuf> | ph88: I think `stack install pandoc` will install it in `~/.stack` or something. shouldn't really mess up your poject |
| 20:22:07 | → | samlamamma joins (~user@83-92-112-87-cable.dk.customer.tdc.net) |
| 20:22:09 | <ph88> | oki |
| 20:22:15 | <samlamamma> | Reading this: https://en.wikibooks.org/wiki/Haskell/Monad_transformers |
| 20:22:28 | <samlamamma> | Specifically this line: do maybe_value <- runMaybeT x |
| 20:23:56 | <samlamamma> | I really don't get how runMaybeT "unwraps x into an m (Maybe a) computation". How does that work? |
| 20:25:01 | <exarkun> | ski: Thank you |
| 20:25:17 | <ski> | `x' has type `MaybeT m a', and so `runMaybeT x' has type `m (Maybe a)' (since that's how `MaybeT' is defined) |
| 20:25:45 | × | dennis_ quits (~dennisb@89-160-106-195.cust.bredband2.com) (Quit: Leaving) |
| 20:25:48 | <ski> | so, after `maybe_value <- runMaybeT x', `maybe_value' will be a value of type `Maybe a' |
| 20:25:55 | <ski> | exarkun : np |
| 20:27:18 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 20:27:24 | <samlamamma> | Right, runMaybeT is "a slot to MaybeT which holds a m (Maybe a)"? |
| 20:27:33 | <ski> | yes |
| 20:27:39 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:28:24 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 20:28:39 | → | cole-h_ joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 20:28:46 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:28:55 | × | deviantfero quits (~deviantfe@190.150.27.58) (Client Quit) |
| 20:29:16 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 20:29:30 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Quit: WeeChat 2.9) |
| 20:29:37 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 20:30:05 | × | djbeau quits (~dbeaureg@148.87.23.13) (Ping timeout: 240 seconds) |
| 20:30:09 | <dminuoso> | samlamamma: Note that the prefix "run" is only used handwavingly. Here, it it just a field accessor/function that unwraps the newtype wrapper. |
| 20:30:13 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 20:30:43 | <dminuoso> | It doesn't actually "do" anything |
| 20:31:40 | → | atraii joins (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) |
| 20:32:05 | → | djbeau joins (~dbeaureg@148.87.23.11) |
| 20:32:20 | <davean> | exactly true, except for where thats where it is caused to be forced. |
| 20:32:45 | <davean> | (I menat to include an 'often' in there) |
| 20:33:31 | <monochrom> | Sometimes I call it "un" instead of "run". |
| 20:33:41 | <dminuoso> | "get" is also frequently used |
| 20:33:59 | → | _d0t joins (void@gateway/vpn/mullvad/d0t/x-89419360) |
| 20:34:23 | <ski> | and `app' |
| 20:34:52 | <_d0t> | ohai! I'm using stack on nixos and when I run `stack build`, stack tries to pull a new copy of ghc from nixpkgs even though I have this version of ghc (albeit with a different hash) already installed. How can I prevent this? |
| 20:35:21 | <dminuoso> | _d0t: Do you have nix enabled in your stack.yaml? |
| 20:35:28 | <dminuoso> | Oh hold on |
| 20:35:31 | <_d0t> | dminuoso: it is enabled on nixos regardless |
| 20:35:36 | <dminuoso> | _d0t: If its a different hash, its not the same ghc. |
| 20:35:42 | <dminuoso> | That's the entire point of it. |
| 20:35:47 | <maerwald> | system-ghc: true |
| 20:36:11 | <_d0t> | dminuoso: how come? I don't think stackage references an exact nix hash. Am I wrong? |
| 20:36:15 | <geekosaur> | in particular anything binary it gets from the cache won't work |
| 20:36:25 | <_d0t> | maerwald: it's ignored |
| 20:36:45 | <dminuoso> | _d0t: Hard to say, I dont know how the ghc derivation works. |
| 20:36:58 | <dminuoso> | _d0t: But if the hash is different, at least *one* of the inputs to the derivation differs. |
| 20:37:03 | <dminuoso> | Which means it's not the same |
| 20:37:26 | <_d0t> | dminuoso: what do you mean differs? From what? |
| 20:37:39 | <dminuoso> | From your system installed ghc. |
| 20:38:22 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 20:38:32 | <_d0t> | dminuoso: I don't think I understand. Do you mean that my copy of stack, that I also pulled from the same nix cache, was built with a different ghc? |
| 20:38:56 | <davean> | No, the GHC being requested *does not have the same configuration* as the one on your system |
| 20:39:13 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 20:39:22 | <_d0t> | davean: ok, but why does stack care? Isn't the same version of ghc enough? |
| 20:39:25 | → | usr25_tm joins (~usr25@unaffiliated/usr25) |
| 20:39:36 | <geekosaur> | stack is all about caring about that |
| 20:39:50 | → | chele_ joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 20:39:57 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 20:40:00 | → | urodna__ joins (~urodna@pool-108-53-252-14.nwrknj.fios.verizon.net) |
| 20:40:14 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 20:40:15 | <dminuoso> | _d0t: The stack/nix integration will use the exact GHC from nixpkgs that it wants, with the inputs that it wants. |
| 20:40:29 | <dminuoso> | And if stack requests a GHC with different inputs than what your system has installed, that brings in a different GHC. |
| 20:40:49 | <_d0t> | dminuoso: I think I got it. Thank you! |
| 20:41:07 | <_d0t> | I honestly thought it was only about ghc version and nothing else. |
| 20:41:10 | <davean> | This is the exact thing nixos does |
| 20:41:15 | → | poscat1 joins (~poscat@221.217.131.44) |
| 20:41:40 | → | jespada_ joins (~jespada@90.254.241.81) |
| 20:41:45 | → | zopsi_ joins (zopsi@2600:3c00::f03c:91ff:fe14:551f) |
| 20:41:50 | <geekosaur> | haskell is heavily dependent on exact ABIs |
| 20:41:54 | × | poscat quits (~poscat@221.217.131.44) (Ping timeout: 256 seconds) |
| 20:41:54 | × | ukari quits (~ukari@unaffiliated/ukari) (Ping timeout: 256 seconds) |
| 20:41:54 | × | zopsi quits (~zopsi@irc.dir.ac) (Quit: Oops) |
| 20:41:54 | × | mawk quits (znc@serveur.io) (Remote host closed the connection) |
| 20:41:54 | × | sujeet quits (sujeet@unaffiliated/freeboson) (Read error: Connection reset by peer) |
| 20:41:54 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Remote host closed the connection) |
| 20:42:00 | × | NieDzejkob quits (~quassel@188.123.215.55) (Remote host closed the connection) |
| 20:42:03 | <geekosaur> | or at least ghc is |
| 20:42:13 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 20:42:15 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 20:42:35 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 256 seconds) |
| 20:42:35 | × | usr25 quits (~usr25@unaffiliated/usr25) (Ping timeout: 256 seconds) |
| 20:42:35 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds) |
| 20:42:35 | × | urodna_ quits (~urodna@unaffiliated/urodna) (Ping timeout: 256 seconds) |
| 20:42:35 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 20:42:35 | × | quicksilver quits (~jules@roobarb.crazydogs.org) (Ping timeout: 256 seconds) |
| 20:42:35 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 256 seconds) |
| 20:42:43 | → | quicksilver joins (~jules@roobarb.crazydogs.org) |
| 20:42:55 | → | sujeet joins (sujeet@unaffiliated/freeboson) |
| 20:43:06 | <geekosaur> | this is tracked by the hash, so stack will insist on the hash matching what it expects, not just the version because version doesn't necessarily fix the ABI in the presence of cross-module inlining |
| 20:43:07 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 20:43:11 | → | NieDzejkob joins (~quassel@188.123.215.55) |
| 20:43:14 | <dminuoso> | _d0t: It could be that it differs in some build flag, configuration of GHC, etc... |
| 20:43:24 | → | mawk joins (znc@serveur.io) |
| 20:44:20 | <dminuoso> | _d0t: You can compare the derivations in the nix store, and then see how they differ. |
| 20:44:31 | → | pera joins (pera@gateway/vpn/mullvad/pera) |
| 20:44:57 | <dminuoso> | https://github.com/Gabriel439/nix-diff might be of interest |
| 20:46:39 | × | mawk quits (znc@serveur.io) (Remote host closed the connection) |
| 20:48:42 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 260 seconds) |
| 20:50:40 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 20:50:53 | → | kini joins (~kini@unaffiliated/kini) |
| 20:51:57 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 20:53:23 | → | loller_ joins (uid358106@gateway/web/irccloud.com/x-rbveqnsijpscqtso) |
| 20:54:02 | → | mawk joins (mawk@serveur.io) |
| 20:54:25 | mawk | is now known as Guest96903 |
| 20:55:00 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 20:56:05 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 20:57:29 | <exarkun> | So before I go and build my own stream abstraction, _is_ there a medium-level AES-CTR library out there already? It seems like the choices are low-level (block interface) or very high-level (some specific protocol that's not just AES-CTR)? |
| 20:57:43 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 20:58:00 | <exarkun> | I did find the StreamCipher class in cryptonite but I don't see that it has any actual instances |
| 20:58:22 | → | son0p joins (~son0p@181.136.122.143) |
| 20:58:54 | <exarkun> | (Also it has limited docs so I'm not actually sure what it's for either) |
| 20:58:58 | × | fangyrn quits (uid481529@gateway/web/irccloud.com/x-xesfsqwuqeiwgrpr) (Quit: Connection closed for inactivity) |
| 20:59:01 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:59:11 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 21:00:32 | × | _d0t quits (void@gateway/vpn/mullvad/d0t/x-89419360) (Quit: Konversation terminated!) |
| 21:00:34 | Guest96903 | is now known as mawk |
| 21:00:45 | <davean> | ts ... not a stream cypher? |
| 21:00:51 | <davean> | is a block cypher |
| 21:02:06 | <exarkun> | There seems to be disagreement over what to call it but you can certainly _use_ AES-CTR as a stream cipher. |
| 21:02:17 | <exarkun> | And lots of people do |
| 21:02:32 | <exarkun> | And the pre-existing protocol I am working with does |
| 21:03:11 | × | son0p quits (~son0p@181.136.122.143) (Ping timeout: 264 seconds) |
| 21:03:22 | <davean> | exarkun: how do you use it as a stream cypher? If you encrypt X bytes with it, you don't get X bytes out. |
| 21:03:44 | <davean> | I know of no way to make AES-CTR not block-sized |
| 21:04:04 | <davean> | if I encrypt 7 bits, how big will it be with AES-CTR? |
| 21:04:08 | → | son0p joins (~son0p@181.136.122.143) |
| 21:04:23 | <exarkun> | Why wouldn't you get 7 bits out? |
| 21:05:11 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 260 seconds) |
| 21:05:12 | <glguy> | aes-ctr generates a pseudorandom stream you xor with your plaintext, the ct is thesame length |
| 21:05:42 | <davean> | ah right, ctr, this is why I don't do crypto :) |
| 21:06:01 | × | arkeet quits (arkeet@unaffiliated/arkeet) (Quit: ZNC - http://znc.sourceforge.net) |
| 21:06:44 | <idnar> | exarkun: https://hackage.haskell.org/package/cryptonite-0.27/docs/Crypto-Cipher-Types.html#v:ctrCombine |
| 21:07:29 | <exarkun> | idnar: Yea. I think that's a block-mode thing. |
| 21:09:07 | <koz_> | @pl \x -> bool Nothing (Just x) . f $ x |
| 21:09:07 | <lambdabot> | (. f) =<< bool Nothing . Just |
| 21:09:24 | <koz_> | :t guard |
| 21:09:26 | <lambdabot> | Alternative f => Bool -> f () |
| 21:10:14 | × | atraii quits (~atraii@2601:681:8800:3a87:c800:2de4:db0b:9f0) (Ping timeout: 264 seconds) |
| 21:10:33 | → | conal joins (~conal@64.71.133.70) |
| 21:10:47 | <koz_> | @pl \x -> guard (f x) $> x |
| 21:10:48 | <lambdabot> | ($>) =<< guard . f |
| 21:11:02 | <koz_> | Wow, even more APLy. |
| 21:12:18 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds)) |
| 21:12:37 | → | carlomagno joins (~cararell@148.87.23.9) |
| 21:13:49 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 21:14:08 | <idnar> | exarkun: oh that doesn't return the updated "IV" :( |
| 21:14:37 | hackage | waargonaut 0.8.0.2 - JSON wrangling https://hackage.haskell.org/package/waargonaut-0.8.0.2 (topos) |
| 21:15:49 | × | p7lpa1ugixavugu quits (~atomic@2800:810:514:e7:cd02:ce51:d5ac:d9bf) (Ping timeout: 272 seconds) |
| 21:15:54 | <exarkun> | I mean, you could guess because the update is deterministic and simple (+= len(input) `div` blockSize) |
| 21:16:00 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:3a7c:5d06:5699:8d8b) (Ping timeout: 244 seconds) |
| 21:16:14 | <exarkun> | But I end up with the same bookkeeping hassle as I get with `ctr` (which does return the updated IV) |
| 21:17:05 | <exarkun> | If `length input `mod` blockSize /= 0` I have to take note of the offset, rewind the IV, and slice the overlap off the next piece of output |
| 21:17:53 | × | pera quits (pera@gateway/vpn/mullvad/pera) (Ping timeout: 246 seconds) |
| 21:18:11 | <exarkun> | or restructure this part of my code to get rid of the assumption that partial blocks are safe to handle, which is probably the most likely path... |
| 21:18:31 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-mgqwxumamesppfum) |
| 21:20:02 | → | kini joins (~kini@unaffiliated/kini) |
| 21:22:48 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 21:23:07 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 21:25:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 21:27:38 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 21:28:22 | × | ubert quits (~Thunderbi@p200300ecdf1ee0b4ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:28:44 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:956:5b56:4aff:9c50) |
| 21:30:29 | × | samlamamma quits (~user@83-92-112-87-cable.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 21:31:27 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 21:31:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 21:33:23 | → | p7lpa1ugixavugu joins (~atomic@2800:810:514:e7:106f:56:5b7:f864) |
| 21:33:32 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 21:35:45 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 21:36:05 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 21:36:59 | cole-h_ | is now known as cole-h |
| 21:37:18 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 21:37:21 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 21:38:36 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:39:11 | × | jfe quits (~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 21:41:39 | → | jfe joins (~user@pool-71-184-149-134.bstnma.fios.verizon.net) |
| 21:44:52 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 21:44:53 | → | kini joins (~kini@unaffiliated/kini) |
| 21:45:53 | × | jfe quits (~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 21:48:22 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 21:52:06 | × | usr25_tm quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 21:54:20 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 21:54:58 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:55:13 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:55:28 | → | LKoen joins (~LKoen@16.175.9.109.rev.sfr.net) |
| 21:56:16 | → | conal joins (~conal@64.71.133.70) |
| 21:58:09 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 21:58:28 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 21:59:10 | × | Guest77787 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 265 seconds) |
| 22:00:04 | → | conal_ joins (~conal@64.71.133.70) |
| 22:00:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:00:29 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:00:37 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 22:05:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 22:07:00 | × | conal_ quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 22:08:31 | → | conal joins (~conal@64.71.133.70) |
| 22:11:08 | → | jfe joins (~user@pool-71-184-149-134.bstnma.fios.verizon.net) |
| 22:11:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:11:36 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:11:48 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 22:15:07 | × | knupfer quits (~Thunderbi@87.123.206.59) (Ping timeout: 265 seconds) |
| 22:15:38 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 22:18:59 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 22:21:11 | × | troydm quits (~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 22:22:48 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:23:06 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 22:23:38 | → | Ayo joins (~quassel@82.177.83.189) |
| 22:24:41 | → | troydm joins (~troydm@unaffiliated/troydm) |
| 22:25:27 | × | DDDD quits (~DDDD@h-190-15.A400.priv.bahnhof.se) (Ping timeout: 256 seconds) |
| 22:26:38 | hackage | phonetic-languages-simplified-examples-common 0.1.1.0 - Some commonly used by phonetic-languages-simplified* series functions. https://hackage.haskell.org/package/phonetic-languages-simplified-examples-common-0.1.1.0 (OleksandrZhabenko) |
| 22:31:55 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 22:35:28 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 22:36:10 | × | hyperisco quits (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 264 seconds) |
| 22:37:24 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 22:37:25 | × | ulidtko|k quits (~ulidtko@194.54.80.38) (Ping timeout: 240 seconds) |
| 22:38:04 | × | Tops2 quits (~Tobias@dyndsl-095-033-093-030.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 22:40:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:40:37 | hackage | phonetic-languages-simplified-examples-array 0.2.2.0 - Helps to create Ukrainian texts with the given phonetic properties. https://hackage.haskell.org/package/phonetic-languages-simplified-examples-array-0.2.2.0 (OleksandrZhabenko) |
| 22:41:41 | × | jfe quits (~user@pool-71-184-149-134.bstnma.fios.verizon.net) (Quit: ERC (IRC client for Emacs 27.1)) |
| 22:42:11 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 22:42:33 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 22:42:41 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 272 seconds) |
| 22:43:24 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:46:31 | → | ulidtko|k joins (~ulidtko@193.111.48.79) |
| 22:48:23 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds) |
| 22:48:44 | × | mdunnio quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 22:48:44 | → | conal joins (~conal@64.71.133.70) |
| 22:49:52 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 22:49:58 | → | Laidroc joins (~ztang@2603-7081-0a02-9a00-0216-3eff-fe90-5680.res6.spectrum.com) |
| 22:50:43 | Guest59238 | is now known as zzz |
| 22:53:27 | × | DavidEichmann quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 272 seconds) |
| 22:54:03 | × | ulidtko|k quits (~ulidtko@193.111.48.79) (Ping timeout: 256 seconds) |
| 22:55:46 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:58:13 | × | Laidroc quits (~ztang@2603-7081-0a02-9a00-0216-3eff-fe90-5680.res6.spectrum.com) (Quit: Leaving) |
| 22:58:21 | → | nineonin_ joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 22:59:25 | <xe4> | when should you use MVar and when should you use IORef? |
| 23:00:14 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 23:00:18 | ← | usr25 parts (~usr25@unaffiliated/usr25) () |
| 23:00:39 | <davean> | xe4: You probably should use IORef. The aomicity, etc, of IORef is complicated. |
| 23:00:48 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 23:01:25 | <davean> | They're different and it would be a long discussion mind you |
| 23:01:47 | → | conal joins (~conal@64.71.133.70) |
| 23:01:48 | × | matijja quits (~matijja@193.77.181.208) (Quit: bye) |
| 23:01:53 | <davean> | IORef always contains something |
| 23:02:00 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 23:02:02 | <davean> | and is less oriented towards being used concurrently. |
| 23:02:58 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 23:03:11 | <johnw> | I would have answered: use TVar until you know you don't want stm |
| 23:03:31 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 23:04:28 | × | lawid quits (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Quit: lawid) |
| 23:04:32 | <davean> | yah, thats sensible johnw - I was debating mentionign that |
| 23:04:36 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Client Quit) |
| 23:04:42 | <davean> | I was considering getting there for a never-empty option |
| 23:04:44 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 23:05:14 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 23:05:41 | <monochrom> | IORef and TVar can be reasonably compared, since both fit the model of "sharable mutable cell". |
| 23:05:52 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Quit: mputz) |
| 23:05:52 | <davean> | yes |
| 23:05:59 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 23:06:17 | <monochrom> | But MVar can't be reasonably compared with them. Its model is a degenerate message queue, not a mutable cell. |
| 23:06:17 | <davean> | I was actually struggling to say when IORef would be the optimal choice. |
| 23:06:24 | <davean> | vs. all the potential options |
| 23:06:27 | <davean> | and I'm actually not sure. |
| 23:06:31 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 256 seconds) |
| 23:06:36 | → | lawid joins (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) |
| 23:06:56 | <davean> | Theres the ticket stuff, if you're getting primative. |
| 23:07:38 | <davean> | ugh, I said should instead of shouldn't |
| 23:07:38 | <monochrom> | To be sure, there was a time, like 20 years ago, when people came up with boilerplate that used an MVar to emulate a mutable cell. But this is obsolete, we have had atomicModifyIORef for a long long time. |
| 23:08:21 | × | chele_ quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 23:08:33 | <davean> | monochrom: Some of the edge cases around atomicModifyIORef are uspetting. |
| 23:10:09 | → | gedda joins (~gedda@185.195.233.164) |
| 23:10:22 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 23:10:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 23:11:10 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:11:40 | × | Ayo quits (~quassel@82.177.83.189) (Ping timeout: 265 seconds) |
| 23:12:11 | <xsperry> | davean, can you elaborate? |
| 23:14:11 | → | pavonia_ joins (~user@unaffiliated/siracusa) |
| 23:14:13 | <johnw> | I usually use IORef to signal to the reader that I'm using it only for mutability, not concurrency |
| 23:14:14 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds) |
| 23:14:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 23:14:36 | × | mht quits (~mht@mht.wtf) (Ping timeout: 240 seconds) |
| 23:14:37 | <johnw> | IORef = RefCell and TVar = RwLock in my code, to compare to Rust |
| 23:14:50 | × | dminuoso quits (~dminuoso@unaffiliated/dminuoso) (Quit: ZNC 1.7.5 - https://znc.in) |
| 23:14:59 | × | madnight_ quits (~madnight@static.59.103.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
| 23:15:05 | → | madnight joins (~madnight@static.59.103.201.195.clients.your-server.de) |
| 23:15:06 | → | dminuoso joins (~dminuoso@unaffiliated/dminuoso) |
| 23:15:16 | × | pavonia quits (~user@unaffiliated/siracusa) (Ping timeout: 240 seconds) |
| 23:15:30 | pavonia_ | is now known as pavonia |
| 23:15:36 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 23:15:37 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 23:15:50 | <Axman6> | I am happy using IORefs for concurrency, as long as I have exactly one in my app. if it's more then all theother types we have are a better choice |
| 23:16:35 | → | mht joins (~mht@mht.wtf) |
| 23:18:48 | <davean> | xsperry: basicly if you use anything other than the 'atomic' variants, including read, you can get what people unfamiliar with this sort of thing would not expect. |
| 23:19:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:20:02 | <davean> | xsperry: put another way, its hard to tell if the usage of IORef is correct without knowlege of everywhere it is referenced in the program |
| 23:20:22 | × | nineonin_ quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 23:20:57 | → | adeene joins (~adeene@181.131.0.191) |
| 23:21:08 | → | nineonine joins (~nineonine@50.216.62.2) |
| 23:21:16 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 256 seconds) |
| 23:21:31 | <Axman6> | I think I still have a service in production (for the Australian Government no less) which has a single IORef which is updated every 5 minutes, and read from a servant application to cache responses from data which only updated every 5 minutes |
| 23:22:48 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:22:56 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 23:23:07 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 23:24:21 | × | Franciman quits (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 23:25:34 | <dmj`> | Is there some Haskell package that can identify places in your code that rewrite rules may apply (be beneficial) and then recommend them to you. That would be very cool I think. |
| 23:26:00 | <davean> | dmj`: uh, if they rules exist (and are imported), they'll be applied |
| 23:26:05 | <davean> | if they don't exist, how would it know? |
| 23:26:16 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) (Remote host closed the connection) |
| 23:26:44 | <dmj`> | davean: static analysis |
| 23:27:02 | <dmj`> | davean: the rules are more ad-hoc than anything, and if the rules do the wrong thing there isn't anything to keep that from happening as well |
| 23:27:12 | <davean> | uh, if the static analyser can do that, you have an optimizer and you don't need the rewrite rule? |
| 23:27:30 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 23:27:55 | <dmj`> | davean: that would be if you wanted to make a core plugin or something |
| 23:29:18 | → | frdg joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 23:29:53 | <dmj`> | davean: it's also not as obvious as you might think to detect what should be rewritten, consider vector |
| 23:30:00 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 23:30:09 | <davean> | Thats exactly my point? |
| 23:30:36 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:30:42 | <dminuoso> | If an algorithm exists to understand how to transform code into better performing code, then that'd just be as simplifier pass.. |
| 23:30:50 | <davean> | dminuoso: thats what I said! |
| 23:30:54 | <dminuoso> | Indeed. |
| 23:31:08 | <dminuoso> | My spelling stops working, think I need to get some sleep. :( |
| 23:31:14 | <davean> | If you can tell that, theres no reason to tell the user! you just do it |
| 23:31:41 | <ph88> | is it safe to reuse the .stack-work folder for another project ? i'm asking because i want to use cache in CI |
| 23:31:57 | <frdg> | I am having trouble understanding why func1 does not cause a thread block. To me func1 and func2 essentially behave the same in that the both try to use `putMVar` while the MVar is still full. http://dpaste.com/FYVSH8E25 |
| 23:33:30 | <davean> | frdg: it CAN become empty |
| 23:33:37 | <davean> | well, could |
| 23:33:53 | <davean> | in func2, theres no way the MVar could become empty |
| 23:33:59 | <monochrom> | I don't understand how func1 is anywhere remotely similar to func2. |
| 23:34:45 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 23:34:45 | <davean> | in func2 its trivial to prove the MVar will never unblock, in func1 any of those threads could have code that empties the MVar |
| 23:35:11 | <dsal> | ph88: it shouldn't be considerably different from just changing all the code, right? |
| 23:35:12 | <frdg> | how could `m` become empty while the `(url, r)`'s are being put into it successively before they are taken out? |
| 23:35:14 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 23:35:15 | <davean> | frdg: So, the answer is they both block |
| 23:35:19 | <davean> | you just donm't know the first one does |
| 23:35:32 | <davean> | frdg: yuou can't prove thats all thats happenign locally |
| 23:35:36 | <frdg> | davean: ohh |
| 23:36:52 | <ph88> | dsal, code, LTS versions .. to me it looks safe .. but it's not the usual scenario .. im just not sure |
| 23:37:06 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:37:23 | <frdg> | I get it now. The reason I get output from func1 is because it produces something before it blocks while func2 just blocks immediately |
| 23:37:25 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 23:37:43 | <dsal> | ph88: if it fails, it should fail because of a bug. |
| 23:37:58 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 23:38:32 | <dminuoso> | frdg: Right. Consider the RTS telling you its blocked indefinitely a feature, similar to infinite loop detection. |
| 23:38:35 | <dminuoso> | If it works, great! |
| 23:38:36 | <ph88> | dsal, if what fails ? i just need to know that the .stack-work cache does not land up in an inconsistent / unrepairable state or messes up ghc compile in any way |
| 23:38:49 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 23:39:00 | <dminuoso> | But it wont catch all caes |
| 23:39:44 | <davean> | He actually empties the MVar enough times eventually, at the bottom of the function |
| 23:39:55 | <davean> | so its SLIGHTLY different in this particular case |
| 23:40:04 | <dsal> | ph88: you can delete that directory whenever you want, so there's no unrepairable state. |
| 23:40:35 | <davean> | its that it unblocks, where as GC can prove func2 can never unblock because nothing can remove from m |
| 23:40:36 | <dminuoso> | Mmm |
| 23:41:02 | <davean> | func1 and func2 are nothing alike, as monochrom points out. |
| 23:41:05 | → | Ayo joins (~quassel@82.177.83.189) |
| 23:41:12 | → | elliott__ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 23:41:39 | <davean> | Basicly not related in any meaningful way. |
| 23:41:46 | <dminuoso> | Either way, you probably want a TQueue instead? |
| 23:43:22 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 23:44:04 | <ph88> | thanks dsal |
| 23:45:50 | → | jedws joins (~jedws@121.209.139.157) |
| 23:46:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:47:39 | ← | frdg parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)") |
| 23:48:22 | × | dcoutts__ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 246 seconds) |
| 23:48:41 | × | Nahra quits (~Nahra@unaffiliated/nahra) (Quit: leaving) |
| 23:51:35 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 23:51:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 23:52:10 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:a004:c2e:5fd9:3135) |
| 23:56:05 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
All times are in UTC on 2021-01-20.