Logs on 2020-11-28 (freenode/#haskell)
| 00:01:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 00:01:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:01:56 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 00:06:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 00:12:22 | × | Iceland_jack quits (~user@31.124.48.169) (Remote host closed the connection) |
| 00:15:23 | × | Tops21 quits (~Tobias@dyndsl-095-033-092-087.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 00:23:22 | → | joaj joins (~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) |
| 00:26:03 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 00:26:16 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 00:28:19 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) (Ping timeout: 272 seconds) |
| 00:32:11 | aoei | is now known as amateuresthour |
| 00:35:13 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 00:35:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:42:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:44:41 | × | grabz0r quits (~grabz0r@90-145-165-196.bbserv.nl) (Quit: WeeChat 2.7.1) |
| 00:46:33 | amateuresthour | is now known as proscummer |
| 00:48:30 | hackage | rrule 0.1.1 - Recurrence rule parser and formatter https://hackage.haskell.org/package/rrule-0.1.1 (MitchellVitez) |
| 00:48:37 | grfn | is now known as glittershark |
| 00:48:45 | glittershark | is now known as grfn |
| 00:55:47 | → | Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 00:56:16 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:56:45 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 00:58:47 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:03:26 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 01:06:23 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 01:08:19 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:09:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 01:09:51 | → | conal joins (~conal@64.71.133.70) |
| 01:10:13 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:10:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Read error: Connection reset by peer) |
| 01:10:52 | → | conal joins (~conal@64.71.133.70) |
| 01:11:00 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:11:00 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 01:11:13 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 01:11:27 | → | conal joins (~conal@64.71.133.70) |
| 01:11:47 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 01:12:01 | × | benjamin-l quits (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) (Ping timeout: 272 seconds) |
| 01:15:54 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 01:16:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 01:16:40 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 01:16:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 01:19:30 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:20:15 | × | joaj quits (~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) (Ping timeout: 272 seconds) |
| 01:20:51 | → | joaj joins (~joaj@2001:818:e326:8200:9fc:6bde:c18a:1771) |
| 01:22:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 01:23:51 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 01:23:58 | proscummer | is now known as aoei |
| 01:24:01 | → | vg joins (~vg@139.59.59.230) |
| 01:24:14 | × | hexfive quits (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) (Quit: i must go. my people need me.) |
| 01:24:15 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 01:24:27 | → | vg joins (~vg@139.59.59.230) |
| 01:28:12 | × | Ariakenom quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 01:32:48 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 01:35:17 | → | urek__ joins (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) |
| 01:36:13 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) |
| 01:36:57 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 01:38:05 | → | Lord_of_Life_ joins (~Lord@46.217.216.13) |
| 01:38:16 | × | Lord_of_Life quits (~Lord@46.217.218.157) (Ping timeout: 240 seconds) |
| 01:38:37 | × | urek quits (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Ping timeout: 272 seconds) |
| 01:39:56 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 01:41:36 | × | hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 01:42:12 | → | conal joins (~conal@64.71.133.70) |
| 01:43:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:46:51 | × | xff0x quits (~fox@2001:1a81:531e:fa00:901e:6460:6691:753b) (Remote host closed the connection) |
| 01:47:07 | → | xff0x joins (~fox@2001:1a81:531e:fa00:d453:b25c:8bc2:3ad1) |
| 01:48:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:49:18 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 01:49:41 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 01:51:14 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 01:52:51 | → | nkoadmin joins (~user@n058152193007.netvigator.com) |
| 01:56:42 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 01:58:49 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 02:00:30 | hackage | rollbar-client 0.1.0 - Core library to communicate with Rollbar API. https://hackage.haskell.org/package/rollbar-client-0.1.0 (sestrella) |
| 02:01:31 | hackage | rollbar-cli 0.1.0, rollbar-yesod 0.1.0, rollbar-wai 0.1.0 (sestrella): https://qbin.io/stop-wy-dowu |
| 02:01:53 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 02:03:04 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection) |
| 02:03:49 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 02:07:52 | × | triteraflops quits (~triterafl@host-148-170-141-28.public.eastlink.ca) (Ping timeout: 272 seconds) |
| 02:08:26 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 02:08:38 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 02:12:23 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 02:14:48 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 02:15:25 | → | lemmih_ joins (~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e) |
| 02:15:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:16:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 02:16:47 | → | adm joins (~adm@103.70.198.44) |
| 02:17:13 | × | lemmih quits (~lemmih@58.182.145.108) (Read error: Connection reset by peer) |
| 02:22:26 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds) |
| 02:24:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 02:25:20 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 02:26:49 | → | rcdilorenzo joins (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) |
| 02:27:07 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 02:27:33 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 02:27:58 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:28:05 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-87-188.nc.res.rr.com) (Client Quit) |
| 02:28:39 | × | xff0x quits (~fox@2001:1a81:531e:fa00:d453:b25c:8bc2:3ad1) (Ping timeout: 272 seconds) |
| 02:28:54 | → | triteraflops joins (~triterafl@host-148-170-141-28.public.eastlink.ca) |
| 02:30:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 02:30:13 | × | m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds) |
| 02:30:18 | → | xff0x joins (~fox@2001:1a81:5212:df00:68d8:7cea:c651:3a31) |
| 02:36:47 | <dsal> | Wow, more people want LambdaCase than OverloadedStrings? |
| 02:37:45 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 02:37:52 | <yushyin> | I don't, I want MultiWayLambda :D |
| 02:39:04 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:44:37 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 246 seconds) |
| 02:46:02 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 02:46:44 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Client Quit) |
| 02:47:22 | × | joaj quits (~joaj@2001:818:e326:8200:9fc:6bde:c18a:1771) (Ping timeout: 260 seconds) |
| 02:48:54 | → | learningirc joins (ad3694dd@pool-173-54-148-221.nwrknj.fios.verizon.net) |
| 02:50:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 02:51:28 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 260 seconds) |
| 02:54:46 | <gentauro> | dsal: I want `SafeHaskell` :D |
| 02:54:48 | <ryantrinkle> | dsal, yushyin: how about OverloadedLambda ;) |
| 02:54:52 | <gentauro> | I hope it gets in :P |
| 02:55:20 | gentauro | it would probably break 99% of all packages in Haskell xD |
| 02:55:24 | × | Ariakenom_ quits (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) (Quit: Leaving) |
| 02:56:37 | <dolio> | Gets in what? |
| 02:56:47 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 02:57:30 | <yushyin> | GHC202X |
| 02:58:05 | <dolio> | Well, then it wouldn't break any packages, because 0% of them are using GHC202X. |
| 02:58:18 | <yushyin> | :) |
| 02:59:26 | × | tlaxkit quits (~kvirc@185.228.155.198) (Ping timeout: 256 seconds) |
| 02:59:46 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 03:00:05 | <yushyin> | https://github.com/ghc-proposals/ghc-proposals/blob/ghc2021/proposals/0000-ghc2021.rst there it is |
| 03:00:13 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 256 seconds) |
| 03:00:32 | <dolio> | LambdaCase is way more obvious to add to that than OverloadedStrings, too, because there are few downsides if you just don't use lambda cases. |
| 03:00:46 | <dolio> | Whereas overloaded strings can require you to annotate your strings in some cases. |
| 03:01:09 | → | Deide joins (~Deide@217.155.19.23) |
| 03:01:20 | <dolio> | So the latter could end up being a nuisance when on by default. |
| 03:01:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 03:02:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 03:02:47 | <dsal> | -XDangerHaskell |
| 03:03:02 | <ryantrinkle> | awwwww: > "asdf"@Text |
| 03:03:02 | <ryantrinkle> | <interactive>:8:1: error: Cannot apply expression of type ‘p0’ to a visible type argument ‘Text’ |
| 03:03:08 | <ryantrinkle> | sad that syntax doesn't work |
| 03:04:02 | <ryantrinkle> | (i was hoping it'd function like :: but binding as tightly as posible instead of as loosely as possible) |
| 03:06:43 | <yushyin> | id @Text "asdf" |
| 03:06:47 | <yushyin> | :D |
| 03:09:03 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 03:09:42 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 03:11:52 | <ryantrinkle> | yushyin: nice :) |
| 03:13:45 | → | tlaxkit joins (~kvirc@185.228.155.198) |
| 03:15:47 | × | tlaxkit quits (~kvirc@185.228.155.198) (Client Quit) |
| 03:16:00 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 03:16:09 | × | operand quits (~operand@is.altijd.moe) (Ping timeout: 272 seconds) |
| 03:16:19 | → | urek joins (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) |
| 03:16:21 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 03:16:25 | × | Randy quits (randy@freebsd/user/randy) (Read error: Connection reset by peer) |
| 03:16:35 | × | urek__ quits (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Remote host closed the connection) |
| 03:16:36 | × | sqrt2 quits (~ben@unaffiliated/sqrt2) (Remote host closed the connection) |
| 03:16:42 | × | `slikts quits (~nelabs@wikipedia/reinis) (Read error: Connection reset by peer) |
| 03:16:45 | × | kkd quits (~memxor@unaffiliated/kartikeya) (Read error: Connection reset by peer) |
| 03:16:47 | × | lisq quits (~quassel@lis.moe) (Remote host closed the connection) |
| 03:16:47 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 03:16:49 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: No Ping reply in 180 seconds.) |
| 03:16:58 | → | kkd joins (~memxor@2400:8902::f03c:92ff:feac:6d1) |
| 03:16:58 | × | kkd quits (~memxor@2400:8902::f03c:92ff:feac:6d1) (Changing host) |
| 03:16:58 | → | kkd joins (~memxor@unaffiliated/kartikeya) |
| 03:17:01 | <dolio> | Need to get augustss' (::Text) thing. |
| 03:17:25 | × | gaze__ quits (sid387101@gateway/web/irccloud.com/x-rtnygntjgchhvjnx) (Ping timeout: 272 seconds) |
| 03:17:25 | × | cawfee quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 272 seconds) |
| 03:17:25 | × | noecho quits (~noecho@2a01:4f8:1c0c:80ee::4223) (Ping timeout: 272 seconds) |
| 03:17:34 | × | TheScoop quits (~TheScoop@unaffiliated/tryte) (Read error: Connection reset by peer) |
| 03:17:38 | → | TheScoop_ joins (~TheScoop@unaffiliated/tryte) |
| 03:17:48 | → | `slikts joins (~nelabs@2a00:d880:5:395::37ca) |
| 03:17:48 | × | `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 03:17:48 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 03:17:49 | → | operand joins (~operand@is.altijd.moe) |
| 03:17:56 | → | lisq joins (~quassel@lis.moe) |
| 03:18:07 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 03:18:08 | → | gaze__ joins (sid387101@gateway/web/irccloud.com/x-ydjmiyqfbpsxuqlr) |
| 03:18:37 | → | noecho joins (~noecho@static.143.42.203.116.clients.your-server.de) |
| 03:19:02 | → | Randy joins (randy@freebsd/user/randy) |
| 03:20:23 | <gentauro> | everytime I see GHC202X I'm remember this tweet -> https://twitter.com/edwinbrady/status/1163816732902883329 |
| 03:20:26 | <gentauro> | xD |
| 03:22:33 | → | cawfee joins (chiya@2406:3003:2077:2341::babe) |
| 03:23:32 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 03:23:42 | monochrom | prefers: OverlordLambda |
| 03:24:02 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 264 seconds) |
| 03:24:14 | <monochrom> | Like, OverlordStrings? Puff :) |
| 03:24:33 | → | conal joins (~conal@64.71.133.70) |
| 03:24:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:24:39 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 03:24:59 | <dolio> | Is that what TCL has? |
| 03:25:24 | × | learningirc quits (ad3694dd@pool-173-54-148-221.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 03:25:25 | → | conal joins (~conal@64.71.133.70) |
| 03:25:26 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 03:26:21 | → | adm joins (~adm@103.70.198.44) |
| 03:27:08 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@iakosalt-94.nationalnet.com) (Remote host closed the connection) |
| 03:27:47 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 03:28:13 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 03:29:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 03:30:40 | → | bthom joins (~thomas_07@2601:184:4700:b89:abdc:f6d7:f8b7:16e2) |
| 03:32:42 | → | drbean joins (~drbean@TC210-63-209-146.static.apol.com.tw) |
| 03:32:53 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 03:34:37 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 03:38:30 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (adams.freenode.net (Nickname regained by services))) |
| 03:38:35 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 03:41:58 | × | theDon quits (~td@muedsl-82-207-238-051.citykom.de) (Ping timeout: 260 seconds) |
| 03:43:45 | → | theDon joins (~td@muedsl-82-207-238-090.citykom.de) |
| 03:43:58 | × | solonarv quits (~solonarv@anancy-651-1-197-136.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 03:44:36 | → | Martin__ joins (~Martin@pool-100-38-133-80.nycmny.fios.verizon.net) |
| 03:46:08 | <gentauro> | why can't both OverlordLambda and OverlordStrings be added? |
| 03:46:17 | <gentauro> | I mean, they aren't mutual exclusive … |
| 03:46:53 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 260 seconds) |
| 03:47:36 | → | bitmagie joins (~Thunderbi@200116b806d962006448e25d65160c0f.dip.versatel-1u1.de) |
| 03:48:41 | <koz_> | {-# LANGUAGE OverloadAllOfTheThings #-} |
| 03:49:18 | → | adm joins (~adm@103.70.198.44) |
| 03:49:38 | × | bitmagie quits (~Thunderbi@200116b806d962006448e25d65160c0f.dip.versatel-1u1.de) (Client Quit) |
| 03:52:22 | × | Martin__ quits (~Martin@pool-100-38-133-80.nycmny.fios.verizon.net) (Quit: Leaving) |
| 03:54:16 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 272 seconds) |
| 03:55:13 | <gentauro> | I'm still guessing when GHC202X would be usefull |
| 03:55:20 | <gentauro> | I can't find a scenario xD |
| 03:57:58 | <pavonia> | Is OverlordLambda the final boss of a Haskell video game? |
| 03:58:02 | <ryantrinkle> | gentauro: well, the hard part about OverloadedLambda is that it doesn't exist (yet/afaik) http://conal.net/blog/posts/overloading-lambda |
| 03:58:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:59:00 | <ryantrinkle> | implemented here: https://github.com/conal/concat |
| 03:59:11 | <ryantrinkle> | i haven't looked at how well it works lately, though |
| 03:59:16 | <gentauro> | ryantrinkle: so it's a M$ thing? It only exists in a PowerPoint until customers buy it? :o |
| 03:59:29 | <ryantrinkle> | hahahaha lazy software development ;) |
| 04:00:54 | <gentauro> | more like `Snake oil` sales gimic ;) |
| 04:02:27 | <ryantrinkle> | yeah i guess it doesn't count as lazy evaluation if the thing you ultimately deliver is still wrong |
| 04:02:46 | → | adm joins (~adm@103.70.198.44) |
| 04:02:58 | <gentauro> | or just doesn't exist xD |
| 04:03:34 | <gentauro> | if Haskell ever becomes that popular that all the `douchy` M$ employees will move over. Just imagine that? |
| 04:03:37 | <gentauro> | :| |
| 04:06:56 | × | darjeeling_ quits (~darjeelin@122.245.217.23) (Ping timeout: 256 seconds) |
| 04:10:43 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 04:11:03 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 04:11:16 | × | MrSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 04:12:23 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 04:15:46 | → | urek__ joins (~urek@2804:7f1:e10a:5ac1:ec39:fe28:6c4f:d108) |
| 04:17:12 | × | urek quits (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) (Ping timeout: 260 seconds) |
| 04:19:49 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Quit: Leaving...) |
| 04:22:18 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 04:22:42 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 04:23:20 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 04:24:25 | → | darjeeling_ joins (~darjeelin@122.245.217.23) |
| 04:26:22 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 04:26:41 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 04:29:32 | → | tsn joins (b1234d0e@177.35.77.14) |
| 04:30:41 | <monochrom> | dolio: Yeah, I thought of tcl too :) |
| 04:31:06 | <monochrom> | pavonia: Lambda the Ultimate Level Boss by Guy Steele or something :) |
| 04:31:43 | → | adm joins (~adm@103.70.198.44) |
| 04:32:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:33:18 | <monochrom> | Actually if you Google for "lambda the ultimate imperator" you'll get very good results :) |
| 04:33:33 | × | nullheroes quits (~danielvu@168.235.66.22) (Quit: WeeChat 2.9) |
| 04:34:17 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) |
| 04:35:39 | → | toorevitimirp joins (~tooreviti@117.182.183.18) |
| 04:35:39 | × | toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection) |
| 04:35:59 | → | toorevitimirp joins (~tooreviti@117.182.183.18) |
| 04:36:56 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 240 seconds) |
| 04:38:30 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 04:40:01 | × | nkoadmin quits (~user@n058152193007.netvigator.com) (Remote host closed the connection) |
| 04:40:25 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 04:40:42 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 04:41:15 | → | adm joins (~adm@103.70.198.44) |
| 04:46:19 | → | nullheroes joins (~danielvu@168.235.66.22) |
| 04:46:23 | <ezzieyguywuf> | how do I add a package to ghci? i.e. cassava so that I can import Data.Csv |
| 04:48:50 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 04:49:33 | → | adm joins (~adm@103.70.198.44) |
| 04:52:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 04:53:36 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 240 seconds) |
| 04:53:52 | × | urek__ quits (~urek@2804:7f1:e10a:5ac1:ec39:fe28:6c4f:d108) (Quit: urek__) |
| 04:53:55 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 04:55:33 | aoei | is now known as proscummer |
| 04:57:08 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 04:57:28 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds) |
| 04:58:55 | <glguy> | ezzieyguywuf, either add it to your packages' .cabal file and 'cabal repl' or for a standalone repl do: 'cabal repl --build-dep casava' |
| 04:59:11 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 04:59:11 | <glguy> | cabal repl --build-dep cassava 8 |
| 04:59:27 | <glguy> | (two "s"s) |
| 05:00:54 | <gentauro> | ok. this website is nicely done. I wish I had UI/UX skills :( https://www.srid.ca/ |
| 05:04:10 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds) |
| 05:05:52 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 05:05:53 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 05:06:49 | → | Tario joins (~Tario@201.192.165.173) |
| 05:08:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:09:20 | <ezzieyguywuf> | glguy: thanks! |
| 05:13:00 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 05:13:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 05:15:19 | × | tsn quits (b1234d0e@177.35.77.14) (Remote host closed the connection) |
| 05:17:02 | <ezzieyguywuf> | in the cassava documentation, "data Person = Person { name :: !Text , salary :: !Int }", what do the exclamation marks mean? "strict"? if so, is it necessary to make thing strict in order for cassava to work? |
| 05:18:21 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 05:19:15 | <jle`> | ezzieyguywuf: it's a strictness annotation yeah, and cassava shouldn't require them i believe |
| 05:19:23 | <ezzieyguywuf> | jle`: ok thank you. |
| 05:19:36 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:21:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 05:23:06 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@171.5.161.165) |
| 05:24:23 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 05:26:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:26:45 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 05:27:39 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 05:28:48 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 05:30:19 | <ezzieyguywuf> | how is this a syntax error? "data SecuData = SecuData { TransactionDate :: Text } |
| 05:30:22 | <ezzieyguywuf> | " |
| 05:30:30 | <ezzieyguywuf> | the compiler says there is a parse error on TransactionDate |
| 05:30:46 | <ezzieyguywuf> | oh, b/c uppercase |
| 05:33:00 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 05:33:05 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 05:34:16 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 05:35:58 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 05:37:36 | × | toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection) |
| 05:39:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:41:22 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) |
| 05:42:00 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 05:42:42 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection) |
| 05:42:47 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 05:43:06 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 05:43:13 | × | mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Client Quit) |
| 05:44:33 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 05:44:51 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 05:45:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 05:47:59 | × | hackage quits (mniip@haskell/bot/hackage) (Remote host closed the connection) |
| 05:48:36 | → | hackage joins (mniip@haskell/bot/hackage) |
| 05:52:20 | × | texasmynsted quits (~texasmyns@212.102.45.121) (Ping timeout: 256 seconds) |
| 05:53:06 | → | texasmynsted joins (~texasmyns@212.102.45.115) |
| 06:00:00 | ski_ | is now known as ski |
| 06:02:46 | → | Amras joins (~Amras@unaffiliated/amras) |
| 06:04:07 | proscummer | is now known as scumlord |
| 06:09:16 | × | texasmynsted quits (~texasmyns@212.102.45.115) (Ping timeout: 240 seconds) |
| 06:10:15 | → | acidjnk_new joins (~acidjnk@p200300d0c719ff54906a13e95f8a8c85.dip0.t-ipconnect.de) |
| 06:11:01 | × | triteraflops quits (~triterafl@host-148-170-141-28.public.eastlink.ca) (Ping timeout: 264 seconds) |
| 06:12:56 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@171.5.161.165) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:14:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 06:14:35 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-yyzdvrqskfbunymz) () |
| 06:17:23 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 06:17:25 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 06:17:37 | → | triteraflops joins (~triterafl@host-208-96-90-136.public.eastlink.ca) |
| 06:22:17 | scumlord | is now known as ScumQuitsaLot |
| 06:22:48 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 06:24:32 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 06:28:57 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:32:16 | × | triteraflops quits (~triterafl@host-208-96-90-136.public.eastlink.ca) (Ping timeout: 240 seconds) |
| 06:34:11 | → | triteraflops joins (~triterafl@host-208-96-90-136.public.eastlink.ca) |
| 06:34:26 | × | Amras quits (~Amras@unaffiliated/amras) (Quit: Leaving) |
| 06:35:14 | × | bandali quits (~bandali@fsf/interns/bandali) (Quit: ZNC - https://znc.in) |
| 06:38:05 | → | Amras joins (~Amras@unaffiliated/amras) |
| 06:39:33 | → | bandali joins (znc@fsf/interns/bandali) |
| 06:40:39 | × | matthew- quits (~matthew@smtp.wellquite.org) (Ping timeout: 256 seconds) |
| 06:40:55 | → | matthew- joins (~matthew@smtp.wellquite.org) |
| 06:42:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:45:53 | × | alx741 quits (~alx741@181.196.69.215) (Ping timeout: 265 seconds) |
| 06:46:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:47:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:48:11 | → | alx741 joins (~alx741@181.196.69.215) |
| 06:48:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 06:57:08 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 06:57:20 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 06:58:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:58:42 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 07:04:12 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection) |
| 07:04:25 | <vfaronov> | any idea why Cabal might not be stripping installed executables? i.e. running `strip` manually reduces their size |
| 07:04:37 | <vfaronov> | explicit `executable-stripping: True` in cabal.project doesn't seem to help |
| 07:06:42 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 07:07:12 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Remote host closed the connection) |
| 07:08:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 07:08:56 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 07:14:02 | → | asheshambasta joins (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) |
| 07:14:06 | × | mac10688 quits (~mac10688@c-76-115-116-76.hsd1.or.comcast.net) (Quit: WeeChat 2.7.1) |
| 07:19:04 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:24:48 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 07:25:01 | → | vg joins (~vg@139.59.59.230) |
| 07:25:15 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 07:25:29 | → | vg joins (~vg@139.59.59.230) |
| 07:28:33 | × | triteraflops quits (~triterafl@host-208-96-90-136.public.eastlink.ca) (Read error: Connection reset by peer) |
| 07:30:00 | → | triteraflops joins (~triterafl@host-208-96-90-136.public.eastlink.ca) |
| 07:30:05 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 240 seconds) |
| 07:31:58 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:32:45 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 07:34:50 | × | vg quits (~vg@139.59.59.230) (Ping timeout: 260 seconds) |
| 07:38:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 07:42:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 07:53:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 07:55:27 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds) |
| 07:55:31 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 07:58:51 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 07:59:04 | ScumQuitsaLot | is now known as aoei |
| 07:59:21 | → | coot joins (~coot@37.30.53.191.nat.umts.dynamic.t-mobile.pl) |
| 08:09:01 | → | alp joins (~alp@2a01:e0a:58b:4920:3181:83bc:7703:dbb9) |
| 08:12:29 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 08:15:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:16:58 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 08:18:41 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 08:25:03 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 08:32:03 | → | adm joins (~adm@117.216.231.184) |
| 08:32:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:34:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 08:35:27 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:36:16 | × | adm quits (~adm@117.216.231.184) (Ping timeout: 240 seconds) |
| 08:37:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 08:39:15 | → | notzmv joins (~user@unaffiliated/zmv) |
| 08:39:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 08:44:52 | → | mastarija joins (~mastarija@93-136-114-19.adsl.net.t-com.hr) |
| 08:46:42 | <dminuoso> | vfaronov: Works fine for me, this needs more context. |
| 08:47:34 | → | tystinso joins (~user@71-212-112-205.tukw.qwest.net) |
| 08:48:01 | × | drbean quits (~drbean@TC210-63-209-146.static.apol.com.tw) (Ping timeout: 272 seconds) |
| 08:48:10 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) |
| 08:50:06 | × | coot quits (~coot@37.30.53.191.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 265 seconds) |
| 08:50:29 | <dminuoso> | vfaronov: Are you possibly just observing `strip` doing more work (because by default debug symbols are not stripped by cabal) |
| 08:50:35 | <dminuoso> | Unless you also specify library-stripping |
| 08:51:06 | <dminuoso> | Or.. mmm |
| 08:51:20 | <dminuoso> | Ah no |
| 08:54:27 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 08:54:49 | <dminuoso> | vfaronov: https://cabal.readthedocs.io/en/3.4/cabal-project.html#cfg-field-executable-stripping |
| 08:54:59 | <dminuoso> | "When installing binary executable programs, run the strip program on the binary." |
| 08:55:26 | <dminuoso> | So it seems this is done just at installation, not building |
| 08:55:31 | <vfaronov> | dminuoso: after `cabal install --install-method=copy --overwrite-policy=always`, doing `strip` (GNU strip 2.30) without options on the resulting binaries makes them about 1/4 smaller |
| 08:55:48 | <dminuoso> | vfaronov: compare `objdump -x` between them |
| 08:55:54 | <dminuoso> | What's their difference? |
| 08:56:09 | <dminuoso> | Also, if you flip on `-v2` you should verbose output from the strip invocation |
| 08:58:37 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:59:51 | hackage | bytestring-tree-builder 0.2.7.6 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.6 (NikitaVolkov) |
| 09:00:04 | × | ttc quits (tomtauma1@gateway/shell/matrix.org/x-mshtvdkklhnazscc) (Quit: Idle for 30+ days) |
| 09:00:05 | × | jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-jhkivoszgmdxgjkg) (Quit: Idle for 30+ days) |
| 09:02:28 | <vfaronov> | dminuoso: `-v2` produces lots of output but no mention of strip. `objdump -x` reports a symbol table and a `.debug-ghc-link-info` in the binary (before manual `strip`). Cabal 3.2.0.0 |
| 09:02:53 | <pjb> | It's quite idiotic to use strip. If you do, then you need to keep a unstripped copy, to be able to debug crashes. So you actually almost double the required disk space. There's no win. |
| 09:03:56 | <dminuoso> | pjb: That's difficult to say, in general. |
| 09:04:01 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds) |
| 09:04:15 | <dminuoso> | But yeah, splitting doesnt even make too much of a difference |
| 09:04:19 | <dminuoso> | split-sections otoh does. |
| 09:04:30 | <[exa]> | pjb: sometimes it's equally idiotic to keep 500MB binaries around. :] |
| 09:04:57 | <dminuoso> | err *stripping doesnt make too much of a difference! |
| 09:05:04 | <dminuoso> | in one of our projects, split sections is the difference between 100MB and 4MiB, split only brings that further to 3MiB |
| 09:05:34 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 265 seconds) |
| 09:06:18 | <[exa]> | well not in general case but you can go quite far with a bit of C++ tricks.. I was more reacting to the general idea that stripping is bad™ |
| 09:06:18 | <vfaronov> | pjb: This is private software that I'll be rebuilding anyway if I have to debug it. I don't care much about binary size either, but I do scp these binaries around a lot, on top of it just feeling cleaner I guess |
| 09:07:06 | <dminuoso> | vfaronov: have you turned on split-sections in your global cabal config? |
| 09:08:23 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 09:08:54 | × | polux200137 quits (~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io) |
| 09:09:16 | → | polux200137 joins (~polux@51.15.169.172) |
| 09:09:20 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) |
| 09:10:44 | <dminuoso> | Just to get binary size down to reasonable levels, split-sections does most of the work. strip then just gets rid of debug symbols that could be useful, and its not much |
| 09:11:38 | → | michalz joins (~user@185.246.204.47) |
| 09:12:36 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 09:14:03 | <vfaronov> | nope, trying now |
| 09:14:31 | × | mastarija quits (~mastarija@93-136-114-19.adsl.net.t-com.hr) (Quit: Leaving) |
| 09:14:59 | → | n0042 joins (d055ed89@208.85.237.137) |
| 09:16:07 | <dminuoso> | It's something that arguably everyone should enable in their global config |
| 09:16:15 | <dminuoso> | The reason its not turned on by default is a bit questionable |
| 09:18:00 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 09:18:18 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 09:18:58 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) (Quit: Textual IRC Client: www.textualapp.com) |
| 09:19:19 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 09:20:02 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 09:20:04 | → | adm joins (~adm@117.216.231.184) |
| 09:20:51 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 09:22:31 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit) |
| 09:22:48 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 09:22:53 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 09:24:30 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 09:24:30 | Server | sets mode +CLnt |
| 09:24:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 09:26:26 | × | tystinso quits (~user@71-212-112-205.tukw.qwest.net) (Remote host closed the connection) |
| 09:26:37 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 09:27:55 | × | alp quits (~alp@2a01:e0a:58b:4920:3181:83bc:7703:dbb9) (Ping timeout: 272 seconds) |
| 09:28:23 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 09:29:56 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 240 seconds) |
| 09:30:12 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 09:30:13 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 09:30:22 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-lkmltywelefyyiow) (Quit: Connection closed for inactivity) |
| 09:30:28 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 09:30:29 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 09:30:44 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 09:30:45 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 09:30:59 | → | tsrt^ joins (tsrt@ip98-184-89-2.mc.at.cox.net) |
| 09:31:00 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) (Max SendQ exceeded) |
| 09:31:53 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer) |
| 09:32:27 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 09:33:20 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 09:35:32 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 09:36:21 | hackage | bytestring-tree-builder 0.2.7.7 - A very efficient ByteString builder implementation based on the binary tree https://hackage.haskell.org/package/bytestring-tree-builder-0.2.7.7 (NikitaVolkov) |
| 09:36:32 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 09:36:52 | → | christo joins (~chris@81.96.113.213) |
| 09:36:53 | × | oxide quits (~lambda@unaffiliated/mclaren) (Read error: Connection reset by peer) |
| 09:36:53 | × | adm quits (~adm@117.216.231.184) (Remote host closed the connection) |
| 09:37:51 | hackage | phonetic-languages-simplified-common 0.3.1.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.1.0 (OleksandrZhabenko) |
| 09:39:20 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 09:40:04 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 246 seconds) |
| 09:40:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 09:42:42 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 09:44:30 | → | 18VABWCF1 joins (~adm@117.216.231.184) |
| 09:49:55 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 256 seconds) |
| 09:50:56 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 09:52:00 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 09:52:49 | × | rprije quits (~rprije@14-202-129-120.static.tpgi.com.au) (Quit: Leaving) |
| 09:52:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:54:54 | × | 18VABWCF1 quits (~adm@117.216.231.184) (Remote host closed the connection) |
| 09:56:17 | → | adm joins (~adm@117.216.231.184) |
| 09:58:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 10:02:29 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 10:05:28 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 10:05:52 | → | alp joins (~alp@88.126.45.36) |
| 10:06:08 | gproto023 | is now known as gproto23 |
| 10:06:11 | <vfaronov> | dminuoso: wow that helped, thanks |
| 10:06:47 | <vfaronov> | 104M → 10M after split-sections + strip |
| 10:08:10 | → | contiver joins (~contiver@84-115-65-44.wifi.dynamic.surfer.at) |
| 10:09:09 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 10:09:45 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:10:56 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 10:10:58 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 10:12:02 | × | adm quits (~adm@117.216.231.184) (Remote host closed the connection) |
| 10:12:20 | → | contiver_ joins (~contiver@84-115-65-44.wifi.dynamic.surfer.at) |
| 10:12:37 | × | contiver quits (~contiver@84-115-65-44.wifi.dynamic.surfer.at) (Ping timeout: 246 seconds) |
| 10:12:49 | → | adm joins (~adm@117.216.231.184) |
| 10:14:19 | × | adm quits (~adm@117.216.231.184) (Remote host closed the connection) |
| 10:14:33 | → | adm joins (~adm@117.216.231.184) |
| 10:18:48 | → | contiver__ joins (~contiver@84-115-65-53.wifi.dynamic.surfer.at) |
| 10:21:01 | × | contiver_ quits (~contiver@84-115-65-44.wifi.dynamic.surfer.at) (Ping timeout: 246 seconds) |
| 10:23:22 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 10:23:31 | → | _linker_ joins (~linker@2a02:a31a:a041:9a80:51cd:d8f1:9cea:4020) |
| 10:28:14 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Read error: Connection reset by peer) |
| 10:28:28 | × | adm quits (~adm@117.216.231.184) (Remote host closed the connection) |
| 10:28:58 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 10:29:46 | × | lpy quits (~nyd@unaffiliated/elysian) (Quit: lpy) |
| 10:31:15 | → | lpy joins (~nyd@unaffiliated/elysian) |
| 10:32:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:33:47 | × | darjeeling_ quits (~darjeelin@122.245.217.23) (Ping timeout: 272 seconds) |
| 10:37:53 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 10:40:22 | <xerox_> | can anyone compile any version of this? https://github.com/haskell/base16-bytestring |
| 10:41:12 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 10:41:40 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 10:41:46 | × | st8less quits (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 10:42:38 | <xerox_> | oh nevermind |
| 10:46:22 | → | DavidEichmann joins (~david@62.110.198.146.dyn.plus.net) |
| 10:47:16 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 10:48:05 | × | michalz quits (~user@185.246.204.47) (Remote host closed the connection) |
| 10:51:52 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 10:59:21 | × | gdude2002 quits (~gdude2002@139.28.218.148) (Remote host closed the connection) |
| 10:59:51 | hackage | derive-storable 0.3.0.0 - Derive Storable instances with GHC.Generics. https://hackage.haskell.org/package/derive-storable-0.3.0.0 (mkloczko) |
| 11:04:16 | → | urek joins (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) |
| 11:06:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:11:31 | × | alp quits (~alp@88.126.45.36) (Ping timeout: 256 seconds) |
| 11:13:10 | → | joaj joins (~joaj@2001:818:e326:8200:5273:55b7:3a86:e6ca) |
| 11:13:34 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds) |
| 11:16:59 | → | darjeeling_ joins (~darjeelin@122.245.217.23) |
| 11:18:46 | → | contiver_ joins (~contiver@84-115-65-118.wifi.dynamic.surfer.at) |
| 11:20:36 | → | hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) |
| 11:20:59 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 11:21:08 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 11:21:43 | × | contiver__ quits (~contiver@84-115-65-53.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 11:24:06 | → | cybai joins (~cybai@2400:4050:3122:900:f9e6:8583:8aec:b8b0) |
| 11:27:33 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 11:27:49 | × | DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Ping timeout: 264 seconds) |
| 11:28:31 | × | contiver_ quits (~contiver@84-115-65-118.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 11:28:55 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 11:29:31 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 11:30:53 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 11:31:55 | × | n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection) |
| 11:34:21 | hackage | phonetic-languages-simplified-common 0.3.2.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.2.0 (OleksandrZhabenko) |
| 11:36:00 | <matthew-> | huh, so haskell doesn't seem to allow partial application of infix ops. Is this just because it's not syntactically clear which arg is being provided, or is there a deeper reason? |
| 11:36:18 | <Squarism> | Anyone got any clever idea on this. In arbitrary datastructure i want to create an "address" (lens single value Traversal if you will) that can be *serialized*. Ie an isomorph between String and the "address". The "address" should allow getting/setting the value in the arbitrary datastructure. |
| 11:36:28 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 11:36:36 | <Squarism> | For an arbitrary* |
| 11:37:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:40:40 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 11:42:43 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 11:42:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:47:20 | hackage | phonetic-languages-simplified-properties-lists 0.2.0.0 - A generalization of the uniqueness-periods-vector-properties package. https://hackage.haskell.org/package/phonetic-languages-simplified-properties-lists-0.2.0.0 (OleksandrZhabenko) |
| 11:47:47 | hekkaidekapus_ | is now known as hekkaidekapus |
| 11:49:03 | <hekkaidekapus> | matthew-: ‘infix ops’ are syntactic sugar for plain old functions. As such, they can naturally be partial applied. |
| 11:49:10 | <hekkaidekapus> | > (+) 1 2 |
| 11:49:12 | <lambdabot> | 3 |
| 11:49:16 | <hekkaidekapus> | 1 + 2 |
| 11:49:30 | <hekkaidekapus> | > 1 + 2 |
| 11:49:32 | <lambdabot> | 3 |
| 11:49:39 | <hekkaidekapus> | > (+ 1) 2 |
| 11:49:41 | <lambdabot> | 3 |
| 11:49:50 | <hekkaidekapus> | > (1 +) 2 |
| 11:49:52 | <lambdabot> | 3 |
| 11:49:55 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 11:50:58 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 11:51:50 | → | sankarshan joins (~sankarsha@178.239.168.171) |
| 11:53:27 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds) |
| 11:55:14 | <dminuoso> | matthew-: Of course haskell allows for it. |
| 11:55:26 | <dminuoso> | matthew-: There's three different ways, one of which has an GHC extension |
| 11:55:40 | <dminuoso> | A) you can use sections on binary infix operators |
| 11:56:07 | <dminuoso> | e.g. (1+) or (+1), where the first is just partial application and the second one is shorthand for `\x -> x + 1` |
| 11:56:55 | <dminuoso> | B) You can use section style for unary functions, allowing you to sort of do postfix operators, e.g. (x&) for some unary function & |
| 11:57:06 | <dminuoso> | That one is however an implicit GHC extension (no explicit pragma needed) |
| 11:57:20 | <dminuoso> | Or C) you can put it in parens, and then partially apply like you're used to: ((+) 1) |
| 11:57:25 | → | jespada joins (~jespada@90.254.245.49) |
| 11:57:52 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 11:58:35 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 12:00:24 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 12:01:08 | → | nango joins (~user@2001:4bb8:2c0:f87:5890:25e7:d7d0:a7e4) |
| 12:01:25 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds) |
| 12:02:26 | × | jespada quits (~jespada@90.254.245.49) (Quit: Leaving) |
| 12:02:28 | <nango> | I'm writing a DSL for a research project, and I have some experience with Parsec, however I have never written a mini language before and I wante to ask if people think it's better to go with alex+Parsec or it's common just to go all the way with Parsec simply, what are people doing normally ? THX! |
| 12:03:37 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 12:03:47 | <srk> | nango: http://dlaing.org/little-languages/ uses trifecta :) |
| 12:04:04 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 12:04:25 | <srk> | actually parsers package |
| 12:05:18 | → | alp joins (~alp@2a01:e0a:58b:4920:7813:470f:37ad:138e) |
| 12:05:29 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 12:05:34 | <nango> | srk thanks this is certainly gold for me right now ! |
| 12:05:35 | <dminuoso> | nango: As a good default Id use megaparsec over parsec. |
| 12:05:45 | <dminuoso> | trifecta is poorly documented and performs not so well |
| 12:05:53 | <dminuoso> | It's main usefulness is high quality diagnostics |
| 12:06:16 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Client Quit) |
| 12:06:26 | → | tlaxkit joins (~kvirc@185.228.155.198) |
| 12:06:27 | <dminuoso> | (One cool trick is where you implement both a megaparsec and trifecta parser, and if the megaparsec fails, you re-parse with your trifecta parser for a better diagnostic) |
| 12:06:49 | <dminuoso> | Giving you good performance as well as good diagnostics, at the cost of having to maintain two parsers |
| 12:07:00 | <dminuoso> | And ensuring they parse the same grammar |
| 12:07:50 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 12:07:53 | <dminuoso> | hekkaidekapus: Oh hah, I didnt see your responses. Sorry! |
| 12:08:04 | <tdammers> | I'd say {mega,atto}parsec on its own > {mega,atto}parsec + alex, if only for the added complexity of the alex dependency |
| 12:08:59 | <dminuoso> | What's the reason GHC uses alex+happy over say parser combinators? Just historic reasons because nothing else was around? |
| 12:09:05 | <dminuoso> | Or do they perform notably faster? |
| 12:10:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:11:07 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) |
| 12:12:19 | <nango> | dminuoso thanks, this is very useful, I'll take a deep look before diving into code frenzy, in my case performance is not an issue since it will never be the bottleneck, I care more about context for the user, since it is going to be for chemists and I don't want them seeing weird ghc messages they can't understand. |
| 12:13:02 | <dminuoso> | Well it's not GHC messages that you'd be worried about |
| 12:13:13 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 12:13:19 | <dminuoso> | Unless you're writing an EDSL, but then you wouldn't need a separate parser |
| 12:14:53 | <nango> | yeah I meant just noisy messages. Alex spits out strictly valid Haskell98, maybe that and historicaly reasons are the reason ? I wouldn't know. |
| 12:15:09 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 12:15:30 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 12:16:10 | <dminuoso> | Part of why the parser errors are so poor in GHC, is because of how our grammar is structured. Figuring out when to error out and what to report in a white space sensitive language is difficult |
| 12:17:51 | <dminuoso> | But yeah, LALR/GLR parser generators generally have poor diagnostics |
| 12:20:39 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Ping timeout: 256 seconds) |
| 12:21:02 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801a58e7d53047a9307.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 12:22:05 | × | asheshambasta quits (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 12:25:05 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 12:26:37 | → | f-a joins (~f-a@151.68.181.130) |
| 12:26:51 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:27:57 | → | adm joins (~adm@117.215.189.3) |
| 12:28:39 | <jophish> | angerman: how do GHC plugins work with cross compiling? |
| 12:30:52 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 12:32:22 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 12:33:36 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection) |
| 12:33:46 | → | z0k joins (~user@101.50.127.33) |
| 12:33:51 | <hekkaidekapus> | dminuoso: No problem. By the way, I use happy when I need to have a BNF-like representation of some grammar, which comes with another goody: getting shift & reduce diagnostics. |
| 12:36:13 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 12:37:42 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 260 seconds) |
| 12:40:31 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 12:41:59 | <nango> | hekkaidekapus thanks, I'll also consider that |
| 12:42:11 | <angerman> | jophish: they don’t. hsyl20 is on it :-/ |
| 12:42:20 | hackage | text-manipulate 0.3.0.0 - Case conversion, word boundary manipulation, and textual subjugation. https://hackage.haskell.org/package/text-manipulate-0.3.0.0 (BrendanHay) |
| 12:42:21 | <jophish> | sounds tricky |
| 12:42:37 | <angerman> | jophish: you essentially need them natively and have ghc load them properly. |
| 12:42:38 | → | sw1nn_ joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 12:42:57 | <angerman> | jophish: feel free to ask hsyl20 in #ghc |
| 12:43:08 | <angerman> | We have a hack in ghcjs for Plutus. It’s all terrible :-) |
| 12:43:12 | <jophish> | you've sated my curiosity for now :) |
| 12:43:13 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 12:44:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 12:44:52 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Ping timeout: 256 seconds) |
| 12:46:08 | <jophish> | actually I am not out of questions |
| 12:46:16 | <jophish> | I'm about to write a plugin which inserts the machine word size into code |
| 12:46:21 | <jophish> | and am concerned now |
| 12:46:28 | <jophish> | (just kidding of course) |
| 12:46:30 | → | drbean joins (~drbean@TC210-63-209-58.static.apol.com.tw) |
| 12:47:52 | → | geekosaur joins (ac3a3b91@172.58.59.145) |
| 12:48:00 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 12:48:15 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 12:48:54 | <Squarism> | (repost) Anyone got any clever idea on this. For an arbitrary datastructure i want to create an "address" (lens single value Traversal if you will) that can be *serialized*. Ie an isomorph between String and the "address". The "address" should allow getting/setting the value in the arbitrary datastructure. |
| 12:50:23 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 12:51:05 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:52:31 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit) |
| 12:52:47 | × | adm quits (~adm@117.215.189.3) (Remote host closed the connection) |
| 12:52:48 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 12:53:07 | × | urek quits (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds) |
| 12:53:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:54:57 | → | stumbled joins (528746e8@ppp-82-135-70-232.dynamic.mnet-online.de) |
| 12:56:20 | <srid> | <gentauro "ok. this website is nicely done."> You can generate one like that without writing any code, html or CSS by using https://neuron.zettel.page |
| 12:57:14 | stumbled | is now known as delbmuts_ |
| 13:02:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 13:02:43 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:04:22 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 13:05:19 | → | vg joins (~vg@139.59.59.230) |
| 13:05:36 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 13:05:52 | → | vg joins (~vg@139.59.59.230) |
| 13:07:41 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 13:09:25 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 13:10:36 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 240 seconds) |
| 13:13:28 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:13:50 | × | lemmih_ quits (~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e) (Remote host closed the connection) |
| 13:15:33 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) |
| 13:17:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:18:39 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 13:19:19 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 13:22:34 | <delbmuts_> | Hi. I'd like to use servant-websockets with a custom servant monad, but don't know how. Something like: https://paste.debian.net/hidden/c2ecc0b2 How can I `ask` for `state`? Thanks. |
| 13:22:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 13:23:21 | hackage | phonetic-languages-simplified-common 0.3.3.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.3.0 (OleksandrZhabenko) |
| 13:25:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:30:34 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Remote host closed the connection) |
| 13:31:54 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 13:33:54 | → | sondr3 joins (~sondr3@cm-84.211.56.132.getinternet.no) |
| 13:35:32 | → | urek joins (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) |
| 13:36:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 13:37:12 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 13:37:12 | → | Wuzzy joins (~Wuzzy@p549c9976.dip0.t-ipconnect.de) |
| 13:37:19 | <angerman> | jophish: just use CPP and WORD_SIZE or so. There is a constant for you without resorting to plugins ;-) |
| 13:39:28 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 272 seconds) |
| 13:40:35 | → | n0042 joins (d055ed89@208.85.237.137) |
| 13:41:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 13:41:30 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 13:41:33 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:43:45 | × | drbean quits (~drbean@TC210-63-209-58.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 13:44:25 | × | alp quits (~alp@2a01:e0a:58b:4920:7813:470f:37ad:138e) (Ping timeout: 272 seconds) |
| 13:47:12 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 13:52:19 | → | asheshambasta joins (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) |
| 13:54:07 | → | contiver joins (~contiver@84-115-64-126.wifi.dynamic.surfer.at) |
| 13:54:58 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 13:55:42 | → | Tario joins (~Tario@201.192.165.173) |
| 13:56:09 | <sondr3> | is there a way for me to insert a DEL character in a Haskell string? I get a "lexical error in string/character literal at character '\DEL'" error |
| 13:56:12 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:57:51 | <hpc> | > chr 127 |
| 13:57:53 | <lambdabot> | '\DEL' |
| 13:58:00 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 13:58:03 | <hpc> | what's the whole string? |
| 13:58:24 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 13:58:32 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 13:58:39 | <sondr3> | The whole string is "\n" :p |
| 13:59:18 | <hpc> | well that doesn't have \DEL in it, so... :P |
| 13:59:50 | <sondr3> | But that's what the error says, I just copied it, what do you see? |
| 14:00:02 | <hpc> | "\n" |
| 14:00:35 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 14:00:39 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 14:00:50 | <hpc> | fwiw, i am trying various string literals in ghci with \DEL and not getting any lexical errors |
| 14:01:11 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 14:01:34 | → | Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) |
| 14:01:44 | <geekosaur> | am suspecting you got a literal DEL character in it somehow |
| 14:02:06 | <sondr3> | I guess that's the problem, it's invisible in Firefox but a square in VSCode and invisible again in my terminal |
| 14:02:26 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 14:02:33 | <hpc> | ah |
| 14:02:36 | <sondr3> | Yeah, it's a literal DEL character, I guess a \DEL would do the same? |
| 14:02:37 | <hpc> | yeah, you need to escape it |
| 14:03:32 | <geekosaur> | no, the escape sequence will work |
| 14:03:47 | <geekosaur> | it just doesn't like the literal character |
| 14:04:31 | geekosaur | actually thinks ghc is overly strict here. Also can't use e.g. private use area characters |
| 14:06:05 | → | pokid joins (~pokid@unaffiliated/pokid) |
| 14:08:04 | → | fakenerd joins (~fakenerd@123.140.80.34.bc.googleusercontent.com) |
| 14:10:24 | × | pokid quits (~pokid@unaffiliated/pokid) (Read error: Connection reset by peer) |
| 14:10:35 | → | pokid joins (~pokid@unaffiliated/pokid) |
| 14:11:34 | → | Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se) |
| 14:12:09 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 14:12:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:12:56 | <SrPx> | Hey all. It has been half a decade since I released a Haskell library. I have one I'd like to publish now. Everything is in a single .hs file. I'm out of touch w.r.t. last developments in packaging. Is there a small tutorial that explains me all I need to do to set up a project around this file and release it? Should I use cabal, stack, for example? |
| 14:13:06 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:13:44 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 14:13:56 | <hpc> | use cabal |
| 14:14:01 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 14:14:15 | <f-a> | there was something on the wiki, let me see if I can fish it |
| 14:14:54 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:14:54 | <f-a> | http://wiki.haskell.org/How_to_write_a_Haskell_program#Structure_of_a_simple_project mhhh |
| 14:16:31 | <f-a> | SrPx: a tl;dr version `cabal init`, `cabal build` to see your project is building fine, `cabal haddock` if you want to check the rendered documentation, `cabal sdist` to generate .tar.gx and `cabal upload` to finally upload it (or use the web interface) |
| 14:16:38 | <f-a> | if you get stuck, ask |
| 14:16:38 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 14:16:42 | <SrPx> | perfect ty (: |
| 14:17:03 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 14:17:44 | <f-a> | I have never used stack seriously so someone else could chime in |
| 14:17:48 | → | texasmynsted joins (~texasmyns@212.102.45.103) |
| 14:18:02 | <merijn> | f-a: Stack still uses cabal, so packaging is basically the same |
| 14:18:28 | <hpc> | just different directories and a lot of wondering if your dependencies are in an lts or not |
| 14:18:36 | <f-a> | merijn: there are things, as cabal users, that I envy of stack. One is «open documentation in browser» |
| 14:18:51 | hackage | phonetic-languages-simplified-common 0.3.4.0 - A simplified version of the phonetic-languages-functionality https://hackage.haskell.org/package/phonetic-languages-simplified-common-0.3.4.0 (OleksandrZhabenko) |
| 14:18:52 | × | fakenerd quits (~fakenerd@123.140.80.34.bc.googleusercontent.com) () |
| 14:19:11 | <f-a> | they might be quite similar with the v2 commands (as ease of use), but the UX is slightly different |
| 14:19:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 14:19:58 | → | acairncross joins (~aiken@89.81.7.51.dyn.plus.net) |
| 14:19:59 | <merijn> | f-a: Well, I meant that "you still need a cabal file for both" :p |
| 14:20:08 | <f-a> | amen |
| 14:20:16 | <xerox_> | SrPx: I think this is a decent introduction to packaging https://cabal.readthedocs.io/en/3.4/getting-started.html |
| 14:20:31 | <SrPx> | ty <3 |
| 14:20:47 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 14:21:10 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 14:23:57 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 14:26:22 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 246 seconds) |
| 14:27:45 | → | em1n joins (~user@2401:4900:33a0:9423:35c5:7032:f69d:635c) |
| 14:28:51 | <maerwald> | stacks as a cli tool does a lot of stuff better than cabal |
| 14:29:11 | <maerwald> | just look at --help to get an idea |
| 14:29:32 | × | pdxleif quits (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) (Quit: ZNC - http://znc.in) |
| 14:30:49 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 14:30:53 | → | pdxleif joins (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) |
| 14:31:14 | → | vg joins (~vg@139.59.59.230) |
| 14:34:14 | → | alp joins (~alp@2a01:e0a:58b:4920:dc84:c063:495d:94ee) |
| 14:38:01 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:39:17 | → | Jonkimi727406120 joins (~Jonkimi@115.44.7.41) |
| 14:40:49 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 14:41:08 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 14:42:15 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:42:28 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 14:42:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:43:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:43:20 | × | geekosaur quits (ac3a3b91@172.58.59.145) (Remote host closed the connection) |
| 14:46:24 | → | nango` joins (~user@2001:4bb8:2c0:f87:3991:44c0:3223:4b98) |
| 14:47:18 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 14:47:25 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds) |
| 14:48:21 | hackage | hedis 0.13.0 - Client library for the Redis datastore: supports full command set,pipelining. https://hackage.haskell.org/package/hedis-0.13.0 (k_bx) |
| 14:50:24 | × | nango quits (~user@2001:4bb8:2c0:f87:5890:25e7:d7d0:a7e4) (Ping timeout: 240 seconds) |
| 14:54:39 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:55:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:55:25 | × | contiver quits (~contiver@84-115-64-126.wifi.dynamic.surfer.at) (Ping timeout: 264 seconds) |
| 14:55:44 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 14:56:08 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:57:27 | ← | pokid parts (~pokid@unaffiliated/pokid) () |
| 14:59:18 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 14:59:55 | → | nf joins (~n@monade.li) |
| 15:00:03 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 15:00:25 | → | solonarv joins (~solonarv@anancy-651-1-197-136.w109-217.abo.wanadoo.fr) |
| 15:01:52 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 15:01:54 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:02:48 | → | DavidEichmann joins (~david@62.110.198.146.dyn.plus.net) |
| 15:02:51 | × | DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection) |
| 15:03:00 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-nwocmlqbhptovmvw) |
| 15:03:29 | × | nf quits (~n@monade.li) (Client Quit) |
| 15:03:34 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 15:03:52 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit) |
| 15:04:25 | → | nf joins (~n@monade.li) |
| 15:05:36 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 15:06:38 | → | fendor_ joins (~fendor@217-149-173-81.nat.highway.telekom.at) |
| 15:06:52 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 15:08:10 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:08:31 | × | fendor_ quits (~fendor@217-149-173-81.nat.highway.telekom.at) (Read error: Connection reset by peer) |
| 15:08:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:09:58 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 15:12:27 | × | asheshambasta quits (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 15:13:02 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 15:13:06 | × | invaser quits (~Thunderbi@31.148.23.125) (Client Quit) |
| 15:13:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 15:14:43 | → | Entertainment joins (~entertain@104.246.132.210) |
| 15:16:10 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 256 seconds) |
| 15:16:26 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 15:16:52 | → | vg joins (~vg@139.59.59.230) |
| 15:17:45 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer) |
| 15:18:08 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 15:20:06 | × | sw1nn_ quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 15:20:37 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 15:20:37 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 15:20:37 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 15:22:28 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 15:22:47 | × | xff0x quits (~fox@2001:1a81:5212:df00:68d8:7cea:c651:3a31) (Ping timeout: 260 seconds) |
| 15:23:27 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 15:23:29 | → | xff0x joins (~fox@2001:1a81:5212:df00:619a:8848:f789:a6cb) |
| 15:24:06 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Max SendQ exceeded) |
| 15:24:36 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 15:25:23 | × | f-a quits (~f-a@151.68.181.130) (Ping timeout: 256 seconds) |
| 15:27:23 | → | f-a joins (~f-a@151.36.220.175) |
| 15:31:49 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 15:33:31 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-jxbrpiggxmywaele) |
| 15:36:04 | <dminuoso> | Squarism: IndexedX? |
| 15:36:39 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:37:24 | → | androzanimedium joins (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) |
| 15:38:42 | <dminuoso> | Squarism: That is, if you have an IndexedTraversal, you just need to serialize the index. |
| 15:39:24 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds) |
| 15:39:54 | × | Jonkimi727406120 quits (~Jonkimi@115.44.7.41) (Ping timeout: 256 seconds) |
| 15:42:15 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:44:21 | hackage | heapsize 0.2.0 - Determine the size of runtime data structures https://hackage.haskell.org/package/heapsize-0.2.0 (PepeIborra) |
| 15:44:48 | × | acairncross quits (~aiken@89.81.7.51.dyn.plus.net) (Quit: Leaving) |
| 15:45:24 | → | pokid joins (~pokid@unaffiliated/pokid) |
| 15:45:30 | ← | pokid parts (~pokid@unaffiliated/pokid) () |
| 15:46:22 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 15:46:38 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:46:39 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 15:47:51 | × | Qudit314159 quits (~user@unaffiliated/qudit314159) (Read error: Connection reset by peer) |
| 15:48:21 | hackage | derive-storable-plugin 0.2.3.1 - GHC core plugin supporting the derive-storable package. https://hackage.haskell.org/package/derive-storable-plugin-0.2.3.1 (mkloczko) |
| 15:49:23 | <Squarism> | dminuoso, oh ok. ill check that out directly |
| 15:49:49 | × | alp quits (~alp@2a01:e0a:58b:4920:dc84:c063:495d:94ee) (Ping timeout: 272 seconds) |
| 15:50:23 | × | androzanimedium quits (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Quit: Lost terminal) |
| 15:51:52 | <dminuoso> | Squarism: Roughly Im thinking of this https://hackage.haskell.org/package/optics-core-0.3.0.1/docs/Optics-IxTraversal.html#v:element |
| 15:51:57 | <dminuoso> | element :: Traversable f => Int -> IxAffineTraversal' Int (f a) a |
| 15:53:00 | <dminuoso> | And indeed |
| 15:53:02 | <dminuoso> | https://hackage.haskell.org/package/lens-4.19.2/docs/Control-Lens-Combinators.html#v:element |
| 15:53:04 | <dminuoso> | lens has it too |
| 15:53:26 | <dminuoso> | Or, the more general form |
| 15:53:28 | <dminuoso> | elementOf :: Applicative f => LensLike (Indexing f) s t a a -> Int -> IndexedLensLike Int f s t a a |
| 15:54:02 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 260 seconds) |
| 15:54:14 | <Squarism> | dminuoso, so how would the serialization to string be done? |
| 15:54:46 | <dminuoso> | Serializing the Int? |
| 15:55:09 | → | LKoen_ joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 15:56:26 | <Squarism> | Hmm.. what does the integer represent? Ie. in say a record holding a list containing records with a field "fld1" ? |
| 15:56:26 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:57:43 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:57:51 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Ping timeout: 265 seconds) |
| 15:58:15 | <dminuoso> | % probe n = ["foo", "bar","quux"] ^.. elementOf (traverse . traverse) n |
| 15:58:16 | <yahb> | dminuoso: |
| 15:58:20 | <dminuoso> | Squarism: An index. |
| 15:58:48 | <dminuoso> | Squarism: with elementsOf you can turn an indexed traversal into an (indexed) affine traversal |
| 15:59:03 | <dminuoso> | See above probe |
| 15:59:29 | × | reallymemorable quits (~quassel@ip68-9-215-56.ri.ri.cox.net) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:59:29 | <dminuoso> | That way you can serialize the Int, and recover an affine traversal from it again |
| 15:59:43 | <Squarism> | okok.. ill try that |
| 16:00:12 | <dminuoso> | When you said "traversal that targets one element" thats what we call an affine traversal |
| 16:00:25 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 16:00:27 | <dminuoso> | lens cant represent it, so they're just traversals with the promise "targets only one element" |
| 16:02:01 | <Squarism> | I guess It could be worth trying out. Had hoped for something more human readable but i guess beggars cant be choosers. =D |
| 16:04:23 | <dminuoso> | Squarism: I dont see any alternative, really. |
| 16:04:44 | <dminuoso> | The only component in lens that lets you (partially) describe an optic is the index of indexed optics |
| 16:04:50 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 264 seconds) |
| 16:04:55 | <dminuoso> | The other stuff is just van laarhoven/profunctor encoding, and you cant serialize those |
| 16:05:49 | <Squarism> | Ill see what can be done with the IndexedTraversal |
| 16:06:29 | → | conal joins (~conal@64.71.133.70) |
| 16:06:47 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 16:08:12 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 16:08:41 | <dminuoso> | Squarism: Also be sure to look at reindexed. |
| 16:08:53 | <dminuoso> | In case you have a non-Int index |
| 16:09:18 | <dminuoso> | (You'll need some sort of injection into Int at the very least) |
| 16:09:32 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:09:48 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:10:03 | <ryantrinkle> | is it at all plausible to have a "constrained kind", i.e. a kind such that all types in that kind are instances of a particular class |
| 16:10:23 | <ryantrinkle> | i can't figure out whether that idea is 1) sensible at all; or 2) possible to do in GHC |
| 16:10:30 | <hpc> | :k Num a => a |
| 16:10:32 | <lambdabot> | error: Not in scope: type variable ‘a’ |
| 16:10:32 | <lambdabot> | error: Not in scope: type variable ‘a’ |
| 16:10:47 | <hpc> | :k (forall a. Num a => a) |
| 16:10:49 | <lambdabot> | * |
| 16:11:06 | <hpc> | looks like the constraint isn't reflected in the kind |
| 16:11:12 | <hpc> | but as it turns out, Constraint is a kind |
| 16:11:14 | <hpc> | :k Num |
| 16:11:16 | <lambdabot> | * -> Constraint |
| 16:11:16 | <ryantrinkle> | hpc: right |
| 16:11:20 | <ryantrinkle> | yeah i'm familiar with that |
| 16:11:20 | <dminuoso> | Mmm, you could have an existential buried in a newtype, lifted through DataKinds |
| 16:11:28 | <dminuoso> | Would that work? |
| 16:11:39 | <ryantrinkle> | dminuoso: it might! let me see |
| 16:12:44 | → | u0_a298 joins (~user@65.35.205.131) |
| 16:13:00 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Client Quit) |
| 16:14:07 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 16:14:25 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 16:15:00 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) |
| 16:16:13 | <SrPx> | I'm getting: `cabal-3.2.0.0: can't find source for src/Main in src`, but I do have a `Main.hs` on `/src` |
| 16:16:31 | <dminuoso> | SrPx: What invocation did you use, and can you share your cabal file? |
| 16:16:32 | <SrPx> | I also have: ` main-is: src/Main.hs` inside `executable` on `.cabal` |
| 16:16:39 | <SrPx> | and ` hs-source-dirs: src` there too |
| 16:16:45 | <SrPx> | dminuoso: yes, hold on |
| 16:17:03 | <maerwald> | main-is: Main.hs |
| 16:17:28 | <dminuoso> | Ah I guess the error message does tell you |
| 16:17:33 | <dminuoso> | It looks for "src/Main" inside "src" |
| 16:17:35 | <dminuoso> | :p |
| 16:17:47 | <SrPx> | oh lord |
| 16:17:51 | <SrPx> | makes sense |
| 16:18:41 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-lovaggfdmdpppkhm) (Quit: Connection closed for inactivity) |
| 16:19:27 | <SrPx> | okay, it builds now! |
| 16:19:48 | <SrPx> | but there is a problem with `cabal install` |
| 16:20:23 | <SrPx> | `Couldn't find module Foo` from `src/Main.hs`, but I do have a file called `src/Foo.hs` starting with `module Foo where` |
| 16:21:10 | <SrPx> | Here is a complete log: https://gist.github.com/MaiaVictor/7040ce60ecaf939943d063071cfd8f07 |
| 16:22:24 | <ryantrinkle> | dminuoso: I think this is roughly what i'm going for https://gist.github.com/ryantrinkle/0e28bc1e458f71fd69462c7581d4ec60 |
| 16:23:01 | <f-a> | if seems you have a «formality» module SrPx |
| 16:23:04 | <f-a> | not FormalityLib |
| 16:23:06 | <f-a> | *Formality |
| 16:23:06 | <ryantrinkle> | it doesn't really seem like there's anywhere numtype could conjure up the Num dictionary from, though |
| 16:23:19 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 16:23:43 | <SrPx> | f-a: no, src/FormalityLib starts with `module FormalityLib where` |
| 16:23:50 | <SrPx> | `src/FormalityLib.hs` |
| 16:24:07 | <SrPx> | also shouldn't this error show up on `cabal build` and not `cabal install`? weird |
| 16:24:16 | <f-a> | In your exposed modules I see |
| 16:24:18 | <f-a> | Exposed-modules: Formality |
| 16:24:43 | <SrPx> | oh |
| 16:24:55 | <SrPx> | hmm, but I wanted FormalityLib to be hidden |
| 16:24:58 | <SrPx> | so I need to expose it, I see |
| 16:25:10 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 16:25:12 | × | acidjnk_new quits (~acidjnk@p200300d0c719ff54906a13e95f8a8c85.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:25:26 | <f-a> | well, if you are developing a library, some modules will be exposed, no? |
| 16:25:35 | <hololeap> | wouldn't the proper place to put those modules be in a "other-modules:" line? |
| 16:25:45 | <f-a> | specifically, the modules a — say — executable will use |
| 16:25:52 | <f-a> | and yeah, what hololeap says |
| 16:26:29 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 16:27:03 | <SrPx> | `Formality.hs` (module Formality) is the module I'm trying to export. `FormalityLib.hs` is an huge generated file that shouldn't be exported. `Formality.hs` imports `FormalityLib.hs` and re-exports it with a nicer API, basically |
| 16:27:48 | <f-a> | ok |
| 16:27:51 | → | kuribas joins (~user@ptr-25vy0i8j1ycr5rdgd2i.18120a2.ip6.access.telenet.be) |
| 16:28:01 | <zfnmxt> | In this post concerning Data.Singletons, the author states that he understands why the error they're having occurs, but *I* do not understand why (and am experiencing the same error), can anyone explain? https://stackoverflow.com/questions/58758599/creating-a-type-level-structure-that-contains-a-typelit-with-singletons |
| 16:28:05 | <f-a> | then put FormalityLib in «other modules» like hololeap said |
| 16:28:05 | <hololeap> | also, using `cabal install` is typically discouraged |
| 16:28:15 | <SrPx> | hololeap: why? |
| 16:28:25 | <SrPx> | f-a: I will, thank you (: |
| 16:28:34 | × | em1n quits (~user@2401:4900:33a0:9423:35c5:7032:f69d:635c) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:29:51 | <hololeap> | SrPx: i think because modern cabal builds all its dependencies within the project dir, and `cabal install` doesn't really accomplish anything other than cluttering up your ~/.cabal directory |
| 16:30:05 | <hololeap> | but someone else should chime in on that one |
| 16:30:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:30:32 | <hololeap> | it might make sense to use it when your package builds an executable |
| 16:30:33 | → | larou joins (5eae2591@gateway/web/cgi-irc/kiwiirc.com/ip.94.174.37.145) |
| 16:30:54 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 16:31:05 | <SrPx> | so, all is working now, and I have a cabal project that builds/installs, and a `fmhs` executable that type-checks formality files (yay) -- the question is, how do I publish it so people install it in their machines, if not using `cabal install` ? hololeap |
| 16:32:00 | <f-a> | SrPx: they will have a cabal package and your package listed in theh dependency sections |
| 16:32:02 | <monochrom> | cabal install is not discouraged. |
| 16:32:20 | <SrPx> | f-a: I mean, for people to use as a command line tool |
| 16:32:21 | <f-a> | the build-depends one |
| 16:32:28 | <SrPx> | not necessarily haskell developers |
| 16:32:36 | <f-a> | for them, cabal install will do |
| 16:32:45 | <SrPx> | I see. So I ask them to clone, cd and cabal install? |
| 16:32:46 | <hololeap> | i thought it was when invoked from within a cabal source dir |
| 16:32:56 | <maerwald> | it has unexpected semantics at least |
| 16:32:59 | <f-a> | which will create a symlink in ~/.cabal/bin, so remember to put that in $PATH |
| 16:33:30 | <f-a> | if you publish your package in hackage, just install cabal, cabal update (if needed) and cabal install yourpackage |
| 16:33:42 | <monochrom> | That one is not discouraged either. I do that all the time. |
| 16:34:27 | <f-a> | do that all the time (form the source dir) to obtain which result, monochrom ? |
| 16:34:28 | → | HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) |
| 16:35:02 | <monochrom> | Because that source directory is authored by me, and I'm not uploading it to hackage, and it is an exe I want to use as an end user. As an end user, I'm not going to always cd into that directory and use "cabal run" now, am I? |
| 16:35:10 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 16:35:29 | <SrPx> | do I add cabal.project.local files to my repo? |
| 16:35:32 | <monochrom> | Therefore, inside that directory, issuing "cabal install" so my exe is on the PATH is necessary. What discouraged? |
| 16:35:36 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds) |
| 16:35:59 | <maerwald> | monochrom: it doesn't run `cabal build`, it runs `cabal sdist`,unpacks to a temp folder and builds it there |
| 16:36:25 | <f-a> | SrPx: I do not do it and do not see a compelling reason to do it |
| 16:36:44 | <maerwald> | it's not entirely clear to me how much of your cabal.project configuration is honoured when doing `cabal install` |
| 16:36:49 | <monochrom> | I can also describe a slightly longer story about: If it's my source directory and it contains a library, and sometimes I want to use that library as an end user in a random ghci session. |
| 16:36:53 | <f-a> | oh, so `cabal install` from local source folders got fixed, good to know |
| 16:37:06 | <monochrom> | And it's slightly longer only because I need the --lib flag. |
| 16:37:16 | <SrPx> | f-a: okay |
| 16:37:21 | <maerwald> | stack does it right, it runs `stack build` and then copies the binary |
| 16:37:37 | <monochrom> | And I need the --lib flag only because of someone else's ideology or religion that wants to discourage this perfectly common usage. |
| 16:37:55 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds) |
| 16:38:05 | gproto023 | is now known as gproto23 |
| 16:39:19 | → | alp joins (~alp@2a01:e0a:58b:4920:8179:df5f:5f69:dd36) |
| 16:39:24 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:39:24 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 256 seconds) |
| 16:44:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 16:44:58 | <hololeap> | SrPx: i use cabal.project.local just so i can add custom GHC options that don't need to be shipped with the repo, and also to point to other local projects |
| 16:45:10 | <SrPx> | okay! |
| 16:45:14 | <SrPx> | all works, thanks everyone |
| 16:45:19 | <f-a> | well done |
| 16:45:24 | <f-a> | what does your exe do, btw |
| 16:45:58 | <hololeap> | looks like some kind of compiler/interpreter for a custom language |
| 16:46:12 | hololeap | shrugs |
| 16:46:21 | <SrPx> | it is the Formality language! (: |
| 16:46:49 | <SrPx> | it is a proof assistant like Agda but more minimalistic, way simpler and faster in many senses |
| 16:47:04 | <monochrom> | Is it a language for ants? Or am I mixing up "formal" with "formic"... |
| 16:47:05 | <SrPx> | I implemented the whole language in itself, and now I compiled it to Haskell |
| 16:47:52 | <SrPx> | I don't like the name, it is supposed to be a counterpart to Solidity, the smart-contract language. Formality was initially an internal project & Ethereum Foundation |
| 16:48:01 | <SrPx> | https://github.com/moonad/FormalityFM/tree/master/bin/hs |
| 16:48:23 | <SrPx> | here is the Haskell code, in case anyone is curious. I'll make a very cool blog post about this bootstrapping process when I finish the documentation |
| 16:48:37 | <SrPx> | I also need to finish the Scheme compiler (: |
| 16:48:38 | → | tutorial joins (~email.o@151.49.167.96) |
| 16:49:07 | <f-a> | excellent SrPx |
| 16:49:13 | <f-a> | what is your blog, so I can add it to my rss |
| 16:49:16 | × | sw1nn quits (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) (Quit: WeeChat 2.9) |
| 16:49:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 16:49:27 | <tutorial> | !list |
| 16:49:27 | <monochrom> | tutorial: https://www.haskell.org/ghcup/ |
| 16:49:30 | <SrPx> | I don't have one, this will be the first post :P |
| 16:49:47 | <SrPx> | also if you guys have suggestions on what to use to make a minimalist, lightweight blog for these things |
| 16:50:02 | <SrPx> | one that I can just write some markdown, publish and will give the least amount of work to me |
| 16:50:02 | <monochrom> | "annealing" comes to my mind when I think of making something solid. (Well, "freezing" came first, but then when you solidify steel you don't call that freezing.) |
| 16:50:06 | <tutorial> | curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh |
| 16:50:11 | <SrPx> | specially don't want to deal with having to host it |
| 16:50:35 | <monochrom> | oh, "forging" is better |
| 16:50:38 | → | sw1nn joins (~sw1nn@host81-131-191-165.range81-131.btcentralplus.com) |
| 16:50:39 | → | fendor_ joins (~fendor@178.115.128.128.wireless.dyn.drei.com) |
| 16:52:11 | → | geekosaur joins (ac3a8ce1@172.58.140.225) |
| 16:52:43 | <f-a> | SrPx: there is a nice static site generator in haskell, hakyll |
| 16:53:01 | <f-a> | also in haskell: https://discourse.haskell.org/t/announcing-neuron-zettelkasten-in-haskell/1137 |
| 16:53:11 | <SrPx> | f-a: I'll have a look, but if it just generates a static site there won't be comments and I'll need to host ): |
| 16:53:29 | <f-a> | some people «attach» Discourse |
| 16:53:47 | × | fendor quits (~fendor@77.119.131.179.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 16:53:55 | <f-a> | I just have a mailto: comment link at the end of the page (e.g. http://www.ariis.it/static/articles/dodecaphonic-experiment/page.html ) |
| 16:54:14 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 16:54:24 | <SrPx> | hmm |
| 16:55:08 | <f-a> | (yeah, welcome to the 90s) |
| 16:55:19 | <f-a> | check what other folks do |
| 16:57:21 | hackage | heapsize 0.3.0 - Determine the size of runtime data structures https://hackage.haskell.org/package/heapsize-0.3.0 (PepeIborra) |
| 16:59:36 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:00:00 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:02:34 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:03:13 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:04:19 | × | tutorial quits (~email.o@151.49.167.96) () |
| 17:06:25 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:06:55 | → | awk joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 17:07:01 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:07:18 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:07:25 | → | knupfer joins (~Thunderbi@200116b82c34fc009cecb4fffec48686.dip.versatel-1u1.de) |
| 17:08:24 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 17:08:37 | <boxscape> | hmm prime.haskell.org seems to be down |
| 17:09:00 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 17:09:38 | → | knupfer1 joins (~Thunderbi@200116b82c34fc00e57812effaa3cf6d.dip.versatel-1u1.de) |
| 17:10:02 | <justsomeguy> | I'm trying to rewrite “elem” in terms of “foldr” for practice. Here's what I have so far: “ foldr (||) False . foldr (\y ys -> (y == e):ys) []”. Is it possible for me to move the “(||)” operator into the first “foldr”? |
| 17:11:24 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 17:11:34 | <geekosaur> | yes |
| 17:11:57 | × | LKoen_ quits (~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection) |
| 17:12:09 | × | knupfer quits (~Thunderbi@200116b82c34fc009cecb4fffec48686.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 17:12:09 | knupfer1 | is now known as knupfer |
| 17:12:55 | <justsomeguy> | Ok, I better experiment with this for a bit more and see if I can figure it out, then. |
| 17:13:08 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 17:14:08 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 17:15:02 | <boxscape> | justsomeguy if it helps and if it's not obvious, keep in mind that foldr just replaces (:) with a function and and [] with a constant, so you might consider what f and z would have to be so that `elem x [1,2,3] = 1 `f` 2 `f` 3 `f` z` |
| 17:15:11 | <hekkaidekapus> | monochrom: Have you heard of cabal-env? It avoid `cabal-install install --lib`’s pitfalls and, iirc, Oleg would like to get feedback on that as it is the next-generation `c.i. --lib.` |
| 17:15:45 | awk | is now known as somethingelse |
| 17:16:02 | <boxscape> | .. or `f 1 (f 2 (f 3 z)))` |
| 17:18:13 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:18:57 | → | Digitteknohippie joins (~user@fsf/member/digit) |
| 17:18:59 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:19:06 | <hekkaidekapus> | > foldr f z [1, 2, 3] |
| 17:19:09 | <lambdabot> | f 1 (f 2 (f 3 z)) |
| 17:20:47 | → | contiver joins (~contiver@84-115-65-124.wifi.dynamic.surfer.at) |
| 17:21:13 | × | Digit quits (~user@fsf/member/digit) (Ping timeout: 260 seconds) |
| 17:21:17 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 17:21:21 | × | f-a quits (~f-a@151.36.220.175) (Quit: leaving) |
| 17:21:39 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 272 seconds) |
| 17:22:07 | <justsomeguy> | That does help :). Now I have “myElem e = foldr (\y ys -> y == e || ys) False”. |
| 17:22:20 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 17:22:34 | → | vg joins (~vg@139.59.59.230) |
| 17:22:46 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 17:23:02 | → | vg joins (~vg@139.59.59.230) |
| 17:23:52 | <geekosaur> | I'd reverse the alternative just to take advantage of short-circuiting, although I doubt it buys much unless the comparison is expensive |
| 17:24:15 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:24:16 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 17:24:33 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 17:24:41 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 17:25:07 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 17:26:23 | → | f-a joins (~f-a@151.36.220.175) |
| 17:27:56 | <tomsmeding> | this _is_ the right order for short-circuiting, right? |
| 17:28:09 | ← | f-a parts (~f-a@151.36.220.175) () |
| 17:28:13 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 17:28:36 | <tomsmeding> | > foldr (\y ys -> y == 0 || ys) False [0..] |
| 17:28:38 | <lambdabot> | True |
| 17:28:42 | <tomsmeding> | > foldr (\y ys -> ys || y == 0) False [0..] |
| 17:28:46 | <justsomeguy> | I think I was confused about whether “ys” would be substituted in as an unprocessed list, or the processed list with function applications. I was imagining that the cons cells were being replaced one-by-one, but instead they're replaced all at once, so “ys” is a function call stack. |
| 17:28:49 | <geekosaur> | `y == e || ys' does the compariso first |
| 17:28:49 | <lambdabot> | mueval-core: Time limit exceeded |
| 17:29:46 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 17:30:08 | <tomsmeding> | justsomeguy: yes that 'ys' is the result of the fold over the rest of the list |
| 17:30:20 | → | Entertainment joins (~entertain@104.246.132.210) |
| 17:30:34 | → | benjamin-l joins (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) |
| 17:31:01 | <tomsmeding> | geekosaur: if you list the comparison first, then as soon as that ever returns true, the thunk for the fold over the remainder of the list need not even be evaluated ;) |
| 17:32:30 | <ski> | justsomeguy : `ys' becomes the recursive call of `foldr' |
| 17:33:03 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 17:33:04 | × | lxsameer quits (~lxsameer@unaffiliated/lxsameer) (Ping timeout: 265 seconds) |
| 17:33:26 | <ski> | > foldr (\x y -> x - y) z [a,b,c,d] |
| 17:33:29 | <lambdabot> | a - (b - (c - (d - z))) |
| 17:33:29 | → | vg joins (~vg@139.59.59.230) |
| 17:33:48 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 17:35:55 | × | tlaxkit quits (~kvirc@185.228.155.198) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 17:36:56 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 17:39:30 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:39:48 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 17:39:59 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:42:15 | × | u0_a298 quits (~user@65.35.205.131) (Read error: Connection reset by peer) |
| 17:42:30 | → | u0_a298 joins (~user@65.35.205.131) |
| 17:43:47 | → | lxsameer joins (~lxsameer@unaffiliated/lxsameer) |
| 17:46:36 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 240 seconds) |
| 17:49:02 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 17:49:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 17:49:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:51:25 | × | thebnq quits (~bnq@herrokitty.com) (Remote host closed the connection) |
| 17:52:08 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 17:52:18 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Quit: Leaving) |
| 17:52:33 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 17:53:13 | → | pokid joins (~pokid@unaffiliated/pokid) |
| 17:53:38 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 256 seconds) |
| 17:55:00 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:55:13 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 17:55:25 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:56:06 | → | urek__ joins (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) |
| 17:57:09 | → | thebnq joins (~bnq@herrokitty.com) |
| 17:58:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:59:01 | × | urek quits (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds) |
| 17:59:33 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection) |
| 18:00:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 18:00:29 | → | conal joins (~conal@64.71.133.70) |
| 18:01:03 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 18:01:18 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 18:02:23 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Quit: Leaving) |
| 18:02:24 | × | xff0x quits (~fox@2001:1a81:5212:df00:619a:8848:f789:a6cb) (Remote host closed the connection) |
| 18:02:40 | → | xff0x joins (~fox@2001:1a81:5212:df00:73d2:a321:b9d6:4d65) |
| 18:02:54 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 18:04:36 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 18:08:04 | → | JJ15 joins (~JJ@94.197.17.236.threembb.co.uk) |
| 18:10:17 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:10:48 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 18:10:51 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 18:13:17 | → | contiver_ joins (~contiver@84-115-64-191.wifi.dynamic.surfer.at) |
| 18:13:23 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 18:13:47 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 18:15:57 | × | contiver quits (~contiver@84-115-65-124.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 18:16:24 | <boxscape> | Is there any way to access https://prime.haskell.org/wiki/PolymorphicComponents ? wayback machine doesn't have it, but duckduckgo lists a snippet of its text when searching for it (today it's just a synonym for RankNTypes, but I'd like to read more about what it used to be) |
| 18:16:25 | × | juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 264 seconds) |
| 18:18:12 | → | christo joins (~chris@81.96.113.213) |
| 18:20:33 | × | alp quits (~alp@2a01:e0a:58b:4920:8179:df5f:5f69:dd36) (Ping timeout: 272 seconds) |
| 18:23:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:23:17 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 18:24:21 | <boxscape> | hm, well, https://downloads.haskell.org/ghc/6.10.1/docs/html/users_guide/other-type-extensions.html#universal-quantification still distinguishes between them, I suppose the User Guide ought to be enough specification |
| 18:25:25 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:26:20 | <merijn> | boxscape: afaict from there it's just a subset of RankN |
| 18:27:04 | <boxscape> | merijn from the User's guide it sounds like back then neither was a subset of the other, but I'm not sure |
| 18:27:21 | <boxscape> | wait |
| 18:27:23 | <boxscape> | I'm wrong |
| 18:27:26 | <boxscape> | you're right |
| 18:27:36 | <merijn> | :) |
| 18:27:45 | <merijn> | Story of my life ;) |
| 18:28:07 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 18:28:09 | <merijn> | Which would explain why that extension is gone noe |
| 18:28:18 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 18:28:31 | <merijn> | Doesn't seem very useful to have separate dedicated one for constructors |
| 18:29:44 | <boxscape> | merijn you can emulate RankNTypes using only PolymorphicComponents |
| 18:29:49 | <boxscape> | that's what I'm doing in Java |
| 18:30:29 | × | geekosaur quits (ac3a8ce1@172.58.140.225) (Ping timeout: 245 seconds) |
| 18:31:43 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 18:31:58 | <boxscape> | i.e. if you have a type `forall r . (forall s . P s -> r) -> r`, you'll have to instead construct a type `data ForallP r = ForallP (forall s . P s -> r)` and then your type becomes `forall r . ForallP r -> r` |
| 18:33:18 | <boxscape> | merijn I imagine if they were introduced at the same time the motivation was the same as for Rank2Types, to keep type inference for everything when it's enabled |
| 18:34:05 | <merijn> | Rank2Type inference was never in GHC, though :p |
| 18:34:11 | <merijn> | And most likely won't ever be |
| 18:34:34 | <boxscape> | true, but I've heard that was the motivation, at least :) |
| 18:36:12 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 18:37:00 | → | Deide joins (~Deide@217.155.19.23) |
| 18:37:02 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 18:37:21 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 18:38:23 | → | Entertainment joins (~entertain@104.246.132.210) |
| 18:39:01 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 18:44:01 | × | DataComputist quits (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) (Ping timeout: 264 seconds) |
| 18:44:58 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 18:48:21 | → | geekosaur joins (ac3a8ce1@172.58.140.225) |
| 18:49:06 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:49:57 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 18:50:40 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 18:51:12 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 18:54:49 | somethingelse | is now known as awk |
| 18:55:00 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 18:59:51 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) |
| 19:02:11 | → | arifordsham joins (5af9dccf@90.249.220.207) |
| 19:03:27 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 265 seconds) |
| 19:03:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:56 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@mx-ll-171.5.161-165.dynamic.3bb.co.th) (Ping timeout: 240 seconds) |
| 19:04:14 | × | arifordsham quits (5af9dccf@90.249.220.207) (Remote host closed the connection) |
| 19:04:15 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 19:06:51 | hackage | phonetic-languages-ukrainian 0.3.0.0 - Prepares Ukrainian text to be used as a phonetic language text https://hackage.haskell.org/package/phonetic-languages-ukrainian-0.3.0.0 (OleksandrZhabenko) |
| 19:07:14 | × | xff0x quits (~fox@2001:1a81:5212:df00:73d2:a321:b9d6:4d65) (Ping timeout: 264 seconds) |
| 19:07:52 | → | xff0x joins (~fox@2001:1a81:5212:df00:d7cf:4a87:a54b:9a9b) |
| 19:09:21 | hackage | polysemy-time 0.1.1.0 - Polysemy effect for time https://hackage.haskell.org/package/polysemy-time-0.1.1.0 (tek) |
| 19:11:10 | → | shf joins (~sheaf@2a01:cb19:80cc:7e00:18fb:674e:a5dc:b905) |
| 19:12:03 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 256 seconds) |
| 19:12:44 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 19:14:35 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 19:16:01 | × | contiver_ quits (~contiver@84-115-64-191.wifi.dynamic.surfer.at) (Ping timeout: 256 seconds) |
| 19:16:14 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 19:17:10 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 19:18:51 | hackage | polysemy-test 0.3.0.2 - Polysemy effects for testing https://hackage.haskell.org/package/polysemy-test-0.3.0.2 (tek) |
| 19:20:19 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Connection closed) |
| 19:20:54 | × | notzmv quits (~user@unaffiliated/zmv) (Read error: No route to host) |
| 19:20:58 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 19:21:01 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 19:21:15 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Client Quit) |
| 19:21:57 | → | notzmv joins (~user@unaffiliated/zmv) |
| 19:22:16 | → | alp joins (~alp@2a01:e0a:58b:4920:d8c4:d831:fb12:ab66) |
| 19:22:58 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:26:02 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 19:26:22 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:26:46 | × | knupfer quits (~Thunderbi@200116b82c34fc00e57812effaa3cf6d.dip.versatel-1u1.de) (Quit: knupfer) |
| 19:26:54 | → | knupfer joins (~Thunderbi@200116b82c34fc005d08729243d08baf.dip.versatel-1u1.de) |
| 19:29:33 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 19:37:00 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 19:40:49 | → | acidjnk_new joins (~acidjnk@p200300d0c719ff59c0fa403c32c1f5ec.dip0.t-ipconnect.de) |
| 19:44:10 | ← | pokid parts (~pokid@unaffiliated/pokid) () |
| 19:44:54 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 272 seconds) |
| 19:46:03 | → | Entertainment joins (~entertain@104.246.132.210) |
| 19:46:49 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 19:53:57 | → | f-a joins (~f-a@151.36.56.0) |
| 19:54:51 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:f81c:ff6e:432:f940) |
| 19:55:22 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 19:56:09 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 19:56:22 | → | urek joins (~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd) |
| 19:58:05 | × | urek__ quits (~urek@2804:7f1:e10a:5ac1:312c:96a5:4918:f030) (Ping timeout: 272 seconds) |
| 19:58:15 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Quit: leaving) |
| 20:01:56 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 265 seconds) |
| 20:02:48 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds) |
| 20:02:59 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 20:04:31 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 20:04:31 | × | sankarshan quits (~sankarsha@178.239.168.171) (Remote host closed the connection) |
| 20:04:48 | → | falafel joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 20:05:43 | → | conal joins (~conal@64.71.133.70) |
| 20:06:19 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 20:07:22 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 20:09:30 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit) |
| 20:09:51 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 20:14:51 | → | Unhammerd joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 20:15:03 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 20:18:27 | × | kuribas quits (~user@ptr-25vy0i8j1ycr5rdgd2i.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 20:22:14 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 20:25:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 20:25:25 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:26:28 | × | nahcetan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 20:26:56 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 20:28:03 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 20:28:58 | → | Ramaken joins (~Ramaken@a80-127-252-11.adsl.xs4all.nl) |
| 20:28:58 | → | mivael joins (c16e4caa@193.110.76.170) |
| 20:30:04 | × | knupfer quits (~Thunderbi@200116b82c34fc005d08729243d08baf.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 20:32:21 | hackage | advent-of-code-ocr 0.1.1.0 - Parse Advent of Code ASCII art letters https://hackage.haskell.org/package/advent-of-code-ocr-0.1.1.0 (jle) |
| 20:32:24 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 20:35:21 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 20:35:45 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:36:09 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 20:36:39 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 20:38:44 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 20:39:22 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz) |
| 20:40:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 20:41:44 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 20:44:25 | × | falafel quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 20:45:30 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 20:45:31 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit) |
| 20:46:09 | → | justsomeguy joins (~justsomeg@216.186.218.241) |
| 20:46:09 | × | justsomeguy quits (~justsomeg@216.186.218.241) (Changing host) |
| 20:46:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 20:46:54 | <mivael> | > let fromList = Data.Map.fromList; union = Data.Map.union; m = fromList [(2,200),(7,700),(3,300)]; n = [(8,800),(5,500)] in (union m . fromList) n |
| 20:46:55 | <lambdabot> | fromList [(2,200),(3,300),(5,500),(7,700),(8,800)] |
| 20:47:27 | <mivael> | hello, is this a proper way to insert multiple elements into a Data.Map? |
| 20:47:40 | <merijn> | mivael: Depends, what should happen on conflict? |
| 20:48:19 | ← | f-a parts (~f-a@151.36.56.0) () |
| 20:48:31 | <mivael> | merijn: assuming we already checked, no conflicts |
| 20:48:41 | <merijn> | Then sure |
| 20:49:00 | <merijn> | mivael: Note that there's also unionWith and fromListWith which let you merge conflicts |
| 20:49:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:49:11 | <dsal> | "checked" sounds suspicious. Whatever checking you did must be duplicating work that would have to happen during this process anyway. |
| 20:49:37 | <merijn> | dsal: The lack of "create map *or* error" in containers kinda annoys me |
| 20:49:41 | <merijn> | Maybe I should make a PR... |
| 20:49:48 | → | Entertainment joins (~entertain@104.246.132.210) |
| 20:49:55 | <mivael> | dsal: understood |
| 20:50:09 | <koz_> | merijn: Would it be something like (Ord k) => [(k,v)] -> Maybe (Map k v)? |
| 20:50:24 | <koz_> | Or like, Either (k, k) (Map k v)? |
| 20:50:36 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 20:50:38 | <koz_> | s/(k, k)/k/ |
| 20:50:56 | <merijn> | koz_: Something like that, yes |
| 20:50:56 | <mivael> | merijn: I mean should I expect a little performance penalty from creating an additional intermediary Data.Map? |
| 20:51:04 | <tomsmeding> | merijn: there is traverseMaybeWithKey in Data.Map.Strict, but that's only for removing keys; there's also alterF, but that's only for single keys |
| 20:51:07 | <tomsmeding> | I agree with your assessment :p |
| 20:51:18 | <koz_> | I think the 'Either k (Map k v)' formulation is more useful, since then you'd know what caused the conflict. |
| 20:51:29 | <merijn> | mivael: Yes, but not one I'd bother worrying about until you profile and notice a problem |
| 20:51:36 | <koz_> | You could even go 'Either (k, v) (Map k v)' formulation for maximum infomativeness. |
| 20:51:38 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 20:51:43 | <merijn> | tomsmeding: I guess mergeA does this |
| 20:51:53 | <mivael> | merijn: thanks! |
| 20:51:56 | <tomsmeding> | oh different module |
| 20:51:57 | <geekosaur> | or [k] or [(k,v)] |
| 20:51:58 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 20:52:06 | <merijn> | This is some generalised death machinery: https://hackage.haskell.org/package/containers-0.6.4.1/docs/Data-Map-Merge-Lazy.html#v:mergeA |
| 20:52:07 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Client Quit) |
| 20:52:14 | <koz_> | geekosaur: Yeah, but I'd say once you found _one_ clash, you can probably stop. |
| 20:52:29 | <tomsmeding> | I guess, but indeed that's quite the hammer |
| 20:52:33 | × | urek quits (~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd) (Ping timeout: 272 seconds) |
| 20:52:42 | → | caecilius joins (~caecilius@gateway/tor-sasl/caecilius) |
| 20:53:51 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit) |
| 20:54:15 | <tomsmeding> | I didn't know about mergeA, but I think I've never had the need for this full generality yet |
| 20:54:26 | fendor_ | is now known as fendor |
| 20:55:08 | × | caecilius quits (~caecilius@gateway/tor-sasl/caecilius) (Client Quit) |
| 20:55:21 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) |
| 20:55:49 | → | caecilius joins (~caecilius@gateway/tor-sasl/caecilius) |
| 20:56:33 | × | wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 265 seconds) |
| 20:56:58 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 20:57:13 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-jnheqdjklwmeetne) |
| 20:58:33 | → | wwwww joins (~wwwww@unaffiliated/wwwww) |
| 20:59:05 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 21:01:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:03:14 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 21:05:43 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 21:07:52 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:f81c:ff6e:432:f940) (Ping timeout: 260 seconds) |
| 21:08:27 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801bcb5e33e9742c8f7.dip0.t-ipconnect.de) |
| 21:11:39 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801bcb5e33e9742c8f7.dip0.t-ipconnect.de) (Client Quit) |
| 21:14:05 | <koz_> | For megaparsec's 'space' combinator, if I _don't_ want to support block comments as such, what should I pass for its third argument? |
| 21:14:27 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 256 seconds) |
| 21:16:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 21:17:25 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 21:17:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:17:57 | <koz_> | Ah, 'empty'. |
| 21:19:05 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-jbnazvtdsyymenum) |
| 21:22:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 21:23:32 | → | christo joins (~chris@81.96.113.213) |
| 21:25:47 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds) |
| 21:26:19 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 21:27:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:31:27 | → | urek joins (~urek@2804:7f1:e10a:5ac1:9da8:e4f6:9638:96bd) |
| 21:31:54 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 21:34:51 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 21:35:33 | × | Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection) |
| 21:36:27 | → | trepanger joins (~z@ics141-225.icsincorporated.com) |
| 21:36:32 | × | sondr3 quits (~sondr3@cm-84.211.56.132.getinternet.no) (Quit: Leaving) |
| 21:37:25 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 21:37:33 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 21:39:02 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 21:39:23 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 21:42:47 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 21:43:07 | → | nkatte_ joins (~nkatte@2804:14c:7982:10c9:4e1d:96ff:fe53:98e1) |
| 21:44:16 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 21:45:21 | × | geekosaur quits (ac3a8ce1@172.58.140.225) (Remote host closed the connection) |
| 21:47:46 | × | triteraflops quits (~triterafl@host-208-96-90-136.public.eastlink.ca) (Ping timeout: 272 seconds) |
| 21:50:08 | × | u0_a298 quits (~user@65.35.205.131) (Ping timeout: 260 seconds) |
| 21:50:26 | ← | delbmuts_ parts (528746e8@ppp-82-135-70-232.dynamic.mnet-online.de) () |
| 21:52:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:53:37 | × | exlipse quits (~exlipse@4e69b241.skybroadband.com) (Ping timeout: 264 seconds) |
| 21:53:44 | → | knupfer joins (~Thunderbi@200116b82c34fc00248e39fffec57c3f.dip.versatel-1u1.de) |
| 21:53:44 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 21:53:55 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 21:54:15 | × | trepanger quits (~z@ics141-225.icsincorporated.com) (Quit: leaving) |
| 21:54:23 | × | knupfer quits (~Thunderbi@200116b82c34fc00248e39fffec57c3f.dip.versatel-1u1.de) (Remote host closed the connection) |
| 21:54:32 | → | knupfer joins (~Thunderbi@200116b82c34fc00092785e1f1ef8791.dip.versatel-1u1.de) |
| 21:56:38 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 272 seconds) |
| 21:56:46 | → | conal joins (~conal@64.71.133.70) |
| 21:59:58 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 22:00:42 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 22:03:03 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 22:03:27 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:03:29 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 22:09:01 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:11:13 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 22:12:24 | → | tabemann joins (~tabemann@2600:1700:7990:24e0:70d3:975d:bfb3:7240) |
| 22:17:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:17:35 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 22:17:58 | → | Tario joins (~Tario@37.218.241.6) |
| 22:18:03 | × | Amras quits (~Amras@unaffiliated/amras) (Ping timeout: 272 seconds) |
| 22:18:08 | → | falafel_ joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 22:18:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:18:43 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:20:59 | → | contiver joins (~contiver@84-115-65-99.wifi.dynamic.surfer.at) |
| 22:21:08 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 265 seconds) |
| 22:21:38 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 22:22:53 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:23:01 | × | falafel_ quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 264 seconds) |
| 22:23:07 | × | alp quits (~alp@2a01:e0a:58b:4920:d8c4:d831:fb12:ab66) (Ping timeout: 272 seconds) |
| 22:23:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 22:23:59 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 22:25:05 | <cads> | anywhere I can read about how to trim down and clean up haskell libraries? |
| 22:25:23 | <dminuoso> | What do you mean by "trim down and clean up"? |
| 22:25:34 | <merijn> | cads: As in "I got to many on my system after working for a few months/year?" |
| 22:26:07 | <merijn> | Also, stack or cabal-install? |
| 22:26:13 | <cads> | no, like every module seems to have 60 lines of imports |
| 22:26:39 | <merijn> | cads: Within your own project, you mean? |
| 22:26:39 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:9189:9740:2cd9:fac9) |
| 22:26:46 | <cads> | sure |
| 22:26:57 | <cads> | within code I want to refactor |
| 22:27:07 | <merijn> | cads: Normally I'd define like a "project" prelude of common imports |
| 22:27:38 | <merijn> | cads: Take the subset of modules that is in (nearly) every module of your project, define a single module that imports and reexports those |
| 22:27:45 | <cads> | thinking of doing that locally to modules, if the imports are not shared |
| 22:28:19 | × | Ramaken quits (~Ramaken@a80-127-252-11.adsl.xs4all.nl) (Quit: Leaving) |
| 22:28:46 | <merijn> | cads: I mean, if all your modules have 60 imports and there's no common subset then, eh, you're out of luck |
| 22:29:35 | → | natechan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 22:29:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:29:45 | <dminuoso> | otoh, if all your modules have 60 imports, Id be taking a closer look in general |
| 22:30:11 | <dminuoso> | On average you might rather see 15-25 perhaps. 60 seems a bit high, especially if it's very consistent |
| 22:31:12 | <shapr> | cads: if you have unused code, you could try https://github.com/ocharles/weeder |
| 22:31:12 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 22:33:05 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 22:33:57 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 22:34:14 | <merijn> | GHC already warns about unused imports, though |
| 22:34:34 | × | contiver quits (~contiver@84-115-65-99.wifi.dynamic.surfer.at) (Ping timeout: 260 seconds) |
| 22:34:38 | <dminuoso> | merijn: If you stuff it in an export list... then it does not. :( |
| 22:34:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:34:42 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 22:34:58 | <merijn> | Well, sure |
| 22:35:00 | → | joaoh82 joins (~joaoh82@ip-213-127-88-241.ip.prioritytelecom.net) |
| 22:35:08 | <monochrom> | A monolithic design also has the symptom that every module "needs" to import everything else. |
| 22:35:10 | <merijn> | Because then it's not unused |
| 22:35:31 | → | Zao_ joins (~Zao_@185.204.1.185) |
| 22:35:44 | <dminuoso> | merijn: That depends. |
| 22:35:52 | <dminuoso> | If nothing imports or uses it, then its very much unused. |
| 22:36:06 | <dminuoso> | For an internal component or non-exposed module that's detectable, so... |
| 22:36:07 | <monochrom> | As opposed to: A layered design has every module only needs to import things from the layer below. |
| 22:36:41 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 22:37:30 | → | exlipse joins (~exlipse@4e69b241.skybroadband.com) |
| 22:37:50 | <cads> | oh fun, there is no easy way to find out which unit tests touch this module. The unit tests consist of about 400 random .sh files whose names have nothing to do with modules |
| 22:37:52 | <texasmynsted> | Sigh. Looks like I am going to have to come up with a project to use "MQTT" with. :-) |
| 22:38:16 | × | fendor quits (~fendor@178.115.128.128.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:38:29 | <cads> | see, I was thinking that the unit tests would help me take this byzantine module and think about it the way the developer does |
| 22:38:37 | <cads> | it turns out, they probably do |
| 22:40:01 | <cads> | what is the plushest and nicest behavior driven testing for haskell? |
| 22:40:18 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 260 seconds) |
| 22:40:47 | <cads> | and can it help force-convert legacy tests written in .sh? |
| 22:42:00 | <cads> | autrb2u - allurtestsrbelong2us <- this is what I would like this tool to be called |
| 22:42:47 | <cads> | or just mmmzig |
| 22:43:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:43:34 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 22:44:08 | <shapr> | cads: are they golden tests in the shell scripts? |
| 22:44:13 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 22:44:16 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 22:44:35 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 22:45:08 | × | n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection) |
| 22:45:30 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:45:46 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:48:22 | <cads> | I will have to read them and classify them a bit - there are 372 of them, many of them are just labeled by the bug fix they address, some of them kick off custom haskell fixtures, and there's probably some delineation between unit and integration testing, but currently all 327 shell files are jumbled together in one directory without any real taxonomy |
| 22:49:05 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 22:49:05 | × | Tario quits (~Tario@37.218.241.6) (Read error: Connection reset by peer) |
| 22:49:23 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 22:49:43 | → | Tario joins (~Tario@201.192.165.173) |
| 22:49:48 | <dsal> | texasmynsted: I use it for everything. Want to know when the hot tub is ready? Turn on the 3D printer? Measure energy consumption from my in-sink boiler? Adjust my car's charge level? So much stuff... |
| 22:50:07 | <texasmynsted> | :) |
| 22:50:41 | <dsal> | Got an alert telling me my refrigerator got too warm after I put a bunch of water in it. |
| 22:50:42 | <texasmynsted> | You are writing all this with your haskell implementation? Or Ivory or something? |
| 22:50:43 | <cads> | shapr, I will assume that they're a golden standard in the sense that they do indeed work, and they do indeed flag breaking changes if I mutate the code at random |
| 22:50:59 | <cads> | I haven't tried that yet - that should be fun |
| 22:51:25 | <texasmynsted> | What devices are you using? |
| 22:51:36 | <dsal> | texasmynsted: my mqtt broker is Haskell. Some stuff is if the shelf, some stuff is custom c++ embedded junk. |
| 22:51:42 | <shapr> | cads: I'd suggest moving the shell scripts into hspec or something |
| 22:51:56 | <texasmynsted> | Intersting |
| 22:52:07 | → | conal joins (~conal@64.71.133.70) |
| 22:52:10 | <texasmynsted> | Sounds like killer blog material actually |
| 22:52:31 | <cads> | shapr, anything even nicer and experimental than hspec? |
| 22:52:32 | <shapr> | cads: is this a closed source codebase? |
| 22:52:42 | <cads> | no |
| 22:52:48 | <dsal> | Sonoff R2 is cool. Basics are cheap. Lots of esp32 with custom code. RTL 433 translating to mqtt. I built out a bidirectional IR <-> mqtt bridge a few days ago that will work with most things. |
| 22:53:36 | <dsal> | texasmynsted: my car stuff is github.com/dustin/tesladb and influxer and outfluxer |
| 22:55:16 | <texasmynsted> | Ha cool! |
| 22:55:23 | × | ChanServ quits (ChanServ@services.) (*.net *.split) |
| 22:55:54 | <texasmynsted> | any luck with 8 bit chips? |
| 22:58:57 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 22:59:05 | <dsal> | I've not tried. My gate actuator was done on a board that cost around $5, so going lower doesn't make a lot of sense to me. :) |
| 22:59:25 | <texasmynsted> | Yeah, that is a good point |
| 23:00:03 | <cads> | shapr, ah, there's a note to test maintainers - that takes us to the project documentation site, where we learn that these are indeed the golden standard "this is what the CLI should output" style of test |
| 23:00:04 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 23:00:16 | <cads> | the unit tests live in the haskell module hierarchy |
| 23:00:40 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 23:01:02 | × | SupaYoshi quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Quit: Goodbye!) |
| 23:01:39 | → | ChanServ joins (ChanServ@services.) |
| 23:01:39 | kornbluth.freenode.net | sets mode +o ChanServ |
| 23:02:19 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 23:02:24 | <texasmynsted> | :-) |
| 23:02:46 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 23:04:29 | <shapr> | cads: this sounds like academia-ware |
| 23:04:52 | <shapr> | or perhaps written by those who speak Haskell as a tertiary language? |
| 23:05:21 | hackage | phonetic-languages-simplified-lists-examples 0.1.0.0 - Simplified and somewhat optimized version of the phonetic-languages-examples. https://hackage.haskell.org/package/phonetic-languages-simplified-lists-examples-0.1.0.0 (OleksandrZhabenko) |
| 23:10:12 | × | mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 3.0) |
| 23:10:35 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 23:11:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 23:12:25 | <merijn> | I wonder if that guy knows you're allowed to have more than 5 functions per package... |
| 23:13:13 | → | erisco joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 23:15:17 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 260 seconds) |
| 23:16:46 | <jackhill> | win 43 |
| 23:17:21 | hackage | xcffib 0.11.0 - A cffi-based python binding for X https://hackage.haskell.org/package/xcffib-0.11.0 (TychoAndersen) |
| 23:17:24 | <shapr> | 43 WINS! |
| 23:17:30 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 23:18:08 | → | hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 23:18:17 | <sm[m]> | cads: I keep unit tests in the haskell modules under test. Files containing functional tests are in per-command subdirectories, under a subdirectory, but I'm thinking about moving these into the module directories |
| 23:20:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 23:21:24 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 23:24:41 | × | carlomagno quits (~cararell@148.87.23.8) (Remote host closed the connection) |
| 23:25:50 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:7167:dae3:3033:6c61) (Ping timeout: 264 seconds) |
| 23:26:16 | × | exlipse quits (~exlipse@4e69b241.skybroadband.com) (Ping timeout: 240 seconds) |
| 23:26:23 | × | actuallybatman quits (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 265 seconds) |
| 23:26:46 | → | carlomagno joins (~cararell@148.87.23.5) |
| 23:27:47 | → | conal joins (~conal@64.71.133.70) |
| 23:34:13 | × | julm quits (~julm@revolt129.abo.ilico.org) (Remote host closed the connection) |
| 23:34:48 | → | falafel_ joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
| 23:34:58 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 23:35:35 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:4c42:47db:3d8a:3c9a) |
| 23:39:08 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 23:40:22 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:4c42:47db:3d8a:3c9a) (Ping timeout: 260 seconds) |
| 23:42:28 | → | exlipse joins (~exlipse@4e69b241.skybroadband.com) |
| 23:43:42 | → | justsomeguy joins (~justsomeg@216.186.218.241) |
| 23:43:42 | × | justsomeguy quits (~justsomeg@216.186.218.241) (Changing host) |
| 23:43:42 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 23:46:08 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:4c42:47db:3d8a:3c9a) |
| 23:47:58 | <sm[m]> | don't know cads, just saw your recent comment |
| 23:48:01 | → | coot joins (~coot@37.30.53.191.nat.umts.dynamic.t-mobile.pl) |
| 23:48:24 | × | knupfer quits (~Thunderbi@200116b82c34fc00092785e1f1ef8791.dip.versatel-1u1.de) (Ping timeout: 244 seconds) |
| 23:48:25 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 23:49:09 | × | falafel_ quits (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 23:50:23 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 23:50:53 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 23:50:56 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 23:51:17 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 23:54:47 | → | falafel_ joins (~falafel@pool-71-182-130-97.pitbpa.fios.verizon.net) |
All times are in UTC on 2020-11-28.