Logs on 2021-04-04 (freenode/#haskell)
| 00:04:09 | × | Khisanth quits (~Khisanth@24.sub-174-244-147.myvzw.com) (Ping timeout: 250 seconds) |
| 00:06:44 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds) |
| 00:08:02 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 00:11:11 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 00:11:34 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 265 seconds) |
| 00:15:13 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 00:16:25 | ← | chenin parts (bab724b4@186.183.36.180) () |
| 00:17:00 | → | Khisanth joins (~Khisanth@167.sub-174-197-129.myvzw.com) |
| 00:18:21 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:20:47 | × | kadoban_ quits (~mud@unaffiliated/kadoban) (Quit: bye) |
| 00:21:21 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 00:23:02 | → | Ishutin_ joins (~ishutin@94-21-108-5.pool.digikabel.hu) |
| 00:23:46 | → | zaquest joins (~notzaques@5.128.210.178) |
| 00:24:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:24:38 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:24:58 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 00:26:14 | × | _bin quits (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (Quit: ZNC - https://znc.in) |
| 00:26:20 | × | Ishutin quits (~ishutin@87-97-30-197.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 00:26:36 | → | _bin joins (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 00:28:26 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 246 seconds) |
| 00:28:42 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 00:31:46 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 00:32:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:35:04 | → | Tario joins (~Tario@200.119.186.63) |
| 00:48:51 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-leagdtamtaexonnr) |
| 00:51:07 | × | Tario quits (~Tario@200.119.186.63) (Read error: Connection reset by peer) |
| 00:52:24 | → | Tario joins (~Tario@201.192.165.173) |
| 00:53:40 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:59:58 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 240 seconds) |
| 01:00:17 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 01:02:43 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 01:05:11 | × | mniip quits (mniip@freenode/staff/mniip) (Ping timeout: 615 seconds) |
| 01:05:43 | → | remby joins (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 01:07:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 01:08:07 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:09:27 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 01:10:38 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 01:10:57 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 01:11:15 | → | Tario joins (~Tario@201.192.165.173) |
| 01:11:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 01:14:15 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 01:14:20 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 01:16:06 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 01:16:57 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 01:25:36 | → | stree joins (~stree@68.36.8.116) |
| 01:27:53 | × | remby quits (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Quit: Konversation terminated!) |
| 01:28:06 | → | remby joins (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 01:33:12 | → | Sorna joins (~Sornaensi@077213203030.dynamic.telenor.dk) |
| 01:35:00 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 01:36:26 | × | Sornaensis quits (~Sornaensi@185.192.69.50) (Ping timeout: 240 seconds) |
| 01:41:26 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-hgimmdjguzsfapni) (Quit: Connection closed for inactivity) |
| 01:42:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:47:55 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 01:48:44 | × | xff0x quits (~xff0x@2001:1a81:53a6:6d00:9534:7b3e:fc60:2ec7) (Ping timeout: 245 seconds) |
| 01:49:11 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 01:52:19 | → | xff0x joins (~xff0x@2001:1a81:5210:1000:fa01:c98e:d190:2ce0) |
| 01:57:38 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 260 seconds) |
| 01:58:17 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-hncllipeficcbcan) (Quit: Connection closed for inactivity) |
| 01:58:33 | × | xff0x quits (~xff0x@2001:1a81:5210:1000:fa01:c98e:d190:2ce0) (Ping timeout: 250 seconds) |
| 01:59:15 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 02:00:31 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 02:00:31 | → | xff0x joins (~xff0x@2001:1a81:5210:ca00:fdb1:3c24:1234:2ac1) |
| 02:02:46 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 240 seconds) |
| 02:08:44 | × | shatriff quits (~vitaliish@176.52.216.242) (Remote host closed the connection) |
| 02:09:18 | → | shatriff joins (~vitaliish@176.52.216.242) |
| 02:10:27 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 02:12:22 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 02:17:12 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 02:20:44 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 02:20:49 | × | xff0x quits (~xff0x@2001:1a81:5210:ca00:fdb1:3c24:1234:2ac1) (Ping timeout: 245 seconds) |
| 02:22:37 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:22:51 | → | xff0x joins (~xff0x@2001:1a81:5213:6700:e31e:a344:a799:7115) |
| 02:23:06 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 02:23:34 | → | ajc_ joins (~ajc@69.231.232.79) |
| 02:24:55 | × | noexcept quits (~noexcept@2a03:b0c0:3:d0::33:9001) (*.net *.split) |
| 02:24:55 | × | sphalerite quits (~sphalerit@NixOS/user/lheckemann) (*.net *.split) |
| 02:24:55 | × | lambda quits (~xiretza@mail.xiretza.xyz) (*.net *.split) |
| 02:24:55 | × | ocharles quits (sid30093@musicbrainz/user/ocharles) (*.net *.split) |
| 02:24:55 | × | hazard-pointer_ quits (sid331723@gateway/web/irccloud.com/x-wushqlykrygajcur) (*.net *.split) |
| 02:24:55 | × | agander_m quits (sid407952@gateway/web/irccloud.com/x-pursommpxzploatw) (*.net *.split) |
| 02:24:55 | × | milessabin quits (sid86799@gateway/web/irccloud.com/x-hmfsltgzvlhcmkqq) (*.net *.split) |
| 02:24:55 | × | ghuntley quits (sid16877@gateway/web/irccloud.com/x-edeyartuzjnymnlf) (*.net *.split) |
| 02:24:55 | × | dani- quits (sid341953@gateway/web/irccloud.com/x-rsbykznomadfhydo) (*.net *.split) |
| 02:24:55 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-bsjjzrtkvhqfkopf) (*.net *.split) |
| 02:24:55 | × | winny quits (~winny@fsf/member/winstonw) (*.net *.split) |
| 02:24:55 | × | Firedancer quits (sid336191@gateway/web/irccloud.com/x-mtbaiflqonfwpdpt) (*.net *.split) |
| 02:24:55 | × | entel quits (uid256215@botters/entel) (*.net *.split) |
| 02:24:55 | × | Zialus_PT quits (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (*.net *.split) |
| 02:24:55 | × | okad quits (~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) (*.net *.split) |
| 02:24:55 | × | wraithm quits (~wraithm@unaffiliated/wraithm) (*.net *.split) |
| 02:24:55 | × | adamCS quits (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split) |
| 02:24:55 | × | thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split) |
| 02:24:55 | × | vancz quits (~vancz@unaffiliated/vancz) (*.net *.split) |
| 02:24:56 | × | iptq quits (~michael@142.93.75.170) (*.net *.split) |
| 02:24:56 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (*.net *.split) |
| 02:24:56 | × | stilgart quits (~Christoph@chezlefab.net) (*.net *.split) |
| 02:24:56 | × | tomjaguarpaw quits (~tom@li367-225.members.linode.com) (*.net *.split) |
| 02:24:56 | × | ent- quits (entgod@kapsi.fi) (*.net *.split) |
| 02:24:56 | × | M2tias_ quits (m2@seri.fi) (*.net *.split) |
| 02:24:56 | × | Mzg_ quits (Mzg@s1.ct8.pl) (*.net *.split) |
| 02:24:56 | × | SanchayanMaity quits (sid478177@gateway/web/irccloud.com/x-yrcsnbnrakrsvhfl) (*.net *.split) |
| 02:24:56 | × | dgpratt quits (sid193493@gateway/web/irccloud.com/x-woogguzeplzoavpn) (*.net *.split) |
| 02:24:56 | × | tiru quits (tiru@gateway/web/irccloud.com/x-yvriqigkdgcytdrs) (*.net *.split) |
| 02:24:56 | × | jtmar quits (james@jtmar.me) (*.net *.split) |
| 02:24:56 | × | lechner quits (~lechner@letbox-vps.us-core.com) (*.net *.split) |
| 02:24:56 | × | elvishjerricco quits (sid237756@NixOS/user/ElvishJerricco) (*.net *.split) |
| 02:24:56 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-oglwobzdzlunivgx) (*.net *.split) |
| 02:24:56 | × | JSharp quits (sid4580@wikia/JSharp) (*.net *.split) |
| 02:24:56 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-geglvmlluszkfqin) (*.net *.split) |
| 02:24:56 | × | edwinb quits (sid69486@gateway/web/irccloud.com/x-jjzemvhemvqrtzqr) (*.net *.split) |
| 02:24:56 | × | higherorder__ quits (sid185221@gateway/web/irccloud.com/x-lcdnfhiahwbndmco) (*.net *.split) |
| 02:24:56 | × | AndreasK quits (sid320732@gateway/web/irccloud.com/x-uinzyrworkhwzace) (*.net *.split) |
| 02:24:56 | × | mstruebing quits (~mstruebin@2001:41d0:8:93c7::1) (*.net *.split) |
| 02:24:56 | × | trevorriles quits (sid469656@gateway/web/irccloud.com/x-ftfflnuszupfnvyt) (*.net *.split) |
| 02:24:56 | × | `slikts quits (~nelabs@wikipedia/reinis) (*.net *.split) |
| 02:25:01 | → | stilgart joins (~Christoph@chezlefab.net) |
| 02:25:02 | → | noexcept joins (~noexcept@noexcept.org) |
| 02:25:03 | → | Mzg joins (Mzg@s1.ct8.pl) |
| 02:25:03 | → | ent joins (entgod@kapsi.fi) |
| 02:25:05 | → | M2tias joins (m2@seri.fi) |
| 02:25:07 | → | tomjaguarpaw joins (~tom@li367-225.members.linode.com) |
| 02:25:09 | → | ocharles joins (sid30093@musicbrainz/user/ocharles) |
| 02:25:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 02:25:11 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 02:25:12 | → | jamestmartin joins (james@jtmar.me) |
| 02:25:14 | → | dgpratt joins (sid193493@gateway/web/irccloud.com/x-urdajyvmrwxnrqme) |
| 02:25:14 | → | Firedancer joins (sid336191@gateway/web/irccloud.com/x-ymzfrqjvnjogppne) |
| 02:25:15 | → | agander_m joins (sid407952@gateway/web/irccloud.com/x-olfvvsvzckwflxmz) |
| 02:25:15 | → | dani- joins (sid341953@gateway/web/irccloud.com/x-enxplehsvwdxnwfi) |
| 02:25:15 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-ziectdehwbawptyu) |
| 02:25:15 | → | edwinb joins (sid69486@gateway/web/irccloud.com/x-zkwljnhotbnadxsf) |
| 02:25:15 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-ebgcghokgzjiocde) |
| 02:25:15 | → | elvishjerricco joins (sid237756@NixOS/user/ElvishJerricco) |
| 02:25:15 | → | mstruebing joins (~mstruebin@2001:41d0:8:93c7::1) |
| 02:25:15 | → | ghuntley joins (sid16877@gateway/web/irccloud.com/x-qpvlvzzjxknipbhd) |
| 02:25:20 | → | lambda joins (~xiretza@mail.xiretza.xyz) |
| 02:25:22 | → | milessabin joins (sid86799@gateway/web/irccloud.com/x-aurnquefvyorfrgg) |
| 02:25:23 | → | okad joins (~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) |
| 02:25:23 | → | iptq joins (~michael@142.93.75.170) |
| 02:25:23 | → | entel joins (uid256215@botters/entel) |
| 02:25:25 | stilgart | is now known as Guest15377 |
| 02:25:28 | → | sphalerite joins (~sphalerit@NixOS/user/lheckemann) |
| 02:25:29 | → | hazard-pointer_ joins (sid331723@gateway/web/irccloud.com/x-djvxjvpwtslqokxt) |
| 02:25:30 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-goofybjtwpxkxwqn) |
| 02:25:31 | → | SanchayanMaity joins (sid478177@gateway/web/irccloud.com/x-lbidgqvllugcofen) |
| 02:25:32 | → | trevorriles joins (sid469656@gateway/web/irccloud.com/x-ztfsmauikpdgmwtj) |
| 02:25:34 | → | tiru joins (tiru@gateway/web/irccloud.com/x-mnvdiojttnfqdzkx) |
| 02:25:36 | → | AndreasK joins (sid320732@gateway/web/irccloud.com/x-pgqteyfipgnoghyc) |
| 02:25:37 | → | JSharp joins (sid4580@wikia/JSharp) |
| 02:25:40 | → | lechner joins (~lechner@2a0b:ae40:2:4a0b::1) |
| 02:25:45 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 02:25:46 | → | higherorder__ joins (sid185221@gateway/web/irccloud.com/x-akhodmnrphxdcsqt) |
| 02:25:57 | × | ajc quits (~ajc@69.231.232.79) (Ping timeout: 252 seconds) |
| 02:26:02 | → | `slikts joins (~nelabs@2a00:d880:5:395::37ca) |
| 02:26:02 | × | `slikts quits (~nelabs@2a00:d880:5:395::37ca) (Changing host) |
| 02:26:02 | → | `slikts joins (~nelabs@wikipedia/reinis) |
| 02:26:16 | → | adamCS joins (~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) |
| 02:26:54 | → | vancz joins (~vancz@unaffiliated/vancz) |
| 02:26:56 | → | wraithm joins (~wraithm@unaffiliated/wraithm) |
| 02:27:20 | → | winny joins (~winny@fsf/member/winstonw) |
| 02:27:23 | × | mantovani quits (~mantovani@104.131.207.121) (Ping timeout: 265 seconds) |
| 02:27:36 | → | Zialus joins (~RMF@199.125.37.188.rev.vodafone.pt) |
| 02:28:05 | <koz_> | :t maximumBy |
| 02:28:06 | <lambdabot> | Foldable t => (a -> a -> Ordering) -> t a -> a |
| 02:28:10 | <koz_> | :D |
| 02:30:05 | → | mantovani joins (~mantovani@104.131.207.121) |
| 02:35:06 | × | jlamothe quits (~jlamothe@198.251.57.81) (Ping timeout: 240 seconds) |
| 02:36:11 | → | jlamothe joins (~jlamothe@198.251.57.81) |
| 02:41:32 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Remote host closed the connection) |
| 02:45:44 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:18c6:bbe2:41d0:8242) |
| 02:46:28 | × | remby quits (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 02:52:50 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 02:55:54 | × | theDon quits (~td@muedsl-82-207-238-112.citykom.de) (Ping timeout: 265 seconds) |
| 02:56:40 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 02:57:25 | → | theDon joins (~td@94.134.91.193) |
| 02:59:13 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:59:14 | finn_elija | is now known as Guest9517 |
| 02:59:14 | FinnElija | is now known as finn_elija |
| 03:02:21 | × | Guest9517 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 03:02:35 | → | conal joins (~conal@64.71.133.70) |
| 03:03:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:12:52 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1064:5b4f:c9cd:bb5a) (Remote host closed the connection) |
| 03:16:45 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 03:19:39 | → | spi85 joins (b641dde8@182.65.221.232) |
| 03:19:40 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 03:21:38 | × | spi85 quits (b641dde8@182.65.221.232) (Client Quit) |
| 03:21:45 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 03:22:06 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:22:06 | FinnElija | is now known as finn_elija |
| 03:22:24 | × | petersen quits (~petersen@redhat/juhp) (Quit: petersen) |
| 03:23:06 | → | petersen joins (~petersen@redhat/juhp) |
| 03:23:15 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 03:23:35 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 03:26:33 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:18c6:bbe2:41d0:8242) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:31:35 | → | ninedotnine joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 03:31:59 | × | ninedotnine quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Client Quit) |
| 03:32:50 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Read error: Connection reset by peer) |
| 03:33:41 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 03:36:20 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 03:37:05 | → | remby joins (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) |
| 03:37:29 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 03:37:41 | × | remby quits (~rcg@bras-base-london1483w-grc-33-70-50-136-176.dsl.bell.ca) (Client Quit) |
| 03:37:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 03:39:39 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 03:42:58 | → | puke joins (~vroom@217.138.252.196) |
| 03:44:43 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4c29:bb07:9985:fb29) (Ping timeout: 250 seconds) |
| 03:46:54 | → | stree joins (~stree@68.36.8.116) |
| 03:52:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:781f:32cc:516c:6db5) |
| 03:53:19 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 03:57:48 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) |
| 04:01:11 | × | Wuzzy quits (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 04:02:16 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-tyfptednkskarnir) (Quit: Connection closed for inactivity) |
| 04:02:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:03:00 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:11:58 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:28:11 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.249) (Ping timeout: 260 seconds) |
| 04:30:53 | <wroathe> | Say I've got a datatype like data Foo a = A [Bar a] [Foo a] | B [Bar a] [Foo a], and I want to derive a Foldable instance, is there a way to get it to ignore the first field of each data constructor and just use the second [Foo a] field when doing so with DeriveFoldable? |
| 04:31:07 | <wroathe> | Or do I have to roll the instance by hand? |
| 04:31:11 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 04:32:02 | <Uniaika> | wroathe: the level of control you wish to have asks for a manual instance |
| 04:32:29 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 04:32:38 | <wroathe> | Uniaika: Cool. I thought so, but I figured it couldn't hurt to ask. |
| 04:33:00 | <Uniaika> | :) |
| 04:34:23 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 260 seconds) |
| 04:41:21 | <arahael> | I'm finding xml processing tedious and painful. I'm trying to get the child nodes from an XmlTree, so I'm tryhing to find a function XmlTree -> XmlTrees |
| 04:41:46 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 04:42:04 | <arahael> | (Using HXT). I've found `childNodes`, but it returns a ChildNodes, which is a [(Int, XmlNodeSet)], which is not what I want. |
| 04:47:36 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 04:54:08 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 04:55:24 | <wroathe> | arahael: This isn't very popular, but it looks like they're keeping it up to date, and I tried it out a couple of years ago and remember liking it: https://hackage.haskell.org/package/xeno |
| 04:55:55 | <arahael> | wroathe: Yeah, I'm thinking HXT was a bad choice. |
| 05:11:20 | × | alx741 quits (~alx741@181.196.68.6) (Quit: alx741) |
| 05:11:58 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 05:13:18 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 05:13:45 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) |
| 05:13:59 | → | s00pcan joins (~chris@107.181.165.217) |
| 05:18:27 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:fc90:fc9e:e06f:7ac5) (Ping timeout: 258 seconds) |
| 05:20:08 | <wroathe> | Say I've got a datatype like the above, but instead of just the A and B constructors, I've got a bunch that all have the same structure... Is there a way to write accessor functions for the first field and the second field that doesn't require me to pattern match against all of the data constructors? |
| 05:20:25 | × | cods quits (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 265 seconds) |
| 05:21:04 | <wroathe> | Technically I think I could use Generic for that, but I'm thinking even simpler than that |
| 05:23:36 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-bfjhbskdtcpabmnv) |
| 05:26:02 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 05:32:00 | → | ert345t joins (9a10a691@154.16.166.145) |
| 05:32:51 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Remote host closed the connection) |
| 05:34:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:35:18 | × | xff0x quits (~xff0x@2001:1a81:5213:6700:e31e:a344:a799:7115) (Ping timeout: 258 seconds) |
| 05:37:02 | → | xff0x joins (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) |
| 05:45:25 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 05:48:38 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 05:49:49 | × | ert345t quits (9a10a691@154.16.166.145) (Quit: Connection closed) |
| 05:54:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 05:57:27 | × | xff0x quits (~xff0x@2001:1a81:5222:4e00:3716:e584:9ec2:915) (Ping timeout: 260 seconds) |
| 05:59:14 | → | xff0x joins (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) |
| 05:59:55 | <dmwit> | wroathe: https://stackoverflow.com/q/32158110/791604 |
| 06:02:01 | <wroathe> | dmwit: Thanks. For some reason I had gotten it in my head that I'd needed a different function name for each data constructor accessor |
| 06:02:14 | <wroathe> | dmwit: Re-ramping up on Haskell after not writing it for a while :P |
| 06:02:25 | <dmwit> | Personally, I actually think the Tag solution in my answer there is the better one. But you do you |
| 06:03:13 | <dmwit> | Well. Usually the better one. |
| 06:05:03 | <wroathe> | I'm just tinkering at the moment and playing around with the idea of representing HTML as data Element a = A [Attributes a] [Elements a] | Abbr [Attributes a] [Elements a] | ... |
| 06:05:58 | <shachaf> | That certainly sounds like a place where you'd use the Wagner representation. |
| 06:06:39 | <wroathe> | Elm does this as data Element a = Element Tag [Attributes a] [Element a], which is dmwit's suggestion |
| 06:07:00 | <dmwit> | Man. After participating in so many online-only events it sounds weird to have something named after my real name and not my sobriquet. |
| 06:07:15 | → | stree joins (~stree@68.36.8.116) |
| 06:08:06 | <wroathe> | s/Attributes/Attribute, s/Elements/Element |
| 06:08:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:08:58 | <dmwit> | Oooo, "orthonym" is the word I wanted! |
| 06:14:43 | × | xff0x quits (~xff0x@2001:1a81:5222:8500:a3a1:f5ff:2a0a:6847) (Ping timeout: 260 seconds) |
| 06:14:55 | <wroathe> | dmwit: As I'm re-ramping up on Haskell I've been seeing your name on stackoverflow a lot. You've certainly put in the work answering questions. |
| 06:15:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:15:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 06:16:26 | → | xff0x joins (~xff0x@2001:1a81:5222:bb00:e59:6490:f3fa:411) |
| 06:25:55 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 06:28:27 | × | Sgeo_ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:28:28 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 06:29:14 | → | Tario joins (~Tario@201.192.165.173) |
| 06:30:55 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:31:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 06:33:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 06:34:20 | <koz_> | % :t countTrailingZeros |
| 06:34:30 | <koz_> | Is yahb dead? |
| 06:34:33 | → | Tario joins (~Tario@201.192.165.173) |
| 06:34:35 | <koz_> | > :t countTrailingZeros |
| 06:34:36 | <lambdabot> | <hint>:1:1: error: <hint>:1:1: error: parse error on input ‘:’ |
| 06:35:06 | <koz_> | :t countTrailingZeros |
| 06:35:07 | <lambdabot> | FiniteBits b => b -> Int |
| 06:35:16 | <koz_> | > countTrailingZeros (0 :: Word64) |
| 06:35:18 | <lambdabot> | 64 |
| 06:35:24 | <koz_> | Hmm, curious. |
| 06:41:04 | → | davros1 joins (~davros@host86-185-126-198.range86-185.btcentralplus.com) |
| 06:42:19 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 06:44:31 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 06:46:52 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 268 seconds) |
| 06:52:29 | → | codygman__ joins (~user@47.186.207.161) |
| 06:53:56 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 06:57:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:781f:32cc:516c:6db5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:58:12 | × | carlomagno quits (~cararell@148.87.23.4) (Quit: Leaving.) |
| 07:01:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 07:07:51 | → | ralu joins (~ralu@static.211.245.203.116.clients.your-server.de) |
| 07:08:16 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 07:08:49 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 07:11:58 | × | alct quits (~alct@194.37.96.82) (Remote host closed the connection) |
| 07:13:51 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 07:14:39 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:15:55 | × | xff0x quits (~xff0x@2001:1a81:5222:bb00:e59:6490:f3fa:411) (Ping timeout: 252 seconds) |
| 07:16:02 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 07:16:28 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 07:16:32 | → | irc0331 joins (~jeff@183.193.143.60) |
| 07:17:04 | → | dinciorip joins (~dincio@5.170.192.218) |
| 07:17:40 | → | xff0x joins (~xff0x@2001:1a81:5223:4400:75a1:1e6c:5be8:43d7) |
| 07:20:22 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:b427:466b:a007:50eb) (Ping timeout: 246 seconds) |
| 07:21:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 07:31:03 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 07:32:46 | → | dyamon joins (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) |
| 07:33:04 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) |
| 07:38:19 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:48:43 | × | xff0x quits (~xff0x@2001:1a81:5223:4400:75a1:1e6c:5be8:43d7) (Ping timeout: 246 seconds) |
| 07:50:52 | → | xff0x joins (~xff0x@2001:1a81:5223:aa00:9be9:f146:f7ea:7b0f) |
| 07:51:34 | → | theGrg joins (~theGrg@185.204.1.185) |
| 07:52:17 | → | codygman__ joins (~user@47.186.207.161) |
| 07:52:28 | → | laco joins (5a40012d@90-64-1-45.dynamic.orange.sk) |
| 07:53:10 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 07:53:23 | <laco> | hi people, does someone here is using telegram? |
| 07:53:34 | → | codygman__ joins (~user@47.186.207.161) |
| 07:55:16 | <koz_> | laco: Do you have a Haskell-related question? |
| 07:55:59 | ← | laco parts (5a40012d@90-64-1-45.dynamic.orange.sk) () |
| 07:56:05 | → | eruditass joins (uid248673@gateway/web/irccloud.com/x-pubexaikwwqssaxc) |
| 07:58:10 | × | xff0x quits (~xff0x@2001:1a81:5223:aa00:9be9:f146:f7ea:7b0f) (Ping timeout: 246 seconds) |
| 07:58:40 | × | codygman__ quits (~user@47.186.207.161) (Remote host closed the connection) |
| 08:00:05 | → | xff0x joins (~xff0x@2001:1a81:5223:d700:8672:6809:96a2:4fe7) |
| 08:00:15 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 08:04:06 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 08:04:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:06:13 | × | xff0x quits (~xff0x@2001:1a81:5223:d700:8672:6809:96a2:4fe7) (Ping timeout: 246 seconds) |
| 08:07:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:10:03 | → | xff0x joins (~xff0x@port-92-193-234-9.dynamic.as20676.net) |
| 08:11:25 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:12:47 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 08:13:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:15:23 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 08:17:29 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 08:20:41 | × | stiell quits (~stian@fsf/member/stiell) (Ping timeout: 240 seconds) |
| 08:21:13 | → | stiell joins (~stian@fsf/member/stiell) |
| 08:24:12 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 08:25:26 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 08:28:17 | → | fendor joins (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 08:28:38 | → | stree joins (~stree@68.36.8.116) |
| 08:38:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 08:40:57 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:51:09 | ← | irc0331 parts (~jeff@183.193.143.60) () |
| 09:03:05 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 09:07:52 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 09:11:28 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 09:12:45 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-bfjhbskdtcpabmnv) (Quit: Connection closed for inactivity) |
| 09:13:56 | → | gekh joins (~gkh@thor.kevinhill.nl) |
| 09:15:13 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:f9a3:6c0b:a847:ec57) |
| 09:17:52 | → | ubert joins (~Thunderbi@178.115.130.145.wireless.dyn.drei.com) |
| 09:18:56 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 09:19:34 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:f9a3:6c0b:a847:ec57) (Ping timeout: 245 seconds) |
| 09:22:20 | → | ADG1089 joins (~aditya@223.235.216.238) |
| 09:24:36 | → | malumore joins (~malumore@151.62.121.55) |
| 09:27:12 | → | Deide joins (~Deide@217.155.19.23) |
| 09:27:49 | × | esp32_prog quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 268 seconds) |
| 09:33:44 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:34:08 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:36:12 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 09:39:59 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 09:44:26 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.249) (Ping timeout: 240 seconds) |
| 09:44:39 | → | Guest_43 joins (1f242fcf@i16-les03-ntr-31-36-47-207.sfr.lns.abo.bbox.fr) |
| 09:45:04 | × | Guest_43 quits (1f242fcf@i16-les03-ntr-31-36-47-207.sfr.lns.abo.bbox.fr) (Client Quit) |
| 09:47:15 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 09:47:35 | → | HenryCH joins (~henry@2001:8e0:2003:e600:90c2:bde0:c24a:88c) |
| 09:47:53 | <cub3s_> | It seems "cabal update" downloads the .cabal files for every version for every package. Why is this needed? The whole thing is hundreds of MBs in a tar file. |
| 09:52:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 09:53:29 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 09:54:53 | × | ubert quits (~Thunderbi@178.115.130.145.wireless.dyn.drei.com) (Remote host closed the connection) |
| 09:58:35 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 246 seconds) |
| 09:59:33 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 10:00:31 | <dmwit> | It is needed for dependency resolution. |
| 10:01:44 | × | xff0x quits (~xff0x@port-92-193-234-9.dynamic.as20676.net) (Ping timeout: 268 seconds) |
| 10:02:02 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 10:02:21 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 10:02:35 | × | HenryCH quits (~henry@2001:8e0:2003:e600:90c2:bde0:c24a:88c) () |
| 10:02:38 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.249) |
| 10:02:57 | <edwardk> | tbh, we _could_ filter that by base version and drop a good chunk of the index. |
| 10:09:20 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 10:17:01 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:18:29 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:19:11 | → | esp32_prog joins (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 10:19:54 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 10:20:06 | <maralorn> | It seems the streamly library does not get a lot of adoption in the ecosystem although it seems like it ought to be quite universally applicable. Are there any known critiques of it that I can read? |
| 10:21:00 | <maerwald> | maralorn: I don't know of any, except that API is still in flux, lots of stuff needs internal modules (these are exposed) and navigating the documentation can be bewildering |
| 10:21:24 | <maerwald> | but it's certainly better than conduit, even in API usability |
| 10:21:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Client Quit) |
| 10:21:29 | <cub3s_> | maralorn, i haven't seen any critiques of it. as far as i can tell, it's simply the most superior streaming library given its stream fusion capabilities - focus on speed (tested in benchmarks) |
| 10:21:57 | <cub3s_> | everything else is completely overrated imo and is, last time i checked, orders of magnitude slower than C |
| 10:22:02 | <cub3s_> | only streamly comes even close to c |
| 10:23:27 | × | xff0x quits (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 260 seconds) |
| 10:24:13 | <cub3s_> | one thing i noticed the "streaming" library (thanks a lot to those guys for naming the library after the general concept /s) can do that streamly can't is a "streams of streams" concept, but the reason for that is again performance. |
| 10:24:26 | <cub3s_> | if you don't mind 10x, 100x slowdown, go ahead and abstract your heart away |
| 10:25:01 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 10:25:15 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) |
| 10:25:41 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 10:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 10:27:36 | <cub3s_> | dmwit, thanks, makes sense. |
| 10:27:52 | <cub3s_> | edwardk, i guess it hasn't been done. it's 1.7GB uncompressed. no big deal imo. |
| 10:28:06 | <cub3s_> | (i was just curious) |
| 10:29:03 | × | esp32_prog quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 10:29:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 10:30:26 | <maralorn> | cub3s_: After the effectsystem debacle I don‘t trust benchmarks anymore. |
| 10:30:46 | → | vv8 joins (~egp_@2.95.145.35) |
| 10:30:53 | × | ADG1089 quits (~aditya@223.235.216.238) (Quit: Konversation terminated!) |
| 10:32:34 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:33:08 | <cub3s_> | maralorn, i'm not familiar with that... but https://github.com/composewell/streaming-benchmarks: "Due care has been taken to keep the comparisons fair. Please send an email or a PR if the benchmarking code has a problem or is unfair to some library in any way." |
| 10:33:37 | <cub3s_> | anyway i care most about my own code. if i notice order of magnitude speed boosts in real life, i will go for those :D |
| 10:33:48 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 10:34:01 | <maralorn> | cub3s_: Makes sense. |
| 10:34:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:35:00 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 10:35:17 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 10:35:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:35:26 | <cub3s_> | tbh, i don't REALLY know what stream fusion even is. all i know it seems to work :D |
| 10:35:47 | <cub3s_> | from my point of view so far, it's just magic that compiles away all intermediate haskell stuff |
| 10:36:13 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 10:36:45 | <maralorn> | cub3s_: I was referring to a talk by lexilambda on last years zurihac. The talk was very good and her point was basically that everyone had been doing effect system benchmarks wrong because polymorphic code in real world applications will get a lot less inlining. |
| 10:36:59 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 10:38:47 | <cub3s_> | maralorn, oh, i think i saw that talk some time ago! streamly relies heavily on inlining. one can forget to inline and one is back to 10x slower. |
| 10:38:55 | <cub3s_> | https://www.youtube.com/watch?v=uzsqgdMMgtk streamly author talked about this here |
| 10:39:11 | <maralorn> | cub3s_: I think the core idea of stream fusion is to have an optimisation that when you do two subsequent operations on a list of things you don‘t build up the list of intermediate values in memory but directly apply both steps on each value. |
| 10:39:47 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:39:53 | <maralorn> | That’s important for vector, text and bytestring. I don‘t really understand how it applies to streamly since it already explicitly uses streams … |
| 10:43:45 | → | kuribas joins (~user@ptr-25vy0i83sb71lqt997o.18120a2.ip6.access.telenet.be) |
| 10:45:13 | <cub3s_> | maralorn, i haven't fully wrapped my mind around it either |
| 10:46:51 | → | pierro joins (524145c7@82-65-69-199.subs.proxad.net) |
| 10:47:05 | × | pierro quits (524145c7@82-65-69-199.subs.proxad.net) (Client Quit) |
| 10:47:09 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 10:47:17 | → | pierro joins (524145c7@82-65-69-199.subs.proxad.net) |
| 10:47:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9561c5c4ebb47e158d05.dip0.t-ipconnect.de) |
| 10:50:07 | → | stree joins (~stree@68.36.8.116) |
| 10:51:48 | × | average quits (uid473595@gateway/web/irccloud.com/x-rlnzyfvyufopfriy) (Quit: Connection closed for inactivity) |
| 10:53:12 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:53:42 | → | average joins (uid473595@gateway/web/irccloud.com/x-wmrfwhwgtxjroplx) |
| 11:03:31 | ← | pierro parts (524145c7@82-65-69-199.subs.proxad.net) () |
| 11:07:30 | × | xff0x quits (~xff0x@2001:1a81:5223:f300:c02d:18f8:73b8:a77c) (Ping timeout: 246 seconds) |
| 11:08:28 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:8ecc:fc17:b59f:86b8) |
| 11:10:57 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected) |
| 11:12:04 | <Gurkenglas> | What imaginary language am I writing here? https://gist.github.com/Gurkenglas/9f02cfeba04b35e178753ae4663349ef I want it to prove or disprove my laws and when it can't ask me for help, when I overload (~>) I want it to infer which one I'm using based on what makes it compile, when multiple ways would compile I want it to prove (or disprove or ask for help) they're ==. |
| 11:15:29 | → | son0p joins (~son0p@181.58.39.182) |
| 11:15:57 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) |
| 11:17:14 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:9c78:153a:cced:11e8) (Ping timeout: 258 seconds) |
| 11:20:18 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4c29:786d:9d38:3786) (Ping timeout: 258 seconds) |
| 11:25:41 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 11:26:00 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 11:27:46 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 11:27:46 | <steerio> | hey all! Sandy Maguire's book (and a lot of other resources) talk about star kinds being replaced by "Type". how do I get that? is there a GHC version that has it or an extension I need to enable? |
| 11:28:39 | <steerio> | 9.0.1 definitely doesn't have it out of the box, neither does e.g. TypeInType trigger it |
| 11:29:30 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:3c1:b586:27b7:7153) |
| 11:35:28 | → | ddere joins (uid110888@gateway/web/irccloud.com/x-zsaufvbzeddqdaps) |
| 11:35:47 | <edwardk> | {-# LANGUAGE NoStarIsType #-} import Data.Kind |
| 11:36:36 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 11:39:05 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:6806:39ee:8b3a:57c8) |
| 11:40:49 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 245 seconds) |
| 11:41:21 | <edwardk> | the definition in Data.Kind is (morally) type Type = * |
| 11:45:13 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 11:53:38 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 11:57:22 | × | Inoperable quits (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 11:59:36 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:02:14 | → | Inoperable joins (~PLAYER_1@fancydata.science) |
| 12:03:27 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 12:03:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 12:05:46 | <steerio> | edwardk: thanks! |
| 12:06:23 | <steerio> | edwardk: looks like I could've just done a text search on "star" in the extensions list :) |
| 12:07:52 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 265 seconds) |
| 12:22:26 | <edwardk> | anyways you can use it even without the extension either by defining that type yourself or importing Data.Kind |
| 12:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 12:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 12:33:42 | × | roconnor quits (~roconnor@host-184-164-13-101.dyn.295.ca) (Ping timeout: 260 seconds) |
| 12:35:39 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 12:36:42 | → | mniip joins (mniip@freenode/staff/mniip) |
| 12:37:06 | → | roconnor joins (~roconnor@host-192.252-170-125.dyn.295.ca) |
| 12:41:13 | × | conal quits (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 12:43:24 | → | enoq joins (~textual@194-208-146-143.lampert.tv) |
| 12:44:26 | → | conal joins (~conal@64.71.133.70) |
| 12:47:35 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 12:49:11 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 12:49:58 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 12:50:16 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 12:54:30 | → | kfkd joins (~anon@37.79.82.208) |
| 12:54:49 | <kfkd> | !1 |
| 12:55:20 | × | kfkd quits (~anon@37.79.82.208) (Read error: Connection reset by peer) |
| 12:57:13 | × | son0p quits (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 12:57:39 | → | anonimous00 joins (~anonimous@37.79.82.208) |
| 12:57:58 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 12:58:28 | × | anonimous00 quits (~anonimous@37.79.82.208) (Remote host closed the connection) |
| 13:00:06 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 13:00:09 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 13:01:45 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:05:17 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 13:08:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 13:10:31 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 13:11:26 | → | stree joins (~stree@68.36.8.116) |
| 13:13:11 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 13:19:44 | <L29Ah> | is there an easier to use library for making ghci a physical unit-aware calculator than this? https://hackage.haskell.org/package/units |
| 13:24:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a159:4aa4:6715:99dc) |
| 13:24:45 | <hpc> | there's another language that has that sort of thing baked in, but i am completely blanking on what it's called |
| 13:24:51 | <hpc> | assuming that works for your purposes |
| 13:24:53 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9561c5c4ebb47e158d05.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 13:25:41 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 13:25:57 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 13:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 13:28:14 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 246 seconds) |
| 13:28:26 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 13:30:50 | → | v01d4lph4 joins (~v01d4lph4@223.177.184.123) |
| 13:30:53 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 13:31:17 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 13:31:37 | <L29Ah> | hpc: GNU units, you mean? |
| 13:31:56 | L29Ah | is reluctant to move away from beloved ghci |
| 13:33:09 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 13:34:24 | <hpc> | almost, the one i am thinking of is a full language |
| 13:34:26 | <hpc> | but yeah, that's fair |
| 13:35:15 | × | v01d4lph4 quits (~v01d4lph4@223.177.184.123) (Ping timeout: 260 seconds) |
| 13:36:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:38:44 | × | dinciorip quits (~dincio@5.170.192.218) (Ping timeout: 265 seconds) |
| 13:38:46 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 13:42:07 | → | Wuzzy joins (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) |
| 13:43:22 | → | stardustx joins (~nebula@115.196.183.0) |
| 13:43:22 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 13:44:35 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-ayszrakheldxtude) |
| 13:45:03 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 13:54:44 | × | shatriff quits (~vitaliish@176.52.216.242) (Remote host closed the connection) |
| 13:55:00 | → | shatriff joins (~vitaliish@176.52.216.242) |
| 13:58:16 | → | supercoven_ joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 13:58:43 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-urmynbwvqdvgbexs) |
| 13:59:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:00:31 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-rljaqugmkkoyqpis) |
| 14:00:50 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 14:01:26 | × | supercoven quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 14:02:39 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 14:04:45 | → | dinciorip joins (~dincio@151.66.11.232) |
| 14:16:32 | × | Guest57863 quits (~textual@2603-7000-3040-0000-c51d-1cd0-a8e6-1189.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:21:41 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 14:22:09 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 14:23:28 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:25:40 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 14:26:00 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 14:27:29 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 14:32:49 | × | stardustx quits (~nebula@115.196.183.0) (Quit: Leaving) |
| 14:33:03 | × | fendor quits (~fendor@178.165.129.178.wireless.dyn.drei.com) (Remote host closed the connection) |
| 14:33:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 14:34:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a159:4aa4:6715:99dc) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:35:35 | → | fendor joins (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 14:36:50 | → | son0p joins (~son0p@181.136.122.143) |
| 14:40:11 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 14:40:34 | Alleria | is now known as Guest36200 |
| 14:43:23 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) |
| 14:46:53 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 14:48:05 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:c5e2:b955:ecac:f7f3) (Ping timeout: 258 seconds) |
| 14:48:41 | <dinciorip> | ciao |
| 14:48:48 | <dinciorip> | sorry didn't mean to send that |
| 14:49:34 | × | dinciorip quits (~dincio@151.66.11.232) (Quit: WeeChat 3.1) |
| 14:56:31 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 252 seconds) |
| 14:59:51 | → | solvr joins (57e3c46d@87.227.196.109) |
| 15:03:59 | × | solvr quits (57e3c46d@87.227.196.109) (Client Quit) |
| 15:04:40 | → | Sean1 joins (~Sean@2a02:8071:92ac:1000:91c3:15a4:61c:ab55) |
| 15:04:46 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 265 seconds) |
| 15:05:28 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 15:05:57 | <Sean1> | Hello guys I´m currently learning Haskell |
| 15:06:15 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 15:06:34 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 15:06:39 | <Sean1> | Why does this code work add' :: (Num a) => a -> a -> a |
| 15:06:56 | <Sean1> | and this doesn´t? add' :: (Int a) => a -> a -> a |
| 15:07:08 | <glguy> | Num is a typeclass and Int is not a typeclass |
| 15:07:25 | <glguy> | Int is a type values can have |
| 15:07:30 | <glguy> | Num is a group of types |
| 15:07:57 | <Sean1> | I see, thanks glguy! |
| 15:13:02 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:15:47 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:15:57 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 15:16:10 | <xsperry> | add :: Int -> Int -> Int would work |
| 15:16:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:19:15 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 15:25:40 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 15:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 15:25:59 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:26:43 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 15:27:15 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:32:02 | → | stree joins (~stree@68.36.8.116) |
| 15:33:32 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 246 seconds) |
| 15:38:38 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 15:38:53 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:39:08 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 15:39:09 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 15:39:48 | → | solvr joins (57e3c46d@87.227.196.109) |
| 15:41:45 | → | Tario joins (~Tario@201.192.165.173) |
| 15:43:40 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 15:44:29 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 15:44:43 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:48:39 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:49:56 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:50:41 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 15:50:42 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Read error: Connection reset by peer) |
| 15:57:17 | → | mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 15:57:45 | → | cheater joins (~user@unaffiliated/cheater) |
| 15:58:14 | <[exa]> | is it possible to easily specify stuff like "UTF operator-like symbol" or "UTF alphanumeric-like symbol" in alex lexer specification? |
| 16:00:06 | × | Pressyware[m] quits (pressyware@gateway/shell/matrix.org/x-aixuldvihabgyxzq) (Quit: Idle for 30+ days) |
| 16:01:06 | <hpc> | you can define your own character sets, but it doesn't look like those are built in |
| 16:01:20 | <hpc> | so you'd have to list everything in those sets, which is impractical |
| 16:01:49 | <hpc> | (at least, according to https://www.haskell.org/alex/doc/html/index.html) |
| 16:03:08 | → | cub3s_ joins (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 16:05:01 | × | hive-mind quits (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Remote host closed the connection) |
| 16:05:58 | → | hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) |
| 16:06:20 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 16:06:28 | × | Sean1 quits (~Sean@2a02:8071:92ac:1000:91c3:15a4:61c:ab55) (Quit: Leaving) |
| 16:08:39 | <[exa]> | yeah well, I hoped there'd be some cool undocumented support... :] |
| 16:09:10 | <[exa]> | I can probably auto-translate the unicode specs to that but that's just as unwieldy and requires modified alex...but I'm likely going to do that anyway |
| 16:10:59 | <hpc> | ah, that i don't know about |
| 16:11:30 | <hpc> | depending on how it's implemented in alex, it might be a super easy merge request |
| 16:12:34 | <hpc> | if the character sets translate directly to haskell's codepoint info, maybe even one or two lines |
| 16:12:45 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-rljaqugmkkoyqpis) (Quit: Connection closed for inactivity) |
| 16:16:03 | <[exa]> | it could work on normalized unicode, no idea how to properly react to stuff in denormalized one... |
| 16:16:17 | <[exa]> | unicode is hard |
| 16:16:21 | <[exa]> | gonna think about it |
| 16:17:03 | <[exa]> | anyway `isAlpha` from Data.Char would probably do |
| 16:17:41 | <[exa]> | (I should just copy the operator code from ghc) |
| 16:21:06 | <kaol> | Is it possible to write a function f where f 1 x = x, f 2 x = x . x, f 3 x = x . x . x and so on? |
| 16:22:04 | <hpc> | it is possible, yes |
| 16:22:35 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 16:23:26 | <hpc> | consider a list where the head is id, and each subsequent element is (x . previous element) |
| 16:23:32 | <hpc> | and you index into that list |
| 16:23:35 | <tomsmeding> | kaol: hint: f 2 x = x . x, so f 3 x = x . f 2 x |
| 16:24:16 | <hpc> | (there's cleaner ways if you take a look through the various modules in base) |
| 16:25:00 | <dmwit> | how do I upvote documentation |
| 16:25:00 | <SoF> | > let f n x y = head $ drop n $ iterate x y |
| 16:25:02 | <lambdabot> | <no location info>: error: |
| 16:25:02 | <lambdabot> | not an expression: ‘let f n x y = head $ drop n $ iterate x y ’ |
| 16:25:46 | <SoF> | > let f n x y = head $ drop n $ iterate x y in f 3 (+1) 2 |
| 16:25:47 | <lambdabot> | 5 |
| 16:25:50 | <tomsmeding> | SoF: what about 'iterate x y !! n' :p |
| 16:26:10 | <SoF> | not used to it (yet) |
| 16:26:12 | <SoF> | but yes lol |
| 16:26:21 | <kaol> | But what if my f isn't of type a -> a? |
| 16:26:30 | <SoF> | how would that work then? |
| 16:26:31 | <hpc> | then you're stuck |
| 16:26:37 | <tomsmeding> | kaol: what would be the _type_ of your function f then? |
| 16:27:13 | <kaol> | Aww. lisp could do this for certain. |
| 16:27:25 | <SoF> | could you give an example? |
| 16:27:32 | <SoF> | I don't see the logic behind it |
| 16:27:34 | <tomsmeding> | dynamically-typed lisp? or statically-typed lisp? |
| 16:28:38 | <maerwald> | isn't all statically typed? |
| 16:28:56 | <kaol> | I wrote getSum . (foldMap . foldMap . foldMap . foldMap) Sum and I was wondering if I could clean up something with it. |
| 16:29:10 | <tomsmeding> | maerwald: I wouldn't know, though I do know there's some lispy thing called scheme that's dynamically typed :p |
| 16:29:14 | <maerwald> | you just overload functions for different types, that's still static |
| 16:29:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 16:29:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 16:30:12 | <dmwit> | kaol: It wouldn't be too hard to write something of type `(f a -> a) -> Many n f a -> a`, where `type family Many n f a where Many Z f a = a; Many (S n) f a = f (Many n f a)`. |
| 16:30:13 | <hpc> | everything is statically typed for sufficiently broad definition of "type" |
| 16:30:42 | <maerwald> | dynamically typed would be implicit cast/coersion. Like C |
| 16:30:45 | → | Tario joins (~Tario@201.192.165.173) |
| 16:30:49 | <dmwit> | kaol: Then your thing would be something like `getSum . applyMany @(S (S (S (S n)))) foldMap Sum`. |
| 16:30:55 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 16:31:09 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 16:31:11 | <dmwit> | Sorry, `@(S (S (S (S Z))))`, obviously. |
| 16:32:12 | <dmwit> | I guess `applyMany` would have to have a class constraint I didn't mention in my first message. |
| 16:32:51 | <kaol> | I don't obviously need that for my code but I was just wondering how one could go about this sort of a thing. |
| 16:33:52 | <kaol> | An alternate version of that function would be sum . (toList <=< toList <=< toList <=< toList) |
| 16:34:10 | <tomsmeding> | kaol: because haskell is statically typed, you can only do the thing you mean by 1. explicitly introducing dynamic-typedness (that's possible in haskell too); or 2. introducing _more_ types and fixing the composition count at compile time |
| 16:34:28 | <tomsmeding> | if you know that number 'n' at compile time, you can make it work |
| 16:34:31 | samebchase-6 | is now known as samebchase- |
| 16:34:44 | <tomsmeding> | but not terribly easily |
| 16:35:05 | <dmwit> | There is a third option. But perhaps you will consider it to fall under a sort of expanded dynamic typing regime. |
| 16:35:29 | <dmwit> | data SomeMany f a = Zero a | Succ (f (SomeMany f a)) |
| 16:36:09 | <tomsmeding> | hah, interesting mix of the two |
| 16:36:09 | <dmwit> | And then `many :: (f a -> a) -> SomeMany f a -> a` is easy to write, isn't obviously dynamically typed, and doesn't fix the composition count at compile time. |
| 16:36:23 | <dmwit> | yeah =) |
| 16:36:32 | → | carlomagno joins (~cararell@148.87.23.10) |
| 16:37:12 | <kaol> | I wasn't even thinking of passing n at run time, just about how to avoid some repetitive typing. |
| 16:37:48 | <tomsmeding> | dmwit's solution would work |
| 16:38:18 | <tomsmeding> | given that you can also make it work with ghc's type-level naturals, i.e. getSum . applyMany @4 foldMap Sum |
| 16:38:38 | <tomsmeding> | can't really remove the @ because ghc isn't dynamically typed :) |
| 16:38:43 | <tomsmeding> | um |
| 16:38:49 | <tomsmeding> | *dependently-typed |
| 16:39:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 16:39:11 | <dmwit> | I don't think you can make it work with GHC's type-level naturals, because you can't recurse at the type level with them. |
| 16:39:13 | <tomsmeding> | though you can partially fake it with a GADT |
| 16:39:23 | <dmwit> | At least, not easily. You need some, like, unsafeCoerce and stuff. |
| 16:39:28 | <tomsmeding> | really? |
| 16:39:33 | <tomsmeding> | :( |
| 16:39:33 | <dmwit> | yeah =( |
| 16:40:07 | × | fendor quits (~fendor@178.165.129.178.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 16:40:08 | <dmwit> | I think it would be rad to have one extra class in some future GHC that was just a recursion principle for Nat |
| 16:43:57 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:44:04 | <monochrom> | Conclusion: Free monads are an expanded dynamic typing regime. (Note that SomeMany f is the free monad from functor f. >:) ) |
| 16:46:11 | → | alx741 joins (~alx741@181.196.69.45) |
| 16:47:12 | <monochrom> | But what does "many alg (Zero a)" do? |
| 16:47:37 | <monochrom> | Err nevermind. |
| 16:47:58 | × | thc202 quits (~thc202@unaffiliated/thc202) (Read error: Connection reset by peer) |
| 16:48:08 | <dmwit> | You know, I think I could actually get on board with "free monads are an expanded dynamic typing regime". Sounds like excellent propaganda. |
| 16:48:17 | <monochrom> | :) |
| 16:48:42 | <dmwit> | Those two sentences are completely independent, and neither causes the other. |
| 16:51:35 | → | carlomagno1 joins (~cararell@148.87.23.12) |
| 16:51:45 | → | fendor joins (~fendor@178.165.129.178.wireless.dyn.drei.com) |
| 16:52:30 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:53:22 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 16:54:34 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 260 seconds) |
| 16:56:02 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:69f6:cf35:c577:84e2) |
| 16:58:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 16:58:37 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 16:58:46 | × | alx741 quits (~alx741@181.196.69.45) (Quit: alx741) |
| 16:58:55 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:59:32 | → | ambiso99211 joins (~ambiso@209.182.239.205) |
| 16:59:43 | × | ambiso9921 quits (~ambiso@209.182.239.205) (Ping timeout: 252 seconds) |
| 17:01:39 | × | AkechiShiro quits (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) (Quit: WeeChat 2.9) |
| 17:02:06 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:04:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 17:05:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:69f6:cf35:c577:84e2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:08:36 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 17:09:45 | × | debugloop quits (~danieln@unaffiliated/debugloop) (Quit: WeeChat 3.0) |
| 17:09:51 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 17:10:05 | → | debugloop joins (~danieln@unaffiliated/debugloop) |
| 17:13:39 | → | AkechiShiro joins (~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9) |
| 17:14:03 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:18:14 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 17:24:44 | × | ddere quits (uid110888@gateway/web/irccloud.com/x-zsaufvbzeddqdaps) (Quit: Connection closed for inactivity) |
| 17:32:00 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 17:32:28 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:36:53 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 17:39:42 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:40:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 17:43:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 17:45:23 | × | xff0x quits (~xff0x@2001:1a81:5223:f300:8ecc:fc17:b59f:86b8) (Ping timeout: 260 seconds) |
| 17:45:42 | → | guest1123581321 joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 17:46:02 | → | xff0x joins (~xff0x@2001:1a81:5223:f300:bd35:cc29:5dd:ed37) |
| 17:48:55 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-qihmpjrjaahvhsww) |
| 17:50:13 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:52:23 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 17:53:10 | → | stree joins (~stree@68.36.8.116) |
| 18:03:17 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:04:27 | → | esp32_prog joins (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 18:04:31 | × | enoq quits (~textual@194-208-146-143.lampert.tv) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:05:07 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 18:09:09 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 18:10:53 | × | Franciman quits (~francesco@host-87-20-23-243.retail.telecomitalia.it) (Quit: Leaving) |
| 18:12:21 | × | kuribas quits (~user@ptr-25vy0i83sb71lqt997o.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 18:15:46 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 18:21:42 | × | theGrg quits (~theGrg@185.204.1.185) (Remote host closed the connection) |
| 18:22:10 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 18:22:32 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 18:22:47 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 18:23:31 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-tiatbdxsdtnvkusf) |
| 18:23:35 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 18:23:59 | × | mkDoku quits (~TheMule@aftr-37-201-195-134.unity-media.net) (Ping timeout: 246 seconds) |
| 18:28:03 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-leagdtamtaexonnr) (Quit: Connection closed for inactivity) |
| 18:29:12 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 18:32:44 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 18:32:50 | → | DTZUZO joins (~DTZUZO@205.ip-149-56-132.net) |
| 18:33:00 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 18:33:35 | × | DTZUZO quits (~DTZUZO@205.ip-149-56-132.net) (Client Quit) |
| 18:33:46 | → | DTZUZO joins (~DTZUZO@205.ip-149-56-132.net) |
| 18:41:05 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 18:42:38 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 18:46:52 | → | mkDoku joins (~TheMule@aftr-37-201-195-134.unity-media.net) |
| 18:47:15 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 18:49:26 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 18:51:01 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 18:54:48 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 18:56:22 | → | __minoru__shirae joins (~shiraeesh@5.101.59.244) |
| 18:57:00 | × | minoru_shiraeesh quits (~shiraeesh@109.166.57.249) (Ping timeout: 268 seconds) |
| 18:59:14 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 19:00:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:03:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:06:19 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 19:06:35 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 19:08:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 19:10:40 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 19:12:00 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit) |
| 19:13:17 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Remote host closed the connection) |
| 19:14:09 | × | malumore quits (~malumore@151.62.121.55) (Remote host closed the connection) |
| 19:14:28 | → | malumore joins (~malumore@151.62.121.55) |
| 19:15:08 | → | Guest68323 joins (~Guest6832@c-67-169-67-94.hsd1.ca.comcast.net) |
| 19:15:11 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 19:15:14 | × | guest1123581321 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 19:17:45 | × | Guest36200 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:18:02 | → | Lycurgus joins (~niemand@98.4.115.201) |
| 19:21:03 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 19:24:08 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 19:24:19 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 265 seconds) |
| 19:25:29 | → | asdfghjkl100 joins (49336fc4@c-73-51-111-196.hsd1.il.comcast.net) |
| 19:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 19:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 19:26:11 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 19:27:21 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 19:27:38 | × | retroid_ quits (~retro@90.214.167.201) (Ping timeout: 240 seconds) |
| 19:28:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:30:31 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:33:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 19:34:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 19:35:20 | × | Guest68323 quits (~Guest6832@c-67-169-67-94.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 19:35:43 | → | BartK joins (~BartK@195.140.213.38) |
| 19:38:54 | → | fissureman joins (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 19:39:17 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 19:40:42 | <cub3s_> | What is "Haskell NG"? Nix tutorials refer to it but nowhere does anyone say what "NG" is and where this name came from. |
| 19:41:59 | <hpc> | looks like it's a new package set? |
| 19:42:04 | <hpc> | https://stackoverflow.com/questions/30953382/what-is-haskellng-what-is-the-difference-between-haskellpackages-and-haskell#30953616 |
| 19:42:18 | <hpc> | in any event, it's a nix thing |
| 19:43:00 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:492b:e982:ce46:2ec3) |
| 19:45:39 | <cub3s_> | hpc, thanks! |
| 19:46:10 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:47:03 | → | Sorny joins (~Sornaensi@185.192.69.50) |
| 19:47:26 | <Uniaika> | cub3s_: "If it's not documented anywhere, it does not exist" |
| 19:47:33 | <Uniaika> | simple answer :D |
| 19:48:10 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 19:49:11 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:50:05 | <hpc> | and if it exists, it's documented anywhere? |
| 19:50:11 | × | Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 19:50:36 | <hpc> | actually yeah, that checks out |
| 19:52:00 | → | jaroslawj joins (~jaroslawj@185.234.208.208.r.toneticgroup.pl) |
| 19:54:42 | <Uniaika> | :] |
| 19:55:06 | → | jneira joins (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) |
| 19:55:14 | <Uniaika> | heya jneira o/ |
| 19:55:34 | <jneira> | hi! |
| 19:57:37 | <monochrom> | Vapourware is the most documented and existential kind of software. >:) |
| 19:57:45 | <Uniaika> | jneira: did you spend a good semana santa ? |
| 19:57:56 | → | vs^ joins (vs@ip98-184-89-2.mc.at.cox.net) |
| 19:58:20 | <jneira> | not bad :-) |
| 19:58:28 | <hpc> | i read that as "vaporwave" and it took me until "software" to realize i had misread :P |
| 19:59:36 | × | __minoru__shirae quits (~shiraeesh@5.101.59.244) (Remote host closed the connection) |
| 20:00:01 | → | Alleria joins (~textual@2603-7000-3040-0000-3cf7-4d0d-62b7-f465.res6.spectrum.com) |
| 20:00:02 | → | __minoru__shirae joins (~shiraeesh@5.101.59.244) |
| 20:00:24 | Alleria | is now known as Guest38403 |
| 20:00:37 | × | Guest38403 quits (~textual@2603-7000-3040-0000-3cf7-4d0d-62b7-f465.res6.spectrum.com) (Client Quit) |
| 20:01:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 20:02:19 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:02:36 | × | cub3s_ quits (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected) |
| 20:02:42 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 20:03:06 | <fresheyeball> | I just learned I can put implimentations into .hsig files |
| 20:03:12 | <fresheyeball> | how does that work? |
| 20:03:18 | <fresheyeball> | what happens if there is a collision? |
| 20:03:58 | <Lycurgus> | u could loose ur eyeball, watch out |
| 20:04:08 | <fresheyeball> | Eeep! |
| 20:04:44 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 20:04:46 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 20:06:51 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:492b:e982:ce46:2ec3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:07:10 | → | conal joins (~conal@64.71.133.70) |
| 20:07:12 | → | petersen joins (~petersen@redhat/juhp) |
| 20:07:22 | jaroslawj | is now known as guest11235813 |
| 20:10:11 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 20:14:01 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:14:26 | → | stree joins (~stree@68.36.8.116) |
| 20:15:40 | → | conal joins (~conal@64.71.133.70) |
| 20:16:51 | <edwardk> | fresheyeball: everyone has to supply that exact implementation |
| 20:16:59 | <edwardk> | fresheyeball it doesn't layer on top or anything |
| 20:17:13 | <fresheyeball> | so I put `data Foo m = forall a. Foo (Bar m a)` |
| 20:17:20 | <fresheyeball> | into a .hsig and it compiled |
| 20:17:23 | <edwardk> | fresheyeball: its because .hsigs are basically .hs-boot files in a wig |
| 20:17:24 | <fresheyeball> | I am confused by that |
| 20:17:44 | <edwardk> | now when you go to define a module to match that signature it'll need that same definition |
| 20:18:37 | <edwardk> | the role of .hs-boot files is to break up cycles by containing enough definitions that a circular dependency between two modules could resolve |
| 20:18:45 | <edwardk> | backpack signatures riff off that idea |
| 20:20:46 | × | malumore quits (~malumore@151.62.121.55) (Ping timeout: 240 seconds) |
| 20:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:25:59 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 20:27:41 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:28:08 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 20:29:10 | <fresheyeball> | I see |
| 20:30:15 | → | malumore joins (~malumore@151.62.121.55) |
| 20:32:05 | × | ulidtko quits (~ulidtko@194.54.80.38) (Ping timeout: 246 seconds) |
| 20:33:26 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 20:35:19 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 20:36:12 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:44:17 | <fresheyeball> | edwardk: can I have a package with a .hsig |
| 20:44:23 | <fresheyeball> | and have a package depend on it |
| 20:44:27 | <fresheyeball> | while not filling out the module? |
| 20:44:38 | <fresheyeball> | as in kind of delay it further? |
| 20:44:53 | <fresheyeball> | package foo has zip.hsig |
| 20:44:59 | <fresheyeball> | package bar depends on pacakge foo |
| 20:45:13 | <fresheyeball> | package baz depends on package bar and supplies zip.hs |
| 20:46:04 | <average> | just wanted to mention I saw a video about visual basic here https://www.youtube.com/watch?v=0o0kkHgoW4M#t=3m21s |
| 20:46:25 | <average> | kindof crazy that someone would make a video like that about a programming language |
| 20:50:08 | → | esp361801 joins (~esp32_pro@89.36.78.170) |
| 20:50:38 | × | supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 20:51:54 | <fresheyeball> | average: what is odd about it? |
| 20:53:27 | × | esp32_prog quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 20:57:47 | × | Lycurgus quits (~niemand@98.4.115.201) (Quit: Exeunt) |
| 20:59:52 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 21:01:53 | → | esp32_prog joins (~esp32_pro@185.254.75.29) |
| 21:02:49 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:03:15 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:03:58 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:04:56 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:05:07 | × | esp361801 quits (~esp32_pro@89.36.78.170) (Ping timeout: 260 seconds) |
| 21:07:09 | × | vs^ quits (vs@ip98-184-89-2.mc.at.cox.net) () |
| 21:11:05 | → | alx741 joins (~alx741@181.196.69.45) |
| 21:11:10 | <monochrom> | People make videos promoting cobol too. "it reads like English so it's easy to debug" |
| 21:12:07 | <pjb> | LOL |
| 21:13:28 | <edwardk> | fresheyeball: yes |
| 21:13:38 | <edwardk> | fresheyeball: i've done this (see unboxed) |
| 21:15:22 | <koz_> | Suppose I have a where-bind 'foo :: SmallArray Int', where the body is 'foo = runST $ do ...'. Is this ST computation gonna get re-run each time I need the value of foo? |
| 21:15:22 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 21:15:34 | → | esp381274 joins (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 21:16:59 | → | son0p joins (~son0p@181.136.122.143) |
| 21:17:40 | <edwardk> | {-# noinline foo #-} -- if you really want to make sure it doesn't get recreated |
| 21:17:41 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 240 seconds) |
| 21:17:57 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 21:18:04 | <koz_> | But in theory, it shouldn't, right? The idea is I only need it to run once. |
| 21:18:30 | <edwardk> | it should try to share rather than inline the definition because doing the latter isn't "work safe" |
| 21:18:39 | × | esp32_prog quits (~esp32_pro@185.254.75.29) (Ping timeout: 260 seconds) |
| 21:18:43 | <edwardk> | unless there is only one use site |
| 21:18:48 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 21:18:55 | <koz_> | There are definitely multiple use sites. |
| 21:21:17 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 21:23:56 | → | acidjnk_new joins (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) |
| 21:26:44 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 21:29:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:31:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 21:32:39 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:33:11 | × | son0p quits (~son0p@181.136.122.143) (Remote host closed the connection) |
| 21:33:35 | → | Chorhizo joins (5615d9ca@cpc1-cmbg20-2-0-cust457.5-4.cable.virginm.net) |
| 21:33:45 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:33:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 21:35:10 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 21:35:44 | <Chorhizo> | Hey guys, I've got a quick question. In an OO language I'd usually try and decouple the DTO objects from the domain objects, it seems a bit boilerplatey for Haskell to implement a ton of instance's, am I overthinking this? |
| 21:36:00 | → | fendor_ joins (~fendor@77.119.128.7.wireless.dyn.drei.com) |
| 21:36:12 | → | son0p joins (~son0p@181.136.122.143) |
| 21:37:16 | → | esp32_prog joins (~esp32_pro@193.27.13.234) |
| 21:38:11 | × | fendor quits (~fendor@178.165.129.178.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 21:39:50 | <c_wraith> | You'd still decouple them in haskell, but the conversion is usually just.. functions. |
| 21:40:35 | × | esp381274 quits (esp32_prog@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 260 seconds) |
| 21:42:56 | → | esp344065 joins (~esp32_pro@89.45.90.62) |
| 21:45:47 | <Chorhizo> | Thanks, I think I briefly lost my mind |
| 21:46:11 | × | esp32_prog quits (~esp32_pro@193.27.13.234) (Ping timeout: 260 seconds) |
| 21:46:54 | → | hexfive joins (~hexfive@50.35.83.177) |
| 21:48:12 | → | virmaha joins (43a131fc@c-67-161-49-252.hsd1.ca.comcast.net) |
| 21:50:26 | × | vv8 quits (~egp_@2.95.145.35) (Ping timeout: 260 seconds) |
| 21:56:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:57:07 | × | fendor_ quits (~fendor@77.119.128.7.wireless.dyn.drei.com) (Remote host closed the connection) |
| 22:02:31 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 260 seconds) |
| 22:03:36 | × | shatriff quits (~vitaliish@176.52.216.242) () |
| 22:03:49 | × | e quits (e@freenode/staff/spy.edk) (Quit: edk) |
| 22:04:36 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 22:04:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 22:05:34 | → | esp32_prog joins (~esp32_pro@86.106.143.75) |
| 22:07:35 | × | guest11235813 quits (~jaroslawj@185.234.208.208.r.toneticgroup.pl) (Quit: Lost terminal) |
| 22:08:39 | × | ChanServ quits (ChanServ@services.) (shutting down) |
| 22:08:57 | → | e joins (e@freenode/staff/spy.edk) |
| 22:09:03 | × | esp344065 quits (~esp32_pro@89.45.90.62) (Ping timeout: 260 seconds) |
| 22:10:05 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:13:21 | → | ChanServ joins (ChanServ@services.) |
| 22:13:21 | card.freenode.net | sets mode +o ChanServ |
| 22:14:54 | → | tefter joins (~bmaxa@62.240.24.69) |
| 22:15:36 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a5e5:fa89:8dc2:92de) |
| 22:15:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 22:16:11 | × | robotmay quits (~beepboop@2001:8b0:7af0:2580:88f:3393:350e:d23b) (Quit: Be excellent to each other) |
| 22:16:24 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 22:22:08 | → | robotmay joins (~beepboop@2001:8b0:7af0:2580:257e:30aa:f716:dc3d) |
| 22:22:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 22:25:39 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:25:58 | → | zebrag joins (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) |
| 22:26:43 | → | tefter_ joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 22:28:04 | → | Saurabh joins (80c198ce@128-193-152-206.ptpg.oregonstate.edu) |
| 22:28:52 | <Saurabh> | Hey new to haskell, Can anyone please suggest the best ide to use? So far people have suggested me Visual Studio Code. |
| 22:29:07 | <dmj`> | Saurabh: haskell-mode for emacs |
| 22:29:22 | <Saurabh> | emacs? |
| 22:29:27 | <dmj`> | Saurabh: yessir |
| 22:29:34 | <Saurabh> | What is emacs? |
| 22:29:46 | <dmj`> | Saurabh: It's a powerful text editor |
| 22:29:51 | <dmj`> | Saurabh: what OS are you running? |
| 22:29:55 | × | tefter quits (~bmaxa@62.240.24.69) (Ping timeout: 265 seconds) |
| 22:29:56 | <Saurabh> | Windows |
| 22:30:53 | <Saurabh> | Thanks!! |
| 22:30:55 | <dmj`> | Saurabh: maybe stick with VSCode then, but if curious https://www.gnu.org/software/emacs/download.html |
| 22:31:10 | <dmj`> | Saurabh: been using https://github.com/haskell/haskell-mode for years |
| 22:31:36 | × | tefter_ quits (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 268 seconds) |
| 22:31:46 | <Saurabh> | I see. |
| 22:32:04 | <dmj`> | Have heard great things about VSCode though |
| 22:32:25 | → | Tario joins (~Tario@200.119.187.188) |
| 22:32:26 | <Saurabh> | Learning it for my undergrad class. |
| 22:33:05 | → | tefter_ joins (~bmaxa@62.240.24.69) |
| 22:34:04 | <dmj`> | Saurabh: that's awesome |
| 22:34:31 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 22:35:50 | → | stree joins (~stree@68.36.8.116) |
| 22:43:10 | × | zebrag quits (~inkbottle@aaubervilliers-651-1-244-162.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:44:01 | × | dyamon quits (~dyamon@cpc69058-oxfd26-2-0-cust662.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 22:46:23 | × | Tario quits (~Tario@200.119.187.188) (Ping timeout: 260 seconds) |
| 22:46:43 | → | Tario joins (~Tario@201.192.165.173) |
| 22:48:21 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 22:50:30 | → | tefter joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 22:51:14 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 22:51:17 | → | tefter__ joins (bmaxa@gateway/vpn/protonvpn/tefter) |
| 22:53:11 | × | tefter quits (bmaxa@gateway/vpn/protonvpn/tefter) (Remote host closed the connection) |
| 22:53:18 | × | tefter_ quits (~bmaxa@62.240.24.69) (Ping timeout: 240 seconds) |
| 22:54:35 | → | conal joins (~conal@64.71.133.70) |
| 22:55:46 | × | tefter__ quits (bmaxa@gateway/vpn/protonvpn/tefter) (Ping timeout: 260 seconds) |
| 22:56:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:57:36 | → | tefter__ joins (~bmaxa@62.240.24.69) |
| 22:58:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:01:26 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 23:03:15 | × | tefter__ quits (~bmaxa@62.240.24.69) (Quit: WeeChat 3.1) |
| 23:06:18 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 23:06:52 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 23:09:11 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 23:09:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 23:13:42 | × | Saurabh quits (80c198ce@128-193-152-206.ptpg.oregonstate.edu) (Ping timeout: 240 seconds) |
| 23:19:20 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 23:19:34 | × | __minoru__shirae quits (~shiraeesh@5.101.59.244) (Ping timeout: 260 seconds) |
| 23:19:41 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds) |
| 23:19:54 | × | Chorhizo quits (5615d9ca@cpc1-cmbg20-2-0-cust457.5-4.cable.virginm.net) (Quit: Connection closed) |
| 23:23:22 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 23:25:36 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 23:26:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 23:29:14 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 23:29:47 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 23:32:43 | → | Tario joins (~Tario@201.192.165.173) |
| 23:34:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:35:10 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 23:36:19 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959101a0d9f262d01485.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 23:37:04 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 23:37:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 23:41:37 | × | APic quits (apic@apic.name) (Ping timeout: 245 seconds) |
| 23:44:48 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-tqwsnaxaoooqdbuj) |
| 23:45:07 | <dcbdan> | dmj`: https://xkcd.com/378/ |
| 23:45:55 | <sim590> | A good step by step explanation to understand the process to rigourously make a haskell statement pointfree: https://stackoverflow.com/a/13426526. I guess most people here know how, but in case it helps someone. Or if you have a better reference? |
| 23:46:47 | ← | usr25 parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 23:48:36 | <sim590> | Which is more readable? `copath uid = maybe empty return <=< runChronicleWithLog . runMaybeT . IT.copath uid` or `copath = ( ( maybe empty return <=< runChronicleWithLog . runMaybeT ) . ) . IT.copath`. I would guess the first... right? :) |
| 23:49:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:49:54 | → | vv8 joins (~egp_@128-71-69-136.broadband.corbina.ru) |
| 23:51:10 | × | Sorny quits (~Sornaensi@185.192.69.50) (Read error: Connection reset by peer) |
| 23:53:00 | <dcbdan> | unlambda, everyone's favorite programming language http://www.madore.org/~david/programs/unlambda/ |
| 23:53:07 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 23:53:47 | <dcbdan> | i think that site covers the "to-point-free" algo, in some guise.. |
| 23:54:50 | × | ezrakilty quits (~ezrakilty@97-126-95-37.tukw.qwest.net) (Remote host closed the connection) |
| 23:55:41 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 23:56:55 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 23:57:37 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-qihmpjrjaahvhsww) (Quit: Connection closed for inactivity) |
All times are in UTC on 2021-04-04.