Logs on 2020-11-27 (freenode/#haskell)
| 00:02:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:03:10 | → | christo joins (~chris@81.96.113.213) |
| 00:03:57 | <hekkaidekapus_> | shapr: It turns out pangraph can bridge between alga and fgl, thus there is a … path from alga to graphviz. (Not going the rabbit hole of checking with real code at the moment, but the possibility is there.) |
| 00:04:45 | hekkaidekapus_ | notes that pangraph might have been another opportunity to put backpack at work… |
| 00:05:44 | → | mawk joins (mawk@serveur.io) |
| 00:08:43 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
| 00:09:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 00:09:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:11:07 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 00:11:44 | × | Anthaas quits (~Anthaas@unaffiliated/anthaas) (Read error: Connection reset by peer) |
| 00:12:43 | → | Anthaas joins (~Anthaas@unaffiliated/anthaas) |
| 00:14:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 00:15:30 | hackage | phonetic-languages-examples 0.6.2.1 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.6.2.1 (OleksandrZhabenko) |
| 00:16:37 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 00:16:40 | → | jedws joins (~jedws@101.184.180.34) |
| 00:17:28 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 256 seconds) |
| 00:19:44 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 00:27:08 | × | klardotsh quits (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) (Quit: WeeChat 2.9) |
| 00:29:52 | <monochrom> | Every year at this time I share with you: pumpkin catmorphism http://www.vex.net/~trebla/photo/unorganized/pumpkin-catmorphism.jpg |
| 00:30:53 | <sm[m]> | hekkaidekapus_: thanks |
| 00:33:29 | <hekkaidekapus_> | yw |
| 00:33:31 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 00:34:26 | <hekkaidekapus_> | monochrom: ty :p |
| 00:35:00 | hackage | language-dickinson 1.4.1.1 - A language for generative literature https://hackage.haskell.org/package/language-dickinson-1.4.1.1 (vmchale) |
| 00:35:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 00:37:01 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 00:37:24 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 00:37:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 00:38:15 | hekkaidekapus_ | is now known as hekkaidekapus |
| 00:39:30 | → | christo joins (~chris@81.96.113.213) |
| 00:41:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:41:31 | × | wonko7 quits (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) (Ping timeout: 246 seconds) |
| 00:43:53 | × | jollygood2 quits (~bc8165ab@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 00:44:01 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 260 seconds) |
| 00:44:20 | → | tswett joins (a2cf47fd@unaffiliated/tswett) |
| 00:44:26 | → | christo joins (~chris@81.96.113.213) |
| 00:46:25 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 00:50:17 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 00:51:13 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 00:53:49 | × | Lycurgus quits (~niemand@98.4.114.74) (Quit: Exeunt) |
| 00:56:06 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 01:03:08 | × | m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds) |
| 01:05:26 | → | conal joins (~conal@64.71.133.70) |
| 01:07:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:11:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 01:11:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:12:38 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Ping timeout: 260 seconds) |
| 01:12:53 | → | aidecoe joins (~aidecoe@unaffiliated/aidecoe) |
| 01:14:01 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 264 seconds) |
| 01:16:15 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 01:20:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:20:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 01:30:55 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:30:57 | → | klardotsh joins (~klardotsh@c-71-231-242-112.hsd1.wa.comcast.net) |
| 01:31:33 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 01:32:06 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:33:33 | → | guest1127 joins (~user@49.5.6.87) |
| 01:36:05 | → | hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net) |
| 01:37:29 | → | Lord_of_Life_ joins (~Lord@46.217.218.157) |
| 01:37:31 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 246 seconds) |
| 01:38:16 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 240 seconds) |
| 01:42:22 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 01:42:35 | × | jedws quits (~jedws@101.184.180.34) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:43:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:49:36 | × | frdg quits (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 01:55:50 | × | xff0x quits (~fox@2001:1a81:52e2:1100:6a57:53b7:993a:a9b) (Ping timeout: 264 seconds) |
| 01:56:07 | → | xff0x joins (~fox@2001:1a81:52e2:1100:fe89:c71d:9f43:fdfc) |
| 01:57:21 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 01:59:00 | hackage | capnp 0.8.0.0 - Cap'n Proto for Haskell https://hackage.haskell.org/package/capnp-0.8.0.0 (isd) |
| 02:00:47 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 02:01:07 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:03:04 | × | solonarv quits (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 02:04:43 | → | frdg joins (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 02:07:12 | <shapr> | hekkaidekapus: neat, I hadn't heard about pangraph, I'm interested in graph description languages. |
| 02:11:37 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 02:12:13 | × | Entertainment quits (~entertain@104.246.132.210) (Ping timeout: 264 seconds) |
| 02:12:54 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:15:54 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Quit: Ping timeout (120 seconds)) |
| 02:17:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 02:19:43 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Ping timeout: 260 seconds) |
| 02:27:52 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-tvvqptjlpgxgseek) |
| 02:28:15 | <kupi> | hi |
| 02:28:48 | <kupi> | i would like to get Maybe (Int, Int) from that regex, i can't even get the string values, i get empty string |
| 02:28:48 | <kupi> | https://gist.github.com/theqp/8d38a3997deb3f15f17b1b5be1e996a9 |
| 02:28:53 | <kupi> | what do i do wrong? |
| 02:29:14 | → | toorevitimirp joins (~tooreviti@117.182.183.18) |
| 02:30:47 | × | xff0x quits (~fox@2001:1a81:52e2:1100:fe89:c71d:9f43:fdfc) (Ping timeout: 260 seconds) |
| 02:31:03 | × | jchia quits (~jchia@58.32.36.109) (Read error: Connection reset by peer) |
| 02:31:32 | → | jchia joins (~jchia@58.32.36.109) |
| 02:31:52 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-euqghorjjrswhrff) () |
| 02:32:18 | → | xff0x joins (~fox@2001:1a81:531e:fa00:901e:6460:6691:753b) |
| 02:34:05 | <koz_> | Use regexp. This sounds like something a {mega,atto}parsec parser could do a lot more easily. |
| 02:34:16 | <koz_> | This in particular worries me: import qualified Data.ByteString.Lazy.Char8 as C |
| 02:35:20 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 02:35:25 | → | jonatanb joins (~jonatanb@83.24.220.252.ipv4.supernova.orange.pl) |
| 02:36:45 | × | ornxka quits (~ornxka@unaffiliated/ornx) (Quit: No Ping reply in 180 seconds.) |
| 02:38:59 | → | ornxka joins (~ornxka@unaffiliated/ornx) |
| 02:40:36 | × | jonatanb quits (~jonatanb@83.24.220.252.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 02:41:57 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 02:46:02 | → | drbean joins (~drbean@TC210-63-209-149.static.apol.com.tw) |
| 02:46:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 02:47:12 | <kupi> | koz_: this one? https://hackage.haskell.org/package/regex-examples-1.1.0.0#readme |
| 02:47:25 | <kupi> | the site is down and i can't reach the toturial |
| 02:47:38 | <koz_> | Yeah... is your input data a C-string? |
| 02:47:44 | <kupi> | yes |
| 02:47:53 | <koz_> | Wow, in that case, my sympathies. |
| 02:48:20 | <kupi> | i am practicing with real world haskell |
| 02:49:08 | <kupi> | that used Text.Regex.Posix, but that is outdated |
| 02:49:13 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 02:49:42 | <kupi> | regex-tdfa seems to be the new equivalent |
| 02:50:17 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:55:45 | <kupi> | i have found this https://stackoverflow.com/a/5591628 |
| 02:55:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 02:55:53 | <kupi> | and updated my code accordingly |
| 02:56:44 | <kupi> | and still get an empty list |
| 02:59:35 | → | reallymemorable joins (~quassel@ip68-9-215-56.ri.ri.cox.net) |
| 03:00:24 | <koz_> | Does \\D mean 'not a digit'? |
| 03:01:07 | <kupi> | this says yes |
| 03:01:08 | <kupi> | https://www.regextester.com/99203 |
| 03:01:45 | <kupi> | what's even more weird is this: https://gist.github.com/theqp/98373e203483c65fbd93152a795a91f9 |
| 03:02:25 | × | ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 240 seconds) |
| 03:03:03 | <kupi> | nvm, the last element may be the whole match |
| 03:03:16 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 03:07:08 | → | ski joins (~ski@nc-2504-30.studat.chalmers.se) |
| 03:07:42 | <kupi> | i found the root of them problem: https://www.regextester.com/ lies in it's title, it does not match posix regexes |
| 03:10:29 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:27:46 | → | androzanimedium joins (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) |
| 03:30:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:30:47 | → | FreeBirdLjj joins (~freebirdl@101.228.42.108) |
| 03:34:41 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:35:42 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 272 seconds) |
| 03:36:07 | → | jedws joins (~jedws@101.184.180.34) |
| 03:37:28 | × | ian-mi quits (~ian_milli@c-67-160-8-14.hsd1.wa.comcast.net) (Quit: WeeChat 2.5) |
| 03:38:33 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 03:39:06 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 03:39:12 | lagothrix | is now known as Guest82818 |
| 03:39:12 | × | Guest82818 quits (~lagothrix@unaffiliated/lagothrix) (Killed (tepper.freenode.net (Nickname regained by services))) |
| 03:39:18 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 03:42:43 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds) |
| 03:42:45 | × | theDon quits (~td@muedsl-82-207-238-209.citykom.de) (Ping timeout: 240 seconds) |
| 03:43:10 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 03:44:58 | → | theDon joins (~td@muedsl-82-207-238-051.citykom.de) |
| 03:45:07 | → | adm_ joins (~adm@43.229.89.234) |
| 03:49:50 | → | Tario joins (~Tario@201.192.165.173) |
| 03:51:13 | × | adm_ quits (~adm@43.229.89.234) (Ping timeout: 246 seconds) |
| 03:51:56 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds) |
| 03:52:00 | hackage | box 0.6.2 - boxes https://hackage.haskell.org/package/box-0.6.2 (tonyday567) |
| 04:00:01 | × | haasn quits (~nand@mpv/developer/haasn) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 04:00:33 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 04:01:21 | → | haasn joins (~nand@mpv/developer/haasn) |
| 04:04:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 04:13:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:25:29 | × | tswett quits (a2cf47fd@unaffiliated/tswett) (Ping timeout: 245 seconds) |
| 04:25:30 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:25:42 | → | Tario joins (~Tario@201.192.165.173) |
| 04:26:46 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 04:28:03 | × | marek quits (~mmahut@fedora/pyxel) (Ping timeout: 260 seconds) |
| 04:28:23 | → | marek joins (~mmahut@209.250.249.245) |
| 04:36:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:36:36 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 04:41:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 04:42:28 | → | adm_ joins (~adm@43.229.89.234) |
| 04:43:05 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 04:44:59 | → | vg joins (~vg@139.59.59.230) |
| 04:47:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 04:50:26 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 04:52:39 | → | bugg joins (d9a5a4dd@bba148557.alshamil.net.ae) |
| 04:55:34 | → | conal joins (~conal@64.71.133.70) |
| 04:56:24 | × | bugg quits (d9a5a4dd@bba148557.alshamil.net.ae) (Remote host closed the connection) |
| 04:56:25 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 04:58:03 | → | conal joins (~conal@64.71.133.70) |
| 04:58:44 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 04:58:56 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 04:59:11 | → | vg joins (~vg@139.59.59.230) |
| 04:59:24 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 04:59:40 | → | vg joins (~vg@139.59.59.230) |
| 05:03:06 | vg | is now known as TooDifficult |
| 05:04:25 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 264 seconds) |
| 05:04:56 | × | TooDifficult quits (~vg@139.59.59.230) (Quit: TooDifficult) |
| 05:05:14 | → | TooDifficult joins (~vg@139.59.59.230) |
| 05:05:26 | × | TooDifficult quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 05:05:41 | → | TooDifficult joins (~vg@139.59.59.230) |
| 05:05:50 | × | TooDifficult quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 05:06:01 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 05:06:06 | → | TooDifficult joins (~vg@139.59.59.230) |
| 05:06:18 | × | TooDifficult quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 05:06:57 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 265 seconds) |
| 05:07:34 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-eqaddrksaizoivrq) |
| 05:08:36 | → | SubHodH joins (6705874c@103.5.135.76) |
| 05:09:32 | × | SubHodH quits (6705874c@103.5.135.76) (Remote host closed the connection) |
| 05:11:20 | → | conal joins (~conal@64.71.133.70) |
| 05:11:34 | × | caecilius quits (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 05:12:28 | → | jneira joins (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) |
| 05:13:52 | × | jespada quits (~jespada@90.254.245.49) (Ping timeout: 272 seconds) |
| 05:13:56 | × | ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 240 seconds) |
| 05:14:27 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 05:15:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:15:58 | → | jespada joins (~jespada@90.254.245.49) |
| 05:16:00 | → | conal joins (~conal@64.71.133.70) |
| 05:16:22 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 05:17:09 | → | conal joins (~conal@64.71.133.70) |
| 05:17:09 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 05:17:48 | → | conal joins (~conal@64.71.133.70) |
| 05:17:56 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 05:18:15 | → | ricks_ joins (~ricks_@unaffiliated/ricks-/x-3439430) |
| 05:18:22 | × | ricks_ quits (~ricks_@unaffiliated/ricks-/x-3439430) (Max SendQ exceeded) |
| 05:18:36 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 05:18:44 | → | ricks_ joins (~ricks_@unaffiliated/ricks-/x-3439430) |
| 05:18:45 | → | conal joins (~conal@64.71.133.70) |
| 05:18:45 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 05:18:48 | × | ricks_ quits (~ricks_@unaffiliated/ricks-/x-3439430) (Max SendQ exceeded) |
| 05:18:53 | × | androzanimedium quits (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Quit: Lost terminal) |
| 05:19:04 | → | ricks_ joins (~ricks_@unaffiliated/ricks-/x-3439430) |
| 05:19:11 | × | ricks_ quits (~ricks_@unaffiliated/ricks-/x-3439430) (Max SendQ exceeded) |
| 05:19:26 | → | ricks_ joins (~ricks_@unaffiliated/ricks-/x-3439430) |
| 05:19:36 | × | ricks_ quits (~ricks_@unaffiliated/ricks-/x-3439430) (Max SendQ exceeded) |
| 05:19:51 | → | ricks_ joins (~ricks_@unaffiliated/ricks-/x-3439430) |
| 05:20:00 | × | ricks_ quits (~ricks_@unaffiliated/ricks-/x-3439430) (Max SendQ exceeded) |
| 05:20:33 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 05:22:58 | × | texasmynsted quits (~texasmyns@212.102.45.115) (Remote host closed the connection) |
| 05:23:26 | → | ski joins (~ski@nc-2504-30.studat.chalmers.se) |
| 05:23:38 | → | texasmynsted joins (~texasmyns@212.102.45.115) |
| 05:24:36 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds) |
| 05:24:56 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 05:27:56 | × | texasmynsted quits (~texasmyns@212.102.45.115) (Ping timeout: 240 seconds) |
| 05:32:47 | → | lpy joins (~nyd@unaffiliated/elysian) |
| 05:33:49 | × | adm_ quits (~adm@43.229.89.234) (Ping timeout: 264 seconds) |
| 05:34:45 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 05:43:20 | → | bruce_wayne joins (~prateekpr@94.129.87.184) |
| 05:43:20 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 05:43:38 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 05:49:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 05:49:57 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:50:59 | → | ADG1089 joins (~adg1089@223.235.74.84) |
| 05:51:37 | <ADG1089> | haskell web framework to take 3 file uploads and process them (like pandas in python) and return a SQL query? |
| 05:54:37 | × | ADG1089 quits (~adg1089@223.235.74.84) (Remote host closed the connection) |
| 05:55:44 | × | jedws quits (~jedws@101.184.180.34) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:58:41 | → | jedws joins (~jedws@101.184.180.34) |
| 06:00:04 | → | SanchayanMaity joins (~Sanchayan@171.61.107.186) |
| 06:02:44 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:03:26 | × | jedws quits (~jedws@101.184.180.34) (Client Quit) |
| 06:04:20 | → | danvet_ joins (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) |
| 06:13:35 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 06:20:12 | × | gioyik quits (~gioyik@186.118.238.251) (Read error: Connection reset by peer) |
| 06:20:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:21:14 | → | gioyik joins (~gioyik@186.118.238.251) |
| 06:22:24 | → | ADG1089 joins (~adg1089@223.235.74.84) |
| 06:23:48 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 06:25:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:26:38 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 06:30:29 | → | michalz joins (~user@185.246.204.43) |
| 06:32:30 | hackage | cloudi 2.0.1 - Haskell CloudI API https://hackage.haskell.org/package/cloudi-2.0.1 (okeuday) |
| 06:35:04 | → | Amras joins (~Amras@unaffiliated/amras) |
| 06:42:14 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 06:44:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 06:47:24 | → | alp joins (~alp@2a01:e0a:58b:4920:45cf:c1fe:48db:d753) |
| 06:48:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 06:49:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:53:08 | × | esandeen quits (~esandeen@84.39.117.57) (Remote host closed the connection) |
| 06:59:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:59:26 | → | asheshambasta joins (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) |
| 06:59:55 | × | gioyik quits (~gioyik@186.118.238.251) (Quit: WeeChat 3.0) |
| 07:05:45 | → | bitmagie joins (~Thunderbi@200116b806d96200ec98ded03a0a7d0e.dip.versatel-1u1.de) |
| 07:06:33 | × | bitmagie quits (~Thunderbi@200116b806d96200ec98ded03a0a7d0e.dip.versatel-1u1.de) (Client Quit) |
| 07:12:50 | → | ashepelev joins (~ashepelev@84.39.116.180) |
| 07:13:23 | <triteraflops> | Someone here mentioned haskell can do destructive updates. I think I remember something about this now. It basically does it with a monad of some sort, right? |
| 07:13:31 | <triteraflops> | or in-place updates |
| 07:13:48 | <triteraflops> | you know you got a big honking hunk of memory and you change one byte of it |
| 07:14:11 | → | ggole joins (~ggole@2001:8003:8119:7200:e125:8c0:7374:b02e) |
| 07:14:14 | <triteraflops> | Please don't make a new copy of this 2-gigabyte data structure lol |
| 07:14:34 | <opqdonut> | triteraflops: ST is the monad you're thinking about |
| 07:14:49 | <opqdonut> | for safe invisible local mutation |
| 07:14:54 | <opqdonut> | if you want global mutation, it's IO |
| 07:15:04 | <triteraflops> | well, IO is a license to kill |
| 07:15:16 | <triteraflops> | I would not resort to it unless absolutely necessary |
| 07:15:47 | <triteraflops> | If everything happens in IO, there's no actual reason for me to use haskell at that point |
| 07:16:05 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds) |
| 07:16:26 | <triteraflops> | local mutation though |
| 07:16:47 | <triteraflops> | so you make the monad, it does things, then you evaluate the monad, and that's the end of this series of mutations |
| 07:16:58 | <triteraflops> | or wait |
| 07:17:11 | <triteraflops> | Can I use ST to do things like persistent process state? |
| 07:17:40 | <triteraflops> | a data structure that changes a tiny bit every 16.66666667 milliseconds? |
| 07:17:49 | → | knupfer joins (~Thunderbi@200116b82ce60800d01164fffe59dfd0.dip.versatel-1u1.de) |
| 07:17:50 | × | knupfer quits (~Thunderbi@200116b82ce60800d01164fffe59dfd0.dip.versatel-1u1.de) (Client Quit) |
| 07:17:59 | → | knupfer joins (~Thunderbi@200116b82ce6080049b3a5a95475d085.dip.versatel-1u1.de) |
| 07:18:16 | <opqdonut> | no |
| 07:18:19 | <opqdonut> | that's IO |
| 07:18:20 | <opqdonut> | that's not pure |
| 07:18:24 | <triteraflops> | shit. |
| 07:18:27 | <triteraflops> | but.... |
| 07:18:34 | <opqdonut> | and anyway, it's fine if "everything happens in IO" |
| 07:18:39 | <opqdonut> | haskell is the best imperative programming language |
| 07:18:43 | <triteraflops> | lol |
| 07:18:50 | <opqdonut> | it is, try it |
| 07:19:05 | <opqdonut> | and anyway, you can then isolate some nice pure parts out of the IO and e.g. test them with quickcheck |
| 07:19:13 | <triteraflops> | but what would the advantages even be at that point? |
| 07:19:19 | <opqdonut> | types |
| 07:19:23 | <opqdonut> | performance |
| 07:19:29 | <opqdonut> | tooling (gotta love the profilers) |
| 07:20:11 | <triteraflops> | OK, so I'll give that a maybe. |
| 07:20:39 | <triteraflops> | I can have two persistent systems that have nothing to do with each other. And they must both be IO? |
| 07:21:07 | <triteraflops> | or that are weakly interacting, like audio and video |
| 07:21:17 | <opqdonut> | well they can both be giant ST transactions too I guess, but then you won't be really able to interact with the outside world while updating them |
| 07:21:38 | <triteraflops> | I'll give that a maybe too |
| 07:21:43 | <opqdonut> | yeah if you have audio/video it must be IO. ST is for local mutation, think in-place quicksort. The computation as a whole must be pure |
| 07:21:59 | <triteraflops> | That is the haskell party line |
| 07:22:12 | <triteraflops> | OK, so there is a reason I'm asking these questions. |
| 07:22:25 | <triteraflops> | Have you ever heard of a language called Clean? |
| 07:22:28 | <triteraflops> | It'd Dutch. |
| 07:22:33 | <triteraflops> | *It's |
| 07:23:13 | <opqdonut> | yes, clean inspired haskell a bit I think |
| 07:23:29 | <opqdonut> | not sure if it's still maintained/relevant tho |
| 07:23:34 | <triteraflops> | So, clean is a more complicated language than haskell. |
| 07:23:37 | <triteraflops> | It is, yeas |
| 07:23:52 | <triteraflops> | It adds an extra property to types, uniqueness. |
| 07:23:53 | <triteraflops> | brb |
| 07:24:11 | <opqdonut> | yeah I know of linear/uniqueness typing |
| 07:25:13 | <ski> | "clean inspired haskell a bit I think" -- neither |
| 07:25:16 | <opqdonut> | you might be interested in https://gitlab.haskell.org/ghc/ghc/-/wikis/linear-types |
| 07:25:22 | <ski> | and yes, it's still maintained |
| 07:25:52 | <opqdonut> | anyway I think you'll find it's possible to write very nice haskell programs that are "IO-heavy", and you can usually isolate quite a bit of the code into pure functions anyway |
| 07:26:04 | <ski> | the Clean folks was part of the same fuzzy group of people that were researching lazy pure functional programming languages as the Haskell folks |
| 07:26:18 | <opqdonut> | but of course if you just want to take a principled stance against the haskell IO model then yeah, it's limited :) |
| 07:26:37 | <triteraflops> | back |
| 07:27:03 | <ski> | people decided it would be better to try to compromise, cooperate, settle on some standard language, instead of everyone, or every small group having their own variant language |
| 07:27:12 | <triteraflops> | I am indeed very interested in linear types |
| 07:27:12 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 07:27:30 | <triteraflops> | It seems more granular than relegating all persistent state to IO |
| 07:27:45 | <ski> | and so Haskell was formed by a committee |
| 07:27:52 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 07:28:15 | <opqdonut> | one way to keep these two mutable "threads" separate in haskell would be to use something like `ReaderT AudioRef IO` for the audio actions and `ReaderT VideoRef IO` for the video actions |
| 07:28:38 | <ski> | however, the Clean folks were doing something sufficiently different (uniqueness), that they didn't want to part with, and which the other's couldn't agree to incorporate at the time. and so Clean became its own separate thing |
| 07:28:39 | <opqdonut> | with AudioRef and VideoRef being e.g. newtypes over IORef |
| 07:28:58 | <opqdonut> | then you could have the type system verify that these two threads of computation are separate |
| 07:29:15 | <triteraflops> | ski: I think the Clean folks were on to something. |
| 07:29:16 | <ski> | opqdonut : note that uniqueness is distinct from linearity and affinity, though |
| 07:29:30 | <opqdonut> | oh, I thought uniqueness was linearity |
| 07:29:39 | <triteraflops> | I've heard that before, but they're all solving the same problem, it seems to me |
| 07:29:50 | <opqdonut> | oh ok I see the difference now, reading wikipedia |
| 07:30:09 | <opqdonut> | > Uniqueness guarantees that a value has no other references to it, while linearity guarantees that no more references can be made to a value. |
| 07:30:11 | <lambdabot> | <hint>:1:65: error: <hint>:1:65: error: parse error on input ‘,’ |
| 07:30:20 | <opqdonut> | meh, need to remember not to use > as blockquote |
| 07:31:14 | <triteraflops> | I don't get it. Sounds like the same thing to me. |
| 07:31:27 | × | michalz quits (~user@185.246.204.43) (Remote host closed the connection) |
| 07:31:29 | <triteraflops> | One thing, one ref |
| 07:31:36 | <opqdonut> | linearity means "you can't duplicate references, but your caller might've" |
| 07:31:45 | <opqdonut> | uniqueness means "nobody can have duplicated this reference" |
| 07:32:01 | <triteraflops> | so linearity is ... weaker? |
| 07:32:09 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-eqaddrksaizoivrq) (Quit: Connection closed for inactivity) |
| 07:32:15 | <opqdonut> | yes |
| 07:32:19 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 07:32:27 | <opqdonut> | or more expressive, however you want to look at it |
| 07:32:40 | <triteraflops> | brb |
| 07:33:02 | <ski> | triteraflops : did you see my (late) response to you, two days ago ? |
| 07:33:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 07:34:08 | × | infinity0 quits (~infinity0@freenet/developer/infinity0) (Ping timeout: 260 seconds) |
| 07:34:44 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:36:06 | <triteraflops> | back |
| 07:36:22 | <triteraflops> | ski: UM. |
| 07:36:26 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) |
| 07:36:40 | <ski> | opqdonut : "oh, I thought uniqueness was linearity" -- with uniqueness, you know the reference to the value hasn't been duplicated in the past (but you're allowed to duplicate it in the future (unless you promise to return a unique reference back)). with affinity, you're not allowed to duplicate it in the future (but it may have been duplicated in the past). linearity is like affinity, except that affinity |
| 07:36:46 | <ski> | allows discarding, with linearity you must explicitly pass your garbage to some waste disposal |
| 07:36:48 | <triteraflops> | how do I search backwards in a channel in irssi? |
| 07:37:11 | <opqdonut> | triteraflops: /lastlog searchterm |
| 07:38:33 | <ski> | "<triteraflops> I've heard that before, but they're all solving the same problem, it seems to me" -- they're certainly related in some sense (iirc the Linear Haskell paper showed how you could, at least in some cases, encode uniquess with it, via CPS). not sure one could say they're solving the same problem, though, but they are at least in the same rough ballpark of ideas |
| 07:38:44 | <ski> | triteraflops : see <https://ircbrowse.tomsmeding.com/day/haskell/2020/11/25?id=153176×tamp=1606303143#t1606303143> |
| 07:38:47 | × | xff0x quits (~fox@2001:1a81:531e:fa00:901e:6460:6691:753b) (Ping timeout: 272 seconds) |
| 07:39:12 | <ski> | (if anyone else wants to check, the start of that conversation was as <https://ircbrowse.tomsmeding.com/day/haskell/2020/11/25?id=152688×tamp=1606279789#t1606279789>) |
| 07:39:22 | × | knupfer quits (~Thunderbi@200116b82ce6080049b3a5a95475d085.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 07:40:49 | <ski> | triteraflops : in Irssi, you could do something like |
| 07:41:01 | <ski> | /window new |
| 07:41:08 | <ski> | /lastlog -window #haskell triteratops |
| 07:41:16 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 07:41:56 | <ski> | to get all lines mentioning your nickname, into a separate Irssi window. can be useful to check the timestamp for when some interesting message or conversation occured |
| 07:42:08 | <ski> | but it won't show you adjoining lines |
| 07:42:31 | <opqdonut> | I just use "/lastlog -5 whatever" in the channel window to get search results with context |
| 07:42:53 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:42:56 | <opqdonut> | and "/lastlog -clear" to reset the window to what it was showing before |
| 07:43:39 | <ski> | (oh, i guess i hadn't noticed `-clear') |
| 07:44:44 | <ski> | /scrollback goto -2 <hours>:<minutes> |
| 07:45:05 | <opqdonut> | nice |
| 07:45:35 | <ski> | (`2' being the relevant number of days, in this case), should work to scroll you back to some particular time then, like when my response was |
| 07:45:37 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 07:46:24 | <ski> | (three hours and eighteen minutes later in the day than now, two days ago) |
| 07:46:28 | → | vilpan joins (~0@212.117.1.172) |
| 07:48:05 | <ski> | "so linearity is ... weaker?" -- no. they're sort of opposite. one is a guarantee that duplication hasn't happened in the past. the other is a guarantee that duplication won't happen in the future |
| 07:49:40 | <ski> | (also, it's probably better to compare uniqueness to affinity here. since linearity also adds nondiscardability. the "opposite" of that would be "the reference hasn't been discarded in the past" .. well, duh, you don't say !) |
| 07:52:05 | ← | chreekat[m] parts (chreekatma@gateway/shell/matrix.org/x-ktxyajphiegdytww) ("User left") |
| 07:52:09 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:52:16 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:53:36 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 07:56:38 | <kupi> | i feel dumb for declaring this function, is there an alternative? https://gist.github.com/theqp/cd8c2a33e368e1267ae4278ccb5541ff |
| 07:56:46 | <kupi> | hoogle did not give any results |
| 07:56:56 | <kupi> | would modifyT be a good name? |
| 07:57:40 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 07:58:00 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 08:00:47 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:05:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:08:02 | × | timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Ping timeout: 272 seconds) |
| 08:09:59 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 08:10:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 08:11:07 | <ski> | @type \f -> put =<< f =<< get |
| 08:11:08 | <lambdabot> | MonadState a m => (a -> m a) -> m () |
| 08:11:14 | <ski> | @type \f -> put =<< lift . f =<< get |
| 08:11:15 | <lambdabot> | (MonadState a (t m), Monad m, MonadTrans t) => (a -> m a) -> t m () |
| 08:11:19 | <ski> | @type (\f -> put =<< lift . f =<< get) :: Monad m => (s -> m s) -> StateT s m () |
| 08:11:20 | <lambdabot> | Monad m => (s -> m s) -> StateT s m () |
| 08:12:05 | <ski> | kupi : my mind went to `modifyM', and indeed there's a <https://hackage.haskell.org/package/cabal-debian-5.1/docs/Debian-Debianize-Prelude.html#v:modifyM> |
| 08:12:32 | <ski> | (also i found <https://hackage.haskell.org/package/boots-0.2.0.1/docs/Control-Monad-Factory-Class.html#v:withEnv>) |
| 08:12:45 | × | bruce_wayne quits (~prateekpr@94.129.87.184) (Ping timeout: 240 seconds) |
| 08:13:44 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 08:15:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:15:08 | → | knupfer joins (~Thunderbi@200116b82ce60800a0629ffffe109f31.dip.versatel-1u1.de) |
| 08:15:55 | × | knupfer quits (~Thunderbi@200116b82ce60800a0629ffffe109f31.dip.versatel-1u1.de) (Remote host closed the connection) |
| 08:16:09 | → | knupfer joins (~Thunderbi@200116b82ce6080075946adc0c26bd31.dip.versatel-1u1.de) |
| 08:22:32 | × | knupfer quits (~Thunderbi@200116b82ce6080075946adc0c26bd31.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 08:27:48 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 08:28:08 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 08:28:20 | → | coot joins (~coot@37.30.48.178.nat.umts.dynamic.t-mobile.pl) |
| 08:28:43 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:30:49 | × | drbean quits (~drbean@TC210-63-209-149.static.apol.com.tw) (Ping timeout: 264 seconds) |
| 08:30:54 | → | xff0x joins (~fox@2001:1a81:531e:fa00:901e:6460:6691:753b) |
| 08:31:30 | <guest1127> | I remember there's a haskell book called "xxx principle" but I forget that name |
| 08:31:59 | <guest1127> | there're some lambda contents in it |
| 08:32:30 | hackage | deferred-folds 0.9.15 - Abstractions over deferred folds https://hackage.haskell.org/package/deferred-folds-0.9.15 (NikitaVolkov) |
| 08:33:18 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 08:33:21 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 08:35:00 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 08:36:44 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 08:37:11 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 08:39:02 | × | lemmih_ quits (~lemmih@2406:3003:2072:44:741a:bd6a:3c25:3ad0) (Ping timeout: 264 seconds) |
| 08:39:59 | → | adm joins (~adm@43.229.89.234) |
| 08:40:00 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 08:41:01 | × | marek quits (~mmahut@209.250.249.245) (Ping timeout: 264 seconds) |
| 08:41:31 | → | marek joins (~mmahut@209.250.249.245) |
| 08:41:36 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 08:42:04 | → | lemmih joins (~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e) |
| 08:42:16 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 240 seconds) |
| 08:42:58 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 08:44:37 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:48:54 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 08:49:46 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 08:50:39 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:51:42 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 08:52:19 | <ski> | opqdonut : "yes","or more expressive, however you want to look at it" -- no (see above) |
| 08:52:22 | → | bruce_wayne joins (~prateekpr@94.129.87.184) |
| 08:52:29 | <opqdonut> | I saw your explanation, thanks |
| 08:52:36 | <ski> | ok |
| 08:53:51 | gproto023 | is now known as gproto23 |
| 08:58:59 | → | zar joins (~zar@fw1.ciirc.cvut.cz) |
| 09:03:07 | × | banjiewen_ quits (sid115913@gateway/web/irccloud.com/x-ppovchejlnsiwfgl) (Ping timeout: 260 seconds) |
| 09:03:07 | × | Tritlo quits (sid58727@gateway/web/irccloud.com/x-qngdkegzmhgdhfhg) (Ping timeout: 260 seconds) |
| 09:03:07 | × | d0liver quits (sid363046@gateway/web/irccloud.com/x-lvzpszsyngerfkjs) (Ping timeout: 260 seconds) |
| 09:03:23 | → | banjiewen_ joins (sid115913@gateway/web/irccloud.com/x-rntyoakqetturqhz) |
| 09:03:25 | → | Tritlo joins (sid58727@gateway/web/irccloud.com/x-nhzwxpcfcxvxiueq) |
| 09:03:57 | × | adm quits (~adm@43.229.89.234) (Remote host closed the connection) |
| 09:04:01 | × | recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Remote host closed the connection) |
| 09:04:17 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-bxfzueyqtnjjnhrt) (Ping timeout: 260 seconds) |
| 09:04:18 | × | metadave quits (sid28102@gateway/web/irccloud.com/x-bjrjtdehstdxjwgn) (Ping timeout: 260 seconds) |
| 09:04:52 | × | pepeiborra quits (sid443799@gateway/web/irccloud.com/x-pndolohhnspnwqav) (Ping timeout: 260 seconds) |
| 09:05:07 | → | recon_- joins (~quassel@2602:febc:0:b6::6ca2) |
| 09:05:15 | → | d0liver joins (sid363046@gateway/web/irccloud.com/x-aajmemdhisvuoilm) |
| 09:05:48 | → | adm joins (~adm@43.229.89.234) |
| 09:05:51 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-zmodyatzyvhzifry) |
| 09:06:03 | → | bugg joins (~bugg@bba148557.alshamil.net.ae) |
| 09:06:18 | → | pepeiborra joins (sid443799@gateway/web/irccloud.com/x-lhkxheufdmeimjbj) |
| 09:06:20 | → | metadave joins (sid28102@gateway/web/irccloud.com/x-ifeexfgbnrtdfxvo) |
| 09:07:35 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-yhbundavwcfojtvb) (Quit: Connection closed for inactivity) |
| 09:07:36 | × | adm quits (~adm@43.229.89.234) (Read error: Connection reset by peer) |
| 09:08:56 | → | adm joins (~adm@43.229.89.234) |
| 09:09:25 | × | jespada quits (~jespada@90.254.245.49) (Ping timeout: 240 seconds) |
| 09:10:53 | → | jespada joins (~jespada@90.254.245.49) |
| 09:10:55 | ← | bugg parts (~bugg@bba148557.alshamil.net.ae) ("Leaving") |
| 09:13:52 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:16:03 | → | raichoo joins (~raichoo@213.240.178.58) |
| 09:18:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 09:19:00 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) |
| 09:22:37 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:5572:c108:3697:b06d) |
| 09:26:26 | × | lemmih quits (~lemmih@2406:3003:2072:44:1ea:4f01:5a80:7f4e) (Ping timeout: 264 seconds) |
| 09:26:48 | → | n0042 joins (d055ed89@208.85.237.137) |
| 09:27:16 | × | adm quits (~adm@43.229.89.234) (Remote host closed the connection) |
| 09:27:54 | → | lemmih joins (~lemmih@58.182.145.108) |
| 09:28:54 | → | DavidEichmann joins (~david@62.110.198.146.dyn.plus.net) |
| 09:29:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:30:11 | × | bruce_wayne quits (~prateekpr@94.129.87.184) (Ping timeout: 256 seconds) |
| 09:30:12 | → | alp_ joins (~alp@2a01:e0a:58b:4920:d143:2c58:c3a6:1f90) |
| 09:30:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:30:22 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Quit: Leaving) |
| 09:31:02 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 09:31:49 | → | michalz joins (~user@185.246.204.56) |
| 09:32:07 | → | TooDifficult joins (~vg@139.59.59.230) |
| 09:32:47 | × | alp quits (~alp@2a01:e0a:58b:4920:45cf:c1fe:48db:d753) (Ping timeout: 272 seconds) |
| 09:32:52 | × | lemmih quits (~lemmih@58.182.145.108) (Ping timeout: 256 seconds) |
| 09:33:35 | × | kish` quits (~oracle@unaffiliated/oracle) (Quit: Leaving) |
| 09:33:42 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:33:47 | → | lemmih joins (~lemmih@58.182.145.108) |
| 09:35:02 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 09:36:10 | → | adm joins (~adm@43.229.89.234) |
| 09:38:53 | → | Tops2 joins (~Tobias@dyndsl-095-033-092-087.ewe-ip-backbone.de) |
| 09:39:19 | → | wonko7 joins (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) |
| 09:40:07 | × | adm quits (~adm@43.229.89.234) (Remote host closed the connection) |
| 09:40:48 | → | adm joins (~adm@43.229.89.234) |
| 09:46:06 | × | ADG1089 quits (~adg1089@223.235.74.84) (Remote host closed the connection) |
| 09:49:26 | ← | vilpan parts (~0@212.117.1.172) () |
| 09:49:44 | → | mounty joins (~mounty@210.1.196.133) |
| 09:51:45 | → | jess joins (jess@freenode/staff/jess) |
| 09:52:04 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 09:54:20 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 09:54:42 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 260 seconds) |
| 09:54:48 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 09:57:01 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Client Quit) |
| 10:00:03 | × | guest1127 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1)) |
| 10:02:06 | × | TooDifficult quits (~vg@139.59.59.230) (Quit: TooDifficult) |
| 10:02:31 | → | vg joins (~vg@139.59.59.230) |
| 10:02:40 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 10:07:46 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 260 seconds) |
| 10:08:04 | × | n0042 quits (d055ed89@208.85.237.137) (Remote host closed the connection) |
| 10:08:19 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-95-231.w86-212.abo.wanadoo.fr) |
| 10:08:24 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 10:09:18 | × | zebrag quits (~inkbottle@alagny-551-1-20-27.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 10:11:27 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 10:11:37 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 10:12:22 | × | zaquest quits (~notzaques@5.128.210.178) (Ping timeout: 246 seconds) |
| 10:12:50 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 10:13:09 | × | mounty quits (~mounty@210.1.196.133) (Read error: Connection reset by peer) |
| 10:13:14 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 10:14:07 | → | mounty joins (~mounty@210.1.196.133) |
| 10:14:23 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 256 seconds) |
| 10:14:47 | → | Jonkimi727406120 joins (~Jonkimi@113.87.161.66) |
| 10:15:50 | → | ubert joins (~Thunderbi@p200300ecdf1e53a0e6b318fffe838f33.dip0.t-ipconnect.de) |
| 10:15:56 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 10:16:16 | → | francesco_ joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 10:16:25 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 10:21:14 | → | zaquest joins (~notzaques@5.128.210.178) |
| 10:21:36 | × | mounty quits (~mounty@210.1.196.133) (Read error: Connection reset by peer) |
| 10:22:08 | → | mounty joins (~mounty@210.1.196.133) |
| 10:22:38 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 10:25:40 | → | kuribas joins (~user@ptr-25vy0ia7so77gy5gmna.18120a2.ip6.access.telenet.be) |
| 10:29:21 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 10:30:17 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:34:58 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:36:43 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 260 seconds) |
| 10:38:21 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 10:41:44 | <jonathanx> | Anyone know how to do a custom 404 page in servant? I'm using Servant.HTML.Blaze :) |
| 10:42:11 | → | plutoniix joins (~q@ppp-223-24-152-92.revip6.asianet.co.th) |
| 10:42:59 | <Entroacceptor> | jonathanx: I've found https://geekingfrog.com/blog/post/custom-404-with-servant |
| 10:43:00 | → | bruce_wayne joins (~prateekpr@94.129.87.184) |
| 10:43:18 | × | coot quits (~coot@37.30.48.178.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 10:43:43 | → | coot joins (~coot@37.30.48.178.nat.umts.dynamic.t-mobile.pl) |
| 10:44:07 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 10:44:12 | <jonathanx> | Entroacceptor: yeah, found it too, but I can |
| 10:44:19 | <jonathanx> | *'t get it to compile |
| 10:45:14 | <jonathanx> | The blog post doesn't seem to be the actual code, seeing as there's a type definition with lowercase name and then weird indentation in the custom404 |
| 10:45:26 | <jonathanx> | I tried fixing it up but couldn't get it to work |
| 10:46:14 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 10:46:53 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-tvvqptjlpgxgseek) (Quit: Connection closed for inactivity) |
| 10:46:55 | <Entroacceptor> | Geekingfrog: is that ^ your? |
| 10:47:59 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 10:48:15 | → | vg joins (~vg@139.59.59.230) |
| 10:48:33 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 10:48:46 | → | vg joins (~vg@139.59.59.230) |
| 10:49:16 | × | vg quits (~vg@139.59.59.230) (Client Quit) |
| 10:49:35 | → | vg joins (~vg@139.59.59.230) |
| 10:49:47 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) |
| 10:51:16 | <dminuoso> | jonathanx: Mmm, that style looks very off too. |
| 10:51:26 | <dminuoso> | Seems wrong |
| 10:51:40 | <dminuoso> | jonathanx: What'd you'd do is roughly this |
| 10:51:56 | <jonathanx> | I solved it |
| 10:52:02 | <dminuoso> | throwIO (err404{ errBody = "..." }) |
| 10:52:04 | <jonathanx> | had to return the 404 page |
| 10:52:11 | <dminuoso> | Where body contains the content tha tyou want |
| 10:52:31 | <dminuoso> | (Or maybe not throwIO, depends on how you run things - I dont use the Handler monad) |
| 10:52:55 | <jonathanx> | I'll write to the geekingfrog person and ask them to update the blog post |
| 10:52:57 | <jonathanx> | :) |
| 10:54:47 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 10:55:04 | → | vg joins (~vg@139.59.59.230) |
| 10:55:16 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 10:55:30 | → | vg joins (~vg@139.59.59.230) |
| 10:55:35 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 10:57:38 | → | Ariakenom joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) |
| 10:57:51 | × | LKoen quits (~LKoen@169.244.88.92.rev.sfr.net) (Remote host closed the connection) |
| 10:58:22 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 10:58:45 | → | Ew joins (5fa448e7@95.164.72.231) |
| 10:59:12 | → | jrqc joins (~rofl@96.78.87.197) |
| 11:00:25 | × | Jonkimi727406120 quits (~Jonkimi@113.87.161.66) (Ping timeout: 240 seconds) |
| 11:01:48 | × | Cir0X quits (sid221743@gateway/web/irccloud.com/x-mvlinpkrmvmsfsvf) (Quit: Connection closed for inactivity) |
| 11:02:05 | × | coot quits (~coot@37.30.48.178.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 11:03:21 | → | louisac joins (4d64ab42@cpc82915-enfi22-2-0-cust65.20-2.cable.virginm.net) |
| 11:05:54 | × | Ew quits (5fa448e7@95.164.72.231) (Ping timeout: 245 seconds) |
| 11:07:11 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 11:09:20 | → | greenden joins (uid429335@gateway/web/irccloud.com/x-xqanljjodrjdxzky) |
| 11:09:45 | ← | greenden parts (uid429335@gateway/web/irccloud.com/x-xqanljjodrjdxzky) () |
| 11:11:00 | → | LKoen joins (~LKoen@169.244.88.92.rev.sfr.net) |
| 11:12:16 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 11:14:18 | × | Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 11:19:37 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM) |
| 11:19:49 | × | alp_ quits (~alp@2a01:e0a:58b:4920:d143:2c58:c3a6:1f90) (Ping timeout: 272 seconds) |
| 11:19:55 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 11:20:01 | hackage | hercules-ci-agent 0.7.5 - Runs Continuous Integration tasks on your machines https://hackage.haskell.org/package/hercules-ci-agent-0.7.5 (RobertHensing) |
| 11:23:04 | × | adm quits (~adm@43.229.89.234) (Ping timeout: 246 seconds) |
| 11:24:26 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 11:24:29 | → | cheater1 joins (~user@unaffiliated/cheater) |
| 11:24:29 | cheater1 | is now known as cheater |
| 11:24:45 | → | adm joins (~adm@103.70.198.70) |
| 11:26:12 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 11:26:37 | × | bruce_wayne quits (~prateekpr@94.129.87.184) (Ping timeout: 264 seconds) |
| 11:29:01 | × | adm quits (~adm@103.70.198.70) (Ping timeout: 246 seconds) |
| 11:30:25 | × | kish` quits (~oracle@unaffiliated/oracle) (Ping timeout: 240 seconds) |
| 11:31:13 | × | asheshambasta quits (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 11:31:13 | × | carlomagno quits (~cararell@148.87.23.11) (Remote host closed the connection) |
| 11:33:01 | → | adm joins (~adm@42.106.181.241) |
| 11:33:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 11:36:08 | × | adm quits (~adm@42.106.181.241) (Remote host closed the connection) |
| 11:37:02 | → | carlomagno joins (~cararell@148.87.23.6) |
| 11:38:03 | → | bruce_wayne joins (~prateekpr@94.129.87.184) |
| 11:40:38 | → | Mrkz41 joins (c1ef2595@193-239-37-149.ksi-system.net) |
| 11:41:00 | → | adm joins (~adm@103.70.198.44) |
| 11:41:52 | → | carlomagno1 joins (~cararell@148.87.23.5) |
| 11:44:43 | × | carlomagno quits (~cararell@148.87.23.6) (Remote host closed the connection) |
| 11:45:03 | → | solonarv joins (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) |
| 11:45:46 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 260 seconds) |
| 11:46:23 | → | itai33[m] joins (itai33matr@gateway/shell/matrix.org/x-rgomoxkojslrbjtb) |
| 11:47:45 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds) |
| 11:48:35 | → | _Alleria joins (~AllahuAkb@2604:2000:1484:26:28a2:d4e:6ca5:3a53) |
| 11:49:10 | <itai33[m]> | say i have some complex record structure, what is the best way to ensure that when i modify some record `a`, other records `b` `c` etc that "depend" on it are rebuilt? assuming this dependence needs to interact with IO as well |
| 11:51:02 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:c82b:bd8e:1bb1:925d) (Ping timeout: 264 seconds) |
| 11:52:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 11:52:32 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 11:53:52 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 11:54:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:58:26 | → | alp_ joins (~alp@2a01:e0a:58b:4920:d450:31dc:681:6a0f) |
| 12:04:32 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 12:04:50 | <tomsmeding> | itai33[m]: what do you mean with "are rebuilt"? Values are immutable; do you mean that those things live in an IORef or something? |
| 12:09:17 | × | plutoniix quits (~q@ppp-223-24-152-92.revip6.asianet.co.th) (Quit: Leaving) |
| 12:12:29 | <tomsmeding> | unrelated question to this channel: if I have a data type with an existential type variable, or a (kind of equivalently) a GADT, that I want to unwrap in a monadic computation, I can choose between a case statement or a monadic bind with return: https://paste.tomsmeding.com/CqAEGdEx |
| 12:12:35 | <tomsmeding> | is there a nicer way than this? |
| 12:12:59 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 12:13:11 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 12:14:05 | <tomsmeding> | if one is still at the start of the function, a pattern guard also works, but sometimes you're halfway a do-block :p |
| 12:14:11 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 12:15:01 | <merijn> | RankN eliminator? |
| 12:16:41 | <tomsmeding> | what's that? |
| 12:17:04 | <merijn> | tomsmeding: Like...a function? :p |
| 12:17:16 | <tomsmeding> | so, switch to CPS form? |
| 12:17:20 | <merijn> | Yeah |
| 12:17:50 | <tomsmeding> | that introduces a new indent level, doesn't it? |
| 12:17:53 | → | asheshambasta joins (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) |
| 12:17:59 | <tomsmeding> | in which case a simple 'case' also works :p |
| 12:18:16 | <merijn> | Well, don't use existentials directly, then ;) |
| 12:18:28 | <tomsmeding> | hah |
| 12:18:51 | <tomsmeding> | "doctor, it hurts if I do this" |
| 12:19:04 | <tomsmeding> | I'll just do the return trick :p |
| 12:21:37 | → | Entertainment joins (~entertain@104.246.132.210) |
| 12:22:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:22:16 | × | louisac quits (4d64ab42@cpc82915-enfi22-2-0-cust65.20-2.cable.virginm.net) (Remote host closed the connection) |
| 12:23:22 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 12:23:52 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 12:24:42 | × | Entertainment quits (~entertain@104.246.132.210) (Client Quit) |
| 12:25:46 | → | drbean joins (~drbean@TC210-63-209-158.static.apol.com.tw) |
| 12:26:36 | → | androzanimedium joins (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) |
| 12:26:59 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 12:27:20 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 12:28:58 | → | Entertainment joins (~entertain@104.246.132.210) |
| 12:29:24 | → | knupfer joins (~Thunderbi@200116b82ce60800c8bd3cfffe7b0371.dip.versatel-1u1.de) |
| 12:29:25 | × | knupfer quits (~Thunderbi@200116b82ce60800c8bd3cfffe7b0371.dip.versatel-1u1.de) (Client Quit) |
| 12:29:25 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 12:29:56 | → | knupfer joins (~Thunderbi@200116b82ce608004d88d70b7b3dd642.dip.versatel-1u1.de) |
| 12:31:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:33:35 | × | androzanimedium quits (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Quit: Lost terminal) |
| 12:35:00 | → | jonatanb joins (~jonatanb@user-5-173-65-4.play-internet.pl) |
| 12:35:37 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:41c8:cb6f:ef17:6c36) |
| 12:35:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 12:39:42 | × | bruce_wayne quits (~prateekpr@94.129.87.184) (Quit: leaving) |
| 12:40:38 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 12:40:46 | → | androzanimedium joins (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) |
| 12:41:01 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 12:42:29 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Remote host closed the connection) |
| 12:45:20 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 12:45:47 | × | kuribas quits (~user@ptr-25vy0ia7so77gy5gmna.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 12:47:09 | <royal_screwup21> | how do I compile a function on here to check for errors? |
| 12:47:33 | <tomsmeding> | what do you mean with "on here"? |
| 12:47:53 | <royal_screwup21> | on this channel, I believe you can eval code |
| 12:48:18 | <tomsmeding> | you can, using lambdabot, but all the ~1000 other participants also see that ;) |
| 12:48:30 | <tomsmeding> | I recommend installing GHC locally on your computer |
| 12:49:18 | <tomsmeding> | or use something like https://repl.it/ if you don't want to / aren't able to do that for whatever reason |
| 12:49:30 | <royal_screwup21> | hmm I'm trying to reproduce an error |
| 12:49:35 | <royal_screwup21> | https://ideone.com/xvAVO5 |
| 12:49:40 | → | geekosaur joins (ac3a8b57@172.58.139.87) |
| 12:50:03 | <tomsmeding> | import Data.List |
| 12:50:03 | <royal_screwup21> | I don't quite get why the above isn't compiling |
| 12:50:07 | <tomsmeding> | ;) |
| 12:50:22 | <tomsmeding> | 'sort' and 'groupBy' are both in Data.List, not in the Prelude |
| 12:50:24 | <royal_screwup21> | why do I need that? does it contain the sort function? |
| 12:50:28 | <royal_screwup21> | ah |
| 12:50:32 | <royal_screwup21> | ty |
| 12:51:00 | <tomsmeding> | see also the documentation of the Prelude (https://hackage.haskell.org/package/base-4.14.0.0/docs/Prelude.html) and of e.g. data.List (https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-List.html) |
| 12:51:38 | <tomsmeding> | (you can use the 's' key on that page to open a search box in the base library, which includes these modules and more) |
| 12:52:43 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) |
| 12:54:21 | → | Tario joins (~Tario@201.192.165.173) |
| 12:54:21 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 12:54:30 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 12:55:28 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 12:56:19 | → | cfricke joins (cfricke@gateway/vpn/mullvad/cfricke) |
| 12:56:41 | <royal_screwup21> | hmm it still isn't compiling :( https://ideone.com/DWO72R |
| 12:57:04 | → | n0042 joins (d055ed89@208.85.237.137) |
| 12:57:54 | <merijn> | Because map returns a list... |
| 12:58:05 | <royal_screwup21> | ahh gotcha, thanks |
| 12:58:11 | <tomsmeding> | :t map length . groupBy (==) . sort @String |
| 12:58:12 | <lambdabot> | error: |
| 12:58:12 | <lambdabot> | Pattern syntax in expression context: sort@String |
| 12:58:12 | <lambdabot> | Did you mean to enable TypeApplications? |
| 12:58:17 | <tomsmeding> | :t map length . groupBy (==) . sort |
| 12:58:19 | <lambdabot> | Ord a => [a] -> [Int] |
| 12:58:28 | <tomsmeding> | which in your case is [String] -> [Int] |
| 12:58:42 | <tomsmeding> | (ignore the @ stuff) |
| 12:58:48 | <geekosaur> | use yahb for TypeApplications |
| 12:59:15 | tomsmeding | notes that down |
| 13:00:26 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 13:01:07 | × | ubert quits (~Thunderbi@p200300ecdf1e53a0e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:01:52 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:02:32 | <royal_screwup21> | I have [[int]] and I want to map it to [Int]. For each sublist, I want to convert it to 1 if that sublist contains a "2". If it doesn't, convert to 0 |
| 13:02:39 | <royal_screwup21> | what's the easiest way to do this in haskell? |
| 13:03:12 | <royal_screwup21> | 2* (i mean the integer 2 ofc, not the string "2") |
| 13:04:18 | <opqdonut> | :t elem |
| 13:04:20 | <lambdabot> | (Foldable t, Eq a) => a -> t a -> Bool |
| 13:04:44 | <opqdonut> | > map (elem 2) [[1,3],[2],[1,2,3],[]] |
| 13:04:46 | <lambdabot> | [False,True,True,False] |
| 13:07:50 | <royal_screwup21> | I've tried something like this: `sum . map (\x -> bool_to_int (elem 2 x)) . map charFreqs' strings` |
| 13:07:58 | <hc> | > map (fromEnum . elem 2) [[1,3],[2],[1,2,3],[]] |
| 13:08:00 | <lambdabot> | [0,1,1,0] |
| 13:08:03 | <royal_screwup21> | (I also want to sum up all the ints at the end) |
| 13:08:13 | <hc> | > sum $ map (fromEnum . elem 2) [[1,3],[2],[1,2,3],[]] |
| 13:08:15 | <lambdabot> | 2 |
| 13:08:59 | <hc> | > sum $ concat [[1,3],[2],[1,2,3],[]] |
| 13:09:02 | <lambdabot> | 12 |
| 13:09:37 | → | Tops21 joins (~Tobias@dyndsl-095-033-092-087.ewe-ip-backbone.de) |
| 13:09:41 | <geekosaur> | hm. what do you want to have happen if the sublist contains multiple 2s? |
| 13:10:14 | <royal_screwup21> | that's ok, it just needs to contain 1 two. If it has mutliple 2s, it's still counted once |
| 13:11:14 | <n0042> | That is a really cool way to use fromEnum. |
| 13:11:42 | <n0042> | I would have used recursion to build a new list. Always cool to see these one-liners and learn a new trick |
| 13:12:56 | × | Tops2 quits (~Tobias@dyndsl-095-033-092-087.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 13:13:04 | <royal_screwup21> | is there a built in way to get the char freq from a string? |
| 13:13:26 | × | cfricke quits (cfricke@gateway/vpn/mullvad/cfricke) (Quit: WeeChat 2.9) |
| 13:13:30 | <royal_screwup21> | a char counter basically, for strings |
| 13:13:36 | × | phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 240 seconds) |
| 13:13:47 | <tomsmeding> | > length (filter (== 'a') "abcabcaabc") |
| 13:13:50 | <lambdabot> | 4 |
| 13:14:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 13:14:26 | ← | frdg parts (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) () |
| 13:14:26 | <tomsmeding> | not built in, but the basic elements are powerful enough :) |
| 13:14:36 | × | revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 13:14:52 | <sshine> | > Data.Map.fromListWith (+) (zip "hello world" [1,1..]) |
| 13:14:55 | <lambdabot> | fromList [(' ',1),('d',1),('e',1),('h',1),('l',3),('o',2),('r',1),('w',1)] |
| 13:15:00 | <royal_screwup21> | ok cool ty :) |
| 13:15:13 | <royal_screwup21> | what's the difference between . and $, in simple terms? |
| 13:15:27 | <sshine> | f . g = \x -> f (g x) |
| 13:15:35 | → | revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 13:15:49 | <tomsmeding> | f $ x = f x |
| 13:15:52 | <sshine> | f $ x = f x |
| 13:15:52 | <sshine> | hehe |
| 13:15:58 | → | kuribas joins (~user@ptr-25vy0i7f13lrn3nx9jz.18120a2.ip6.access.telenet.be) |
| 13:16:03 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 13:16:11 | <itai33[m]> | tomsmeding: |
| 13:16:15 | <royal_screwup21> | so x is a concrete value? |
| 13:16:21 | <itai33[m]> | shit sorry |
| 13:16:27 | <tomsmeding> | can be whatever f wants as an argument |
| 13:16:37 | <sshine> | . composes two functions, $ applies a function to an input |
| 13:16:42 | <tomsmeding> | which may be a concrete value like an Int, or maybe f takes a function as argument, who knows |
| 13:16:45 | <sshine> | royal_screwup21, functions are concrete values, too :) |
| 13:16:53 | <royal_screwup21> | so basically, I'm trying this: `map(\x -> elem 2 x) $ map charFreqs' ["hello", "world"]` -- it works |
| 13:17:09 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:17:09 | <royal_screwup21> | but when i replace $ with . I get a full blown traceback |
| 13:17:35 | <tomsmeding> | :t ($) |
| 13:17:37 | <lambdabot> | (a -> b) -> a -> b |
| 13:17:38 | <tomsmeding> | :t (.) |
| 13:17:39 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 13:17:55 | <sshine> | map (\xs -> elem 2 xs) . map charFreqs' $ ["hello", "world"] |
| 13:17:57 | <tomsmeding> | read those 4 times and try to understand them :p |
| 13:17:59 | <itai33[m]> | tomsmeding: with regards to my previous question, i want both to use this to cache potentially hard calculations and calculations of `b` and `c` that involve IO. the record is immutable, but it describes the state of a brick application so it is updated using an event monad whenever a "thing" happnes |
| 13:18:17 | <itai33[m]> | I don't know what IORef is i'm looking into it now |
| 13:18:34 | <sshine> | 'map f . map g $ xs' is what you're trying to do, royal_screwup21? |
| 13:18:35 | <tomsmeding> | itai33[m]: if you're not using an IORef, you probably don't want to |
| 13:18:56 | <itai33[m]> | what is it? |
| 13:19:07 | <tomsmeding> | a mutable reference to a value :p |
| 13:19:11 | <tomsmeding> | well, mutable in IO |
| 13:19:16 | <royal_screwup21> | sshine yup, the `f` there maps a sublist to to True/False if it contains a 2 |
| 13:19:28 | <itai33[m]> | yeah I don't really think i need that |
| 13:19:36 | <itai33[m]> | is my question clear at least? |
| 13:19:50 | <royal_screwup21> | I don't really get why it doesn't work when I compose with . |
| 13:19:53 | <tomsmeding> | itai33[m]: I think it can be even clearer if you can give a piece of code that illustrates the problem |
| 13:20:03 | <geekosaur> | you're not composing |
| 13:20:04 | → | adm joins (~adm@103.70.198.44) |
| 13:20:05 | <sshine> | royal_screwup21, it is because of operator precedence rules. |
| 13:20:20 | <sshine> | royal_screwup21, don't complicate your life :) use parentheses. |
| 13:20:40 | <itai33[m]> | tomsmeding: i have been called for things irl i'll work up a minimal working example and tag you, thanks! |
| 13:20:45 | <sshine> | royal_screwup21, map (\xs -> elem 2 xs) (map charFreqs' ["hello", "world"]) |
| 13:21:04 | <tomsmeding> | itai33[m]: 👍 |
| 13:21:20 | <sshine> | royal_screwup21, but since you're mapping twice in a row, why not: map (\xs -> elem 2 (charFreqs' xs)) ["hello", "world"]? |
| 13:21:27 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 13:22:07 | <n0042> | I have been able to get some pretty whacky functions to map like that. It's surprising how flexible the language can be |
| 13:22:32 | <sshine> | royal_screwup21, but if you're only interested in knowing if there is at least one of those strings for which 'elem 2 . charFreqs'' is true, why not: any (\xs -> elem 2 (charFreqs' xs)) ["hello", "world"]? |
| 13:23:32 | <royal_screwup21> | ty :0 |
| 13:23:35 | <royal_screwup21> | :)* |
| 13:24:13 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 13:24:28 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:24:34 | <royal_screwup21> | is there any easy to convert bool to int? |
| 13:24:37 | <royal_screwup21> | I tried this: *Main> bool_to_int True = 0 |
| 13:24:38 | <royal_screwup21> | *Main> bool_to_int False = 1 |
| 13:24:42 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 272 seconds) |
| 13:24:52 | <royal_screwup21> | bool_to_int (elem 2 [1,2]) |
| 13:24:53 | <royal_screwup21> | *** Exception: <interactive>:39:1-21: Non-exhaustive patterns in function bool_to_int |
| 13:25:00 | <royal_screwup21> | I don't get it |
| 13:25:13 | <n0042> | > fromEnum True |
| 13:25:14 | <sshine> | > (fromEnum False, fromEnum True) |
| 13:25:15 | <lambdabot> | 1 |
| 13:25:16 | <lambdabot> | (0,1) |
| 13:25:36 | <royal_screwup21> | hmm ok ty |
| 13:25:42 | <royal_screwup21> | what's wrong with my way though |
| 13:25:51 | <geekosaur> | your function would have workedin ghc |
| 13:26:03 | <geekosaur> | but ghci needs it to all be in the same line |
| 13:26:17 | <tomsmeding> | (or use the :{ and :} ghci commands) |
| 13:26:21 | <sshine> | in GHCi you don't have the same freedom to write multi-line definitions by default. |
| 13:26:22 | <royal_screwup21> | ah |
| 13:27:02 | <sshine> | > let boolToInt b = if b then 1 else 0 in boolToInt False |
| 13:27:04 | <lambdabot> | 0 |
| 13:27:38 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 13:28:06 | → | raichoo joins (~raichoo@213.240.178.58) |
| 13:28:14 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 13:29:43 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 13:29:49 | <royal_screwup21> | could someone explain to me why this doesn't work? groupBy (==) . sort "hello" |
| 13:29:54 | <royal_screwup21> | • Couldn't match expected type ‘a -> [a1]’ |
| 13:29:54 | <royal_screwup21> | with actual type ‘[Char]’ |
| 13:29:55 | <royal_screwup21> | • Possible cause: ‘sort’ is applied to too many arguments |
| 13:29:55 | <royal_screwup21> | In the second argument of ‘(.)’, namely ‘sort "hello"’ |
| 13:29:56 | <royal_screwup21> | In the expression: groupBy (==) . sort "hello" |
| 13:29:56 | <royal_screwup21> | In an equation for ‘it’: it = groupBy (==) . sort "hello" |
| 13:29:57 | <royal_screwup21> | • Relevant bindings include |
| 13:29:57 | <royal_screwup21> | it :: a -> [[a1]] (bound at <interactive>:50:1) |
| 13:30:11 | <geekosaur> | ugh, lease don't paste into the channel |
| 13:30:17 | <royal_screwup21> | ok sorry |
| 13:30:22 | <geekosaur> | and you are missing parentheses |
| 13:30:49 | <geekosaur> | or a $, which you apparently still don't understand (so use parentheses instead) |
| 13:31:02 | <tomsmeding> | > (groupBy (==) . sort) "hello" |
| 13:31:07 | <lambdabot> | ["e","h","ll","o"] |
| 13:32:01 | × | rdivyanshu quits (sid322626@gateway/web/irccloud.com/x-yyvemamxcxrcinrm) (Quit: Connection closed for inactivity) |
| 13:32:07 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 13:32:22 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 13:32:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:33:09 | → | SanchayanM joins (~Sanchayan@171.61.107.186) |
| 13:33:13 | × | SanchayanM quits (~Sanchayan@171.61.107.186) (Client Quit) |
| 13:34:03 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 13:35:27 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 13:35:34 | → | christo joins (~chris@81.96.113.213) |
| 13:36:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 13:44:07 | <asheshambasta> | Is there a way to somehow tell where cabal is looking for packages inside a nix-shell? It seems like cabal reports that it cannot find obvious packages like xmonad-contrib etc from within a nix-shell on my system |
| 13:44:13 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 13:46:02 | → | arifordsham joins (5af9a467@90.249.164.103) |
| 13:46:44 | × | drbean quits (~drbean@TC210-63-209-158.static.apol.com.tw) (Ping timeout: 256 seconds) |
| 13:47:00 | <arifordsham> | H! I would love some opinions on this blog post I wrote: https://arifordsham.com/is-haskell-fast/ |
| 13:47:34 | × | arifordsham quits (5af9a467@90.249.164.103) (Remote host closed the connection) |
| 13:52:35 | → | fendor_ joins (~fendor@178.115.131.213.wireless.dyn.drei.com) |
| 13:53:42 | × | ashepelev quits (~ashepelev@84.39.116.180) (Remote host closed the connection) |
| 13:54:25 | × | fendor quits (~fendor@77.119.130.234.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 13:56:15 | <dminuoso> | What's the right protocol to write a FromJSON instance in aeson, such that unknown/unparsed fields lead to a parse error? |
| 13:56:35 | <dminuoso> | I want to reduce the amount of brittleness by forbidden people give me keys in objects I dont understand. |
| 13:57:10 | <dminuoso> | (Aside from roundtripping the parsed object back to Value and comparing for equality) |
| 13:57:50 | → | arifordsham joins (5af9a467@90.249.164.103) |
| 13:58:24 | <dminuoso> | Gah, I guess aeson really wants me to use Generics/TH. :( |
| 14:00:12 | × | arifordsham quits (5af9a467@90.249.164.103) (Remote host closed the connection) |
| 14:00:25 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) |
| 14:01:12 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-rksoybtisgqazjbk) |
| 14:03:46 | <itai33[m]> | tomsmeding: this is a minimal working example: |
| 14:03:46 | <itai33[m]> | https://gist.github.com/iyefrat/dd1d6f124f298a053dad6824681a7795 |
| 14:04:47 | <itai33[m]> | the idea is that i want that whenever i modify words for any reason, it automatically triggers everything else that needs to change as well, so i don't have to remember to change it |
| 14:05:10 | <itai33[m]> | also the records are nested if that matters |
| 14:07:02 | <itai33[m]> | now that i have written out this minimal example, i feel like the most straightforward way is to just create a collection of "rebuild" functions for each record field, but I wonder if there is a better way |
| 14:09:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 14:09:49 | <itai33[m]> | because for example, if i have some rebuild chain a -> b -> c, what i need to do when b changes is the same whether or not i change b or a, and it feels pointless to write the same code for that twice which is what i'm trying to avoid |
| 14:11:19 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 14:11:38 | → | infinity0 joins (~infinity0@freenet/developer/infinity0) |
| 14:12:05 | × | wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 240 seconds) |
| 14:12:05 | → | caecilius joins (~caecilius@pool-108-46-151-95.nycmny.fios.verizon.net) |
| 14:12:48 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 256 seconds) |
| 14:14:08 | → | Matt_P joins (~Matt_P@178.162.212.214) |
| 14:14:17 | × | knupfer quits (~Thunderbi@200116b82ce608004d88d70b7b3dd642.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 14:14:32 | → | wwwww joins (~wwwww@unaffiliated/wwwww) |
| 14:15:19 | × | alp_ quits (~alp@2a01:e0a:58b:4920:d450:31dc:681:6a0f) (Remote host closed the connection) |
| 14:15:20 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 14:15:41 | → | alp_ joins (~alp@2a01:e0a:58b:4920:54f0:a17c:6064:5767) |
| 14:17:43 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 14:17:58 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:41c8:cb6f:ef17:6c36) (Read error: Connection reset by peer) |
| 14:19:32 | → | f-a joins (~f-a@151.68.174.254) |
| 14:19:45 | → | adm joins (~adm@103.70.198.44) |
| 14:21:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 14:23:29 | × | kuribas quits (~user@ptr-25vy0i7f13lrn3nx9jz.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 14:25:01 | → | texasmynsted joins (~texasmyns@212.102.45.121) |
| 14:28:12 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 14:28:34 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:28:41 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-ntgjmwmudxzzxssg) (Quit: Connection closed for inactivity) |
| 14:28:41 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 14:28:53 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 14:29:34 | → | ubert joins (~Thunderbi@p200300ecdf1e53a0e6b318fffe838f33.dip0.t-ipconnect.de) |
| 14:30:29 | × | jonatanb quits (~jonatanb@user-5-173-65-4.play-internet.pl) (Remote host closed the connection) |
| 14:31:54 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 14:32:16 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:33:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:33:28 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 246 seconds) |
| 14:34:18 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-lovaggfdmdpppkhm) |
| 14:36:06 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 14:36:26 | → | adm joins (~adm@103.70.198.44) |
| 14:37:26 | × | danvet_ quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving) |
| 14:38:14 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 14:45:09 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:45:57 | <lyxia> | dminuoso: have you seen "rejectUnknownFields" |
| 14:48:23 | <merijn> | dminuoso: Clearly the solution is not to use JSON ;) |
| 14:49:02 | <merijn> | itai33[m]: Sounds like you want FRP :) |
| 14:49:12 | <geekosaur> | yaml? }:> |
| 14:49:25 | <merijn> | geekosaur: I will send assassins after you >.> |
| 14:49:35 | <merijn> | Dhall or bust! |
| 14:49:52 | → | jonatanb joins (~jonatanb@user-5-173-65-4.play-internet.pl) |
| 14:49:55 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 14:50:12 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 14:51:03 | <maerwald> | yes, yaml is great |
| 14:52:14 | <maerwald> | or sqlite |
| 14:52:36 | <itai33[m]> | merjin: my searches have lead me to reading this paper, is it related? |
| 14:52:36 | <itai33[m]> | https://dl.acm.org/doi/pdf/10.1145/503272.503296 |
| 14:53:43 | <merijn> | itai33[m]: I was thinking of: http://conal.net/papers/push-pull-frp/ |
| 14:54:29 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@2403:6200:8876:7ef3:407f:c35a:de9b:b845) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:54:46 | <itai33[m]> | do you know what the difference between the two approaches are? |
| 14:54:47 | → | christo joins (~chris@81.96.113.213) |
| 14:55:09 | <itai33[m]> | also what is a good FRP library |
| 14:55:12 | × | jonatanb quits (~jonatanb@user-5-173-65-4.play-internet.pl) (Remote host closed the connection) |
| 14:55:42 | <itai33[m]> | cause for AFP it seems i will have to write it myself almost as adaptive is undocumented and out of date |
| 14:55:49 | <itai33[m]> | merijn: |
| 14:56:50 | <merijn> | I have no clue what adaptive functional programming is supposed to be, tbh |
| 14:58:00 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:58:28 | <Squarism> | Im trying to familiarize myself with Lens package (https://hackage.haskell.org/package/lens). There is a nice diagram on provided hackage page "the core of the hierarchy of lens-like constructions". Im cannot see how these "relations" are reflected in the code definitions of the named types. Other than being "functionally/structurally similar". Bare in mind, I still consider myself a learning haskeller so assume I might be missing something. |
| 14:58:56 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 240 seconds) |
| 14:59:12 | × | geekosaur quits (ac3a8b57@172.58.139.87) (Remote host closed the connection) |
| 15:01:50 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 15:02:10 | × | androzanimedium quits (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Quit: Lost terminal) |
| 15:02:12 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 15:03:55 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 246 seconds) |
| 15:04:09 | <itai33[m]> | merijn: well at any rate thanks for the paper i'll look into it |
| 15:04:48 | <merijn> | Squarism: It's captured by things like "this optic require Applicative", "this one requires Functor", since all Applicatives are also Functors, this kinda "subtyping" follows from that |
| 15:05:03 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 15:05:25 | <merijn> | Squarism: That said, lens isn't the most accessible code to understand even for non-beginners :p |
| 15:05:32 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 15:05:52 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 15:09:16 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 15:09:33 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:09:46 | → | tlaxkit joins (~kvirc@185.228.155.198) |
| 15:10:12 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 15:10:41 | <Squarism> | merijn, ah ok. How do you define "optic" ? |
| 15:10:53 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 15:11:12 | <merijn> | Squarism: "optic" is just a generalisation of lenses |
| 15:14:40 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:15:33 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 15:15:35 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 15:15:43 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 2.9) |
| 15:15:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:17:18 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 15:18:59 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-77-32.w86-212.abo.wanadoo.fr) |
| 15:19:20 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 15:19:36 | gproto023 | is now known as gproto23 |
| 15:19:38 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 15:20:05 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-95-231.w86-212.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 15:20:34 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 15:23:34 | <monochrom> | Lenses make sense for product types but not sum types. Prisms were invented for sum types. So people needed a word that covers both. But sometimes people also use "lens" to cover both because the library package is already called "lens", too late to change. |
| 15:23:34 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-pogynndgtiiaiwaa) |
| 15:25:22 | → | vg joins (~vg@139.59.59.230) |
| 15:26:08 | → | Sonolin joins (~Sonolin@184.103.179.49) |
| 15:27:23 | <Sonolin> | is there an easy way (with stack) to create a static exe for windows? |
| 15:29:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:29:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:29:42 | <Squarism> | monochrom, thanks |
| 15:30:42 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 15:31:09 | <maerwald> | static exe on windows? is that even a thing? |
| 15:31:18 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 15:33:42 | <Sonolin> | hmm idk honestly haha I'm just trying to get my app building for windows properly without having to bundle sdl and all that |
| 15:34:19 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 15:34:20 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 15:38:33 | × | toorevitimirp quits (~tooreviti@117.182.183.18) (Remote host closed the connection) |
| 15:38:52 | <hpc> | maybe if sdl was packaged as an msi |
| 15:38:56 | <hpc> | and you packaged your thing as an msi |
| 15:39:25 | <hpc> | just knowing how every other piece of windows software is packaged though, i don't think you have much of a choice |
| 15:42:50 | → | adm joins (~adm@103.70.198.44) |
| 15:43:23 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:44:31 | hackage | hocon 0.1.0.0 - https://hackage.haskell.org/package/hocon-0.1.0.0 (aleperaltabazas) |
| 15:45:31 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 15:46:00 | → | vg joins (~vg@139.59.59.230) |
| 15:46:03 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 15:46:30 | → | vg joins (~vg@139.59.59.230) |
| 15:47:50 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 15:49:19 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 15:49:29 | → | conal joins (~conal@64.71.133.70) |
| 15:49:37 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 15:50:58 | → | conal joins (~conal@64.71.133.70) |
| 15:51:25 | → | kuribas joins (~user@ptr-25vy0i7f13lrn3nx9jz.18120a2.ip6.access.telenet.be) |
| 15:53:38 | <sm[m]> | g'day all |
| 15:54:00 | hackage | hocon 0.1.0.1 - Small library for typesafe's configuration specification https://hackage.haskell.org/package/hocon-0.1.0.1 (aleperaltabazas) |
| 15:54:17 | <f-a> | hello sm[m] |
| 15:54:24 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Read error: Connection reset by peer) |
| 15:54:33 | <sm[m]> | Sonolin: for non-SDL apps I do an ordinary stack build, and the exe works on other windows machines. For an SDL app, perhaps including SDL DLLs in the same directory is enough ? |
| 15:55:07 | <Sonolin> | good to know thanks sm[m] |
| 15:55:36 | <sm[m]> | you could also ask #haskell-game, the sdl2 issue tracker, or look at haskell SDL games like dino-rush |
| 15:55:43 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:58:47 | <sm[m]> | see interesting windows build command at https://github.com/jxv/dino-rush#readme |
| 15:59:57 | <f-a> | mhhh does it bundle libraries? |
| 16:01:02 | <sm[m]> | I suspect that pacman -S means "static" and yes.. not sure |
| 16:01:38 | × | vg quits (~vg@139.59.59.230) (Quit: vg) |
| 16:01:42 | <hpc> | -S is synchronize |
| 16:01:47 | <sm[m]> | ack |
| 16:01:53 | → | vg joins (~vg@139.59.59.230) |
| 16:01:54 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 16:02:01 | <hpc> | which apparently means pull from remote repositories? |
| 16:02:07 | → | vg joins (~vg@139.59.59.230) |
| 16:02:10 | × | vg quits (~vg@139.59.59.230) (Remote host closed the connection) |
| 16:02:37 | → | vg joins (~vg@139.59.59.230) |
| 16:02:56 | <f-a> | embitters me that — in general, for every language — deploying for multiple platforms still seems a Sisyphus’ task |
| 16:03:56 | <hpc> | the good news is that means it's a language-independent problem |
| 16:04:36 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 16:05:28 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 16:06:13 | × | francesco_ quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 264 seconds) |
| 16:07:07 | <sm[m]> | I still think Sonolin should test that build command, since it mentions the SDL libs and might be doing something useful with them |
| 16:08:04 | <sm[m]> | ohh.. it's just installing them so stack build can see them |
| 16:08:16 | <sm[m]> | but who knows what can work on windows |
| 16:08:30 | × | SanchayanMaity quits (~Sanchayan@171.61.107.186) (Quit: SanchayanMaity) |
| 16:08:53 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 16:09:08 | <f-a> | oh. |
| 16:10:33 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-rksoybtisgqazjbk) (Quit: Connection closed for inactivity) |
| 16:11:06 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 16:11:42 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 16:11:44 | × | Mrkz41 quits (c1ef2595@193-239-37-149.ksi-system.net) (Remote host closed the connection) |
| 16:11:56 | → | nango joins (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) |
| 16:12:03 | → | knupfer joins (~Thunderbi@200116b82ce60800e0ac76fffec36194.dip.versatel-1u1.de) |
| 16:12:37 | × | knupfer quits (~Thunderbi@200116b82ce60800e0ac76fffec36194.dip.versatel-1u1.de) (Remote host closed the connection) |
| 16:12:49 | → | knupfer joins (~Thunderbi@200116b82ce60800f825e99b55da9717.dip.versatel-1u1.de) |
| 16:13:05 | → | 7JTABO2R0 joins (~adm@103.70.198.44) |
| 16:13:35 | <nango> | haskell newbie here: Is there any haskell extension that would allow me to |
| 16:14:51 | → | gallo` joins (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) |
| 16:15:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 16:15:33 | <gallo`> | adsf |
| 16:15:54 | ← | gallo` parts (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) () |
| 16:16:47 | <Sonolin> | so I got it building in appveyor this morning (I used that pacman command mentioned above and it worked)... I'm trying to dl wine since I don't have a windows pc |
| 16:17:16 | ← | nango parts (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) ("ERC (IRC client for Emacs 26.3)") |
| 16:17:19 | <Sonolin> | but where does stack exec -- pacman put the dlls? I don't see them in .stack-work... I'm guessing they are installed somewhere on the C drive? |
| 16:17:53 | <sm[m]> | Sonolin: yes, check pacman docs I guess. Maybe it has a verbose flag |
| 16:18:16 | × | ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 240 seconds) |
| 16:18:55 | × | 7JTABO2R0 quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 16:19:57 | → | ski joins (~ski@nc-2504-30.studat.chalmers.se) |
| 16:21:05 | <Sonolin> | oh I see it just uses the pacman from mingw its probably in wherever mingw is installed |
| 16:21:42 | → | adm joins (~adm@103.70.198.44) |
| 16:21:54 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:24:28 | → | urek joins (~urek@2804:7f1:e10a:5ac1:ed1e:6611:ce38:c0f7) |
| 16:25:23 | → | Ariakenom_ joins (~Ariakenom@h-98-128-229-104.NA.cust.bahnhof.se) |
| 16:26:39 | → | nango joins (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) |
| 16:29:21 | <nango> | How could I write the following in GADTs? `data Show a ⇒ MyCoolType` I.e., a datatype without any constructor, but still I'd like a constraint. In my particular case it is useful to use datatypes as tags. In GADTs I only know how to do it using constraints in the constructors, but not otherwise. Thx! |
| 16:30:59 | <merijn> | nango: You don't, because that's 99% certainly not what you want |
| 16:31:43 | <merijn> | Usually when people *say* "I want to put a datatype on my context" what they *mean* is "I want a way to avoid writing the constraint on all functions on my datatype" |
| 16:32:01 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 16:32:04 | <merijn> | However, that's not what the context there lets you do |
| 16:32:31 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 16:32:57 | <nango> | Ok, I guess it's a missconception on my side. You mean that I should make sure that this kind of information gets propagated everywhere in the pertinent functions |
| 16:33:02 | → | adm joins (~adm@103.70.198.44) |
| 16:33:30 | → | jonatanb joins (~jonatanb@user-5-173-153-95.play-internet.pl) |
| 16:33:44 | <merijn> | nango: You will have to do that anyway, yes |
| 16:34:02 | × | jonatanb quits (~jonatanb@user-5-173-153-95.play-internet.pl) (Remote host closed the connection) |
| 16:34:14 | <merijn> | If you write "data Show a => MyCoolType = ..." you *still* need to add "Show a =>" to each function that uses show |
| 16:34:34 | <merijn> | So the only thing you've accomplished is stopped some uses of your datatype, without getting any benefit |
| 16:34:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:35:26 | <nango> | ok, I did not know that, I guess this is related to why `DatatypeContexts` is a misfeature, silly me |
| 16:35:58 | <merijn> | That's pretty much why it was removed from the 2010 Report, yeah |
| 16:36:43 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 16:37:03 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 16:37:12 | <nango> | thank you! ;) |
| 16:38:22 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 256 seconds) |
| 16:38:59 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 16:39:18 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 16:40:50 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 16:43:16 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Quit: leaving) |
| 16:43:27 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 16:45:06 | × | adm quits (~adm@103.70.198.44) (Remote host closed the connection) |
| 16:45:23 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 16:45:42 | → | adm joins (~adm@103.70.198.44) |
| 16:45:45 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 16:45:55 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 16:47:39 | <tomsmeding> | itai33[m]: it seems merijn got to you first :) |
| 16:48:42 | <tomsmeding> | FRP indeed came to my mind too when you initially described what you wanted, but I'm completely unfamiliar with it so I felt uncomfortable suggesting it |
| 16:49:13 | <tomsmeding> | also it sounds that maybe, depending on how complicated your system is, there may be a simpler/different way to program it that doesn't require this "automatic updating"? |
| 16:50:06 | → | fendor__ joins (~fendor@77.119.131.179.wireless.dyn.drei.com) |
| 16:50:37 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 264 seconds) |
| 16:50:42 | Lord_of_Life_ | is now known as Lord_of_Life |
| 16:51:05 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 16:52:15 | → | oxfn joins (~oxfn@188.170.200.10) |
| 16:52:16 | × | fendor_ quits (~fendor@178.115.131.213.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 16:52:40 | × | oxfn quits (~oxfn@188.170.200.10) (Client Quit) |
| 16:52:56 | → | oxfn joins (~oxfn@188.170.200.10) |
| 16:52:57 | × | urek quits (~urek@2804:7f1:e10a:5ac1:ed1e:6611:ce38:c0f7) (Ping timeout: 272 seconds) |
| 16:53:03 | → | urek__ joins (~urek@2804:7f1:e10a:5ac1:ade3:38a4:6528:5936) |
| 16:55:29 | × | alp_ quits (~alp@2a01:e0a:58b:4920:54f0:a17c:6064:5767) (Ping timeout: 272 seconds) |
| 16:55:58 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 16:57:33 | → | geekosaur joins (ac3a56a6@172.58.86.166) |
| 16:58:01 | × | kelsey quits (~keteskyl@2600:6c64:7b7f:fa42:880b:e2d1:945a:df75) (Ping timeout: 272 seconds) |
| 16:58:22 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 16:58:30 | → | kelsey joins (~keteskyl@2600:6c64:7b7f:fa42:f5fe:4219:cdb7:f326) |
| 16:59:01 | hackage | git-annex 8.20201127 - manage files with git, without checking their contents into git https://hackage.haskell.org/package/git-annex-8.20201127 (JoeyHess) |
| 16:59:11 | <nango> | merijn: sorry to bother, however this works: |
| 16:59:32 | <nango> | |
| 16:59:32 | <nango> | data Whatever a where |
| 16:59:32 | <nango> | Whatever ∷ Show a ⇒ a → Whatever a |
| 16:59:32 | <nango> | |
| 16:59:35 | <nango> | lala ∷ Whatever a → String |
| 16:59:38 | <nango> | lala (Whatever b) = show b |
| 16:59:42 | <merijn> | Right, but that's something else entirely :) |
| 17:00:01 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 17:00:02 | <merijn> | GADTs enable existential quantification which lets you do some things like that |
| 17:00:22 | <nango> | ok, however is this bad practice, or is it completely fine ? |
| 17:00:22 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 17:00:33 | <merijn> | Although existential quantification also can get you into a bunch of trouble :p |
| 17:00:41 | <merijn> | @where existential-antipattern |
| 17:00:41 | <lambdabot> | "Haskell Antipattern: Existential Typeclass" by Luke Palmer at <http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-typeclass/> |
| 17:00:46 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 17:01:31 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 17:02:27 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 17:02:29 | <nango> | ok, I'll take a look thx again ! |
| 17:02:53 | → | ubert1 joins (~Thunderbi@p200300ecdf1e53eee6b318fffe838f33.dip0.t-ipconnect.de) |
| 17:03:27 | × | ubert quits (~Thunderbi@p200300ecdf1e53a0e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:03:28 | ubert1 | is now known as ubert |
| 17:04:57 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:5572:c108:3697:b06d) (Ping timeout: 260 seconds) |
| 17:05:17 | <dolio> | I think the majority of the trouble you'll run into is people quoting that blog at you here. |
| 17:05:32 | <dolio> | Which doesn't itself describe much trouble you'll have. |
| 17:05:37 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 17:06:05 | <merijn> | It depends |
| 17:06:09 | <tomsmeding> | "Of course, the expansion is smaller than the original." |
| 17:06:18 | <tomsmeding> | that's clickbait |
| 17:06:23 | <tomsmeding> | for lack of a better word |
| 17:06:24 | → | conal joins (~conal@64.71.133.70) |
| 17:06:36 | <merijn> | Not all uses of existential quantification match the antipattern |
| 17:07:12 | <dolio> | People will cite that article even when it doesn't match. |
| 17:07:52 | <dolio> | Also the article barely even says why to not use the 'anti-pattern'. It just says not to. |
| 17:07:58 | <merijn> | dolio: Sure, but in this case it was more of a "be aware of pitfalls before throwing existentials all over" |
| 17:09:23 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 17:10:28 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 260 seconds) |
| 17:10:30 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 17:10:37 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:10:57 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@iakosalt-94.nationalnet.com) |
| 17:12:10 | fendor__ | is now known as fendor |
| 17:13:43 | → | timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee) |
| 17:15:07 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 17:15:09 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 17:16:03 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 17:16:12 | <tdammers> | IIRC that article describes a fairly specific use case of existentials, namely, heterogenous lists |
| 17:20:38 | → | alp_ joins (~alp@2a01:e0a:58b:4920:954f:f506:d9f5:ca89) |
| 17:22:34 | → | christo joins (~chris@81.96.113.213) |
| 17:24:06 | × | timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Quit: Lost terminal) |
| 17:27:13 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 17:29:31 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 246 seconds) |
| 17:30:08 | <f-a> | http://www.ariis.it/static/articles/2020-haskell-survey-analysis/costruzione/grafici/php/answerOverview.png Philoupap made some visualisation for the Haskell survey |
| 17:31:22 | <f-a> | (all the graphs http://www.ariis.it/static/articles/2020-haskell-survey-analysis/page.html#bonus ) |
| 17:32:28 | × | kuribas quits (~user@ptr-25vy0i7f13lrn3nx9jz.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 17:33:11 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 17:33:33 | → | benjamin-l joins (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) |
| 17:33:54 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:33:56 | <benjamin-l> | why is it that '<$>' binds differently from '$', so that things like 'f <$> g $ x' don't work? |
| 17:37:36 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 17:38:18 | → | urek joins (~urek@2804:7f1:e10a:5ac1:887:f10a:75b5:3ddb) |
| 17:38:33 | × | urek__ quits (~urek@2804:7f1:e10a:5ac1:ade3:38a4:6528:5936) (Ping timeout: 272 seconds) |
| 17:42:59 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:43:24 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:43:28 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 17:44:47 | <ski> | tdammers : fwiw (sortof re the existential question), Idris' pattern-matching binds with alternative branches is interesting, <http://docs.idris-lang.org/en/latest/tutorial/interfaces.html#pattern-matching-bind> |
| 17:45:39 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-yyzdvrqskfbunymz) |
| 17:47:09 | <ski> | (also i'm reminded of the `let'-`try' / exception pattern-matching in O'Caml, <https://caml.inria.fr/pub/docs/manual-ocaml/patterns.html#sss:exception-match>,<https://web.archive.org/web/20161027043544/http://mjambon.com/extend-ocaml-syntax.html#lettry>, idea from "Exceptional Syntax" by Nick Benton,Andrew Kennedy in 2001-07 at <https://www.cs.tufts.edu/~nr/cs257/archive/nick-benton/exceptional-syntax.pdf>) |
| 17:47:20 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 17:47:38 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 17:47:52 | <Orbstheorem> | Hi o/ How can I expand a shell path in haskell? (e.g. "$XDG_CONFIG_HOME/foo" or "~someuser/somefile")? |
| 17:48:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 17:48:38 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 17:48:55 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 17:50:43 | <ski> | benjamin-l : `$' has lower precedence than `<$>'. (and even if that wasn't the case, in case they had the same precedence (rather than the ordering being reversed), the right-associativity of the former wouldn't square with the left-associativity of the latter) |
| 17:51:22 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-lkmltywelefyyiow) |
| 17:51:40 | <ski> | benjamin-l : in any case, why not just write `f <$> g x' ? |
| 17:52:16 | × | f-a quits (~f-a@151.68.174.254) (Ping timeout: 246 seconds) |
| 17:52:31 | <ski> | (or, in case your `x' is actually a non-atomic expression, why not `f <$> (g x)' ? hm, there's also `(fmap f . g) x', i suppose) |
| 17:52:37 | <vfaronov> | Hi all! I've compiled a program, and it errors with: |
| 17:52:41 | <vfaronov> | > Weighted.hs:89:21-57: Non-exhaustive patterns in Just ((k, b), c) |
| 17:52:43 | <lambdabot> | <hint>:1:47: error: <hint>:1:47: error: parse error on input ‘in’ |
| 17:52:44 | <vfaronov> | Problem is, there are only 43 lines in Weighted.hs, and I don't see a pattern like that in my code. Any ideas on how to debug this? -O0 instead of -O2 doesn't help |
| 17:52:55 | <ski> | (er .. sorry, i meant of course `f <$> g (x)') |
| 17:53:11 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Client Quit) |
| 17:53:29 | → | vfaronov joins (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) |
| 17:53:48 | <Orbstheorem> | vfaronov: That error is precisely because such pattern is missing. |
| 17:54:17 | → | f-a joins (~f-a@151.68.37.55) |
| 17:54:22 | <Orbstheorem> | vfaronov: Share the code maybe? |
| 17:55:04 | <Orbstheorem> | Above line `47`, there should be a function that is missing the pattern. |
| 17:55:06 | <geekosaur> | we'd have to see the code, yeh. I'd suspect CPP without any other evidence, since it can throw line numbering off |
| 17:55:20 | <benjamin-l> | ski: mainly it's just for convenience if there's a long chain of nested functions |
| 17:55:25 | <benjamin-l> | is using ($) a lot bad style? |
| 17:55:37 | <Orbstheorem> | benjamin-l: IMHO yes, it makes your code unreadable :( |
| 17:56:16 | <geekosaur> | Orbstheorem, the point is the error is reported on line 89 of a 43-line file |
| 17:56:27 | → | Deide joins (~Deide@217.155.19.23) |
| 17:56:42 | <geekosaur> | something is expanding (buggy) code into their file |
| 17:56:52 | <Orbstheorem> | geekosaur: Oh sorry, I misread lambdabot's message as part of the OP. |
| 17:56:54 | <Orbstheorem> | x) |
| 17:57:14 | <ski> | benjamin-l : "is using ($) a lot bad style?" -- imho, yes. i very rarely use `$' at all (`BlockArguments' has gotten rid of most of my remaining uses of it) |
| 17:57:21 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 256 seconds) |
| 17:57:24 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 17:58:08 | <ski> | benjamin-l : i often see newbies write `foo (bar x $ baz y z)' for no good reason at all, when `foo (bar x (baz y z))' or `(foo . bar x) (baz y z)' would have been clearer/better, imho |
| 17:58:23 | <Orbstheorem> | benjamin-l: Personally I like explicit parenthesis or something like `let foo = a . b . c . d in foo bar`. |
| 17:58:34 | <Orbstheorem> | s/like/prefer/ |
| 17:58:39 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:58:40 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 17:58:49 | × | alp_ quits (~alp@2a01:e0a:58b:4920:954f:f506:d9f5:ca89) (Ping timeout: 272 seconds) |
| 17:58:54 | × | matta quits (~user@24-113-169-116.wavecable.com) (Remote host closed the connection) |
| 17:58:58 | <benjamin-l> | ooh, I didn't know about BlockArguments |
| 18:00:05 | → | justsomeguy joins (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) |
| 18:00:05 | × | justsomeguy quits (~justsomeg@2603:9000:960a:fc00:c4d2:5b73:c7b7:3a2b) (Changing host) |
| 18:00:05 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 18:00:10 | <geekosaur> | it's newish |
| 18:01:10 | <benjamin-l> | this wouldn't get rid of most of my ($) uses, so I think I'm doing something else wrong |
| 18:01:24 | × | ubert quits (~Thunderbi@p200300ecdf1e53eee6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 18:02:22 | <benjamin-l> | I end up using ($) pretty frequently to, for example, chain different transformations together. An example from the thing I'm currently working on: `ExceptT $ fmap (first MyError) $ try $ ...' |
| 18:02:37 | <benjamin-l> | in order to lift an IO exception into a custom error in ExceptT |
| 18:02:56 | <benjamin-l> | is there a better way to do this type of thing? |
| 18:03:26 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 256 seconds) |
| 18:04:01 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 18:04:12 | <geekosaur> | xmonad layoutHooks use that pattern a lot |
| 18:04:23 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 18:04:27 | <vfaronov> | ah... mystery solved: it refers to another, similarly-named Weighted.hs in third-party code, got me confused |
| 18:05:00 | <benjamin-l> | the IO exceptions scare me because they're not expressed in the type system |
| 18:05:05 | <monochrom> | BlockArguments is for "f (\x -> g x)" -> "f \x -> g x" and "f (do ...)" -> "f do ..." |
| 18:05:30 | <benjamin-l> | I'm used to rust, where pretty much anything that can fail will return `Result<T, E>', and I'm trying to mimic that kind of pattern in haskell |
| 18:05:30 | <monochrom> | But "f (g x)" has to stay "f (g x)", "f g x" has always meant something else. |
| 18:05:45 | <benjamin-l> | but maybe I'm looking at this the wrong way and the IO exceptions aren't that bad |
| 18:06:26 | <monochrom> | IO exceptions are good when it's from opening a file for example. |
| 18:06:55 | <monochrom> | From "2nd item of a list but the list is empty" of course no one likes IO exceptions. |
| 18:07:06 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:08:00 | → | mastarija joins (~mastarija@93-136-22-83.adsl.net.t-com.hr) |
| 18:09:00 | <ski> | benjamin-l : `foo x $ bar y z w $ bleh t $ barf' should most probably be `(foo x . bar y z w . bleh t) barf',`(foo x . bar y z w) (bleh t barf)', or, if you insist, `foo x . bar y z w . bleh t $ barf' or `foo x . bar y z w $ bleh t barf' |
| 18:09:25 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds) |
| 18:11:16 | <ski> | (or just simply a plain honest `foo x (bar y z w (bleh t barf))', of course. brackets are nothing to be afraid of. it's when you get bracketted expressions that span multiple (many ?) lines, possibly ending with many closing brackets next to each other, that you might want to look for a nicer reformulation) |
| 18:11:46 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 18:12:30 | <mastarija> | Can anyone explain a bit how aeson parses Value type into some generic value a? I've been playing with generics creating a simple "Opaque" type, and encoding some generic value to Opaque was easy, however my brain is stuck on the reverse process. |
| 18:12:35 | <mastarija> | https://github.com/mastarija/opaque/blob/dev/lib/Data/Opaque.hs |
| 18:12:50 | <mastarija> | I can't even begin thinking about how to do it. |
| 18:13:15 | <mastarija> | I tried looking at aeson, but it's a bit too complex for me to grasp :/ |
| 18:13:30 | <monochrom> | For best mental model, do not think in terms of $, even if you read it and write it all the time. Think in terms of "f (g x)", then consider "f $ g x" syntax sugar. |
| 18:13:57 | <koz_> | mastarija: Do you want an intro to how Generic works in general? |
| 18:14:01 | <koz_> | Or specifically how Aeson uses it? |
| 18:14:15 | <mastarija> | I understand generics, in general |
| 18:14:18 | <monochrom> | Always have an abstract syntax tree deep down in your heart. Then you won't be confused by quirky character-based syntax. |
| 18:14:25 | <benjamin-l> | monochrom: yeah, that's pretty much what my mental model is. the $ is just something that lets me write less parens |
| 18:14:34 | × | knupfer quits (~Thunderbi@200116b82ce60800f825e99b55da9717.dip.versatel-1u1.de) (Remote host closed the connection) |
| 18:14:43 | <mastarija> | koz_, but what I don't get is how aeson constructs a parser for a generic value |
| 18:14:43 | → | knupfer joins (~Thunderbi@200116b82ce60800740930dfd292ec1d.dip.versatel-1u1.de) |
| 18:14:53 | <monochrom> | Ah OK, cool, you already know. |
| 18:15:39 | <koz_> | mastarija: A Rep can be thought of as a 'skeleton', expressed as sums, products, and 'leaves'. |
| 18:15:54 | <koz_> | Aeson has instances for each 'leaf', because they're simple (relatively) to parse. |
| 18:15:54 | <monochrom> | But perhaps we can call $ syntax dollar, syntax money, monopoly money. |
| 18:15:55 | × | asheshambasta quits (~user@ptr-e1lysauiv50il654lwl.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 18:16:01 | → | frdg joins (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 18:16:09 | ← | frdg parts (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) () |
| 18:16:21 | <koz_> | Then, if you can parse a and b, you can parse their sum (try one, then the other), and their product (do one, if it works, do the other, glue em together). |
| 18:16:25 | → | frdg joins (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 18:16:25 | <koz_> | That's more-or-less it. |
| 18:16:49 | <ski> | benjamin-l : anyway, the point in favor of `(f . g . h . i) x' (or `f . g . h . i $ x') over `f $ g $ h $ i $ x' is that in the former, `.' is associative, which means that you can factor out, "fold", any subsequence of the composition chain / "pipe" into its own (named) function. (and obviously the reverse as well, "unfolding" a definition that is a composition back into the chain it's used in) |
| 18:18:39 | ski | guesses it's too much to hope for, for `$' to be changed to left-associative .. |
| 18:18:49 | <mastarija> | koz_, I mean, I don't know where to begin if I want to generate Rep from my Opaque data structure. My idea was to do something like Opaque -> Maybe Rep a, but I don't know how to construct rep. |
| 18:19:01 | <koz_> | You don't. You derive Generic and it happens for you. |
| 18:19:11 | <ski> | (point being to discourage / prevent people from writing `f $ g $ h $ i $ x' in the first place) |
| 18:19:15 | <koz_> | Hand-building Reps isn't something you should be doing unless you know _exactly_ what you're doing. |
| 18:19:28 | <koz_> | The fact you're asking these kinds of questions suggests that you don't, and that's OK. |
| 18:20:03 | → | belphegor666 joins (~satan@HSI-KBW-046-005-253-003.hsi8.kabel-badenwuerttemberg.de) |
| 18:20:09 | <mastarija> | koz_, I think there's a misunderstanding |
| 18:20:47 | <mastarija> | With a concrete value Generic a => a I can get Rep and construct Opaque / Val from it |
| 18:21:05 | <mastarija> | But if I only have a type of a, how do I construct Rep a from Opaque? |
| 18:21:21 | <mastarija> | So I can convert it to actual "a" |
| 18:21:51 | <koz_> | That depends on what Opaque looks like. If you can go from a -> Rep a -> Opaque, surely you can go the other way by just... doing the same thing in reverse? |
| 18:21:53 | <geekosaur> | koaz_, if I understood their original question properly, they're trying to learn exactly how to hand-build it |
| 18:22:35 | <geekosaur> | trying to understand how aeson does it |
| 18:22:38 | <koz_> | I guess I don't understand the ultimate goal here. |
| 18:22:51 | <geekosaur> | understand how aeson works? |
| 18:22:53 | <koz_> | Oh well, someone who knows Generics better than me can probably field this one then. |
| 18:22:54 | → | nango` joins (~user@2001:4bb8:2c0:f87:dd82:f14:e18e:20f8) |
| 18:23:03 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in) |
| 18:23:22 | <mastarija> | Goal is to implement Generics a => a -> Opaque and Generics a => Opaque -> a |
| 18:23:26 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 18:23:35 | <mastarija> | I implemented first one, but second one is giving me trouble |
| 18:23:40 | <geekosaur> | anyway, mastarija, this is deepish wizardry |
| 18:24:00 | <monochrom> | Sorry, what is the definition of Opague again? |
| 18:24:15 | <mastarija> | Because I don't have actual Rep a tree to work on, I only have a type of a, so I don't know how to map Opaque to A |
| 18:24:20 | <mastarija> | Just a sec |
| 18:24:23 | <mastarija> | https://github.com/mastarija/opaque/blob/dev/lib/Data/Opaque.hs |
| 18:24:27 | <geekosaur> | so it's not surprising it's giving you trouble. I have some idea of how I'd do it but would be hesitant to do so when I know aeson can work with a derived Generic instance and do it for me :) |
| 18:24:43 | × | f-a quits (~f-a@151.68.37.55) (Quit: bb) |
| 18:25:11 | <mastarija> | But I mean, I see aeson instances for building parser, but I understand nothing there :D |
| 18:25:17 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:25:48 | <geekosaur> | generics in haskell are a fairly advanced technique, yes |
| 18:25:56 | × | solonarv quits (~solonarv@astrasbourg-653-1-191-240.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 18:25:57 | <mastarija> | geekosaur, basically I'm trying to implement mini aeson |
| 18:26:23 | <geekosaur> | yes,, that was what I told koz_ more or less |
| 18:26:28 | <mastarija> | and am wondering how to construct machinery to do Generics a -> Value -> Maybe a |
| 18:26:42 | <monochrom> | Ah, you are learning how Aeson does "instance Generic t => From/ToJSON t" because you're coding up the same thing. |
| 18:26:44 | × | nango quits (~user@2001:4bb8:2c0:f87:25fc:7ed4:4767:b1a9) (Ping timeout: 240 seconds) |
| 18:26:50 | <mastarija> | Yes |
| 18:27:40 | <mastarija> | monochrom, I figured out ToJSON, but FromJSON is giving me trouble |
| 18:27:56 | → | solonarv joins (~solonarv@anancy-651-1-197-136.w109-217.abo.wanadoo.fr) |
| 18:28:03 | <geekosaur> | basically, Generics gives you a data structure representing the structure of a type. you enumerate that to find out what fields to look for and how to combine them |
| 18:28:56 | <monochrom> | Aeson decides to use a record with an extra tag field for sum types. If you have "data X = C1 Int | C2 String deriving Generic", Aeson will convert C1 10 to {tag="C1", field=10}, C2 "hello" to {tag="C2", field="hello"}, or a variation of that, I forgot the details. |
| 18:30:02 | <monochrom> | For FromJSON, or generally writing your own "instance Generic t => Read t", what I did is add a Proxy type. |
| 18:30:13 | → | christo joins (~chris@81.96.113.213) |
| 18:31:33 | <mastarija> | geekosaur, I did similar thing with tags and fields for sums |
| 18:32:35 | <mastarija> | geekosaur, so what's this Proxy type for? |
| 18:32:45 | <geekosaur> | that was monochrom |
| 18:33:26 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:33:39 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:34:05 | <mastarija> | sorry :D |
| 18:34:25 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 264 seconds) |
| 18:34:37 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 18:34:55 | × | mastarija quits (~mastarija@93-136-22-83.adsl.net.t-com.hr) (Quit: Leaving) |
| 18:35:28 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 18:36:16 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 18:36:44 | → | mastarija joins (~mastarija@93-136-22-83.adsl.net.t-com.hr) |
| 18:36:50 | <monochrom> | mastarija: https://paste.tomsmeding.com/o66Pqbiu |
| 18:36:56 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds) |
| 18:37:37 | <monochrom> | Basically I pulled it off with the line "conName (M1 Proxy :: C1 c Proxy ())" when I need to know which constructor name string to expect |
| 18:37:39 | <mastarija> | monochrom, thanks! I'll study that |
| 18:38:01 | <monochrom> | where the type variable "c" is obtained from the context and ScopedTypeVariables |
| 18:38:21 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 18:38:28 | <mastarija> | monochrom, that was actually my main concern, I couldn't figure out how to get stuff form just the type |
| 18:38:29 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 18:38:38 | <monochrom> | :) |
| 18:38:54 | <mastarija> | many thanks :D |
| 18:40:03 | × | shf quits (~sheaf@2a01:cb19:80cc:7e00:8861:b8e2:442:3aec) (Read error: Connection reset by peer) |
| 18:44:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 18:44:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:45:19 | → | alp joins (~alp@2a01:e0a:58b:4920:2168:29c2:e64d:be99) |
| 18:46:08 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 18:47:59 | × | geekosaur quits (ac3a56a6@172.58.86.166) (Ping timeout: 245 seconds) |
| 18:48:40 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 18:49:02 | × | knupfer quits (~Thunderbi@200116b82ce60800740930dfd292ec1d.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 18:49:08 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 18:50:25 | × | carlomagno1 quits (~cararell@148.87.23.5) (Quit: Leaving.) |
| 18:53:16 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 18:55:08 | → | ubert joins (~Thunderbi@p200300ecdf1e53eee6b318fffe838f33.dip0.t-ipconnect.de) |
| 18:56:05 | × | oxfn quits (~oxfn@188.170.200.10) (Ping timeout: 240 seconds) |
| 18:56:38 | × | ski quits (~ski@nc-2504-30.studat.chalmers.se) (Ping timeout: 256 seconds) |
| 18:59:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 19:01:02 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 19:03:33 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:50 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 19:05:28 | → | oxfn joins (~oxfn@188.162.176.57) |
| 19:06:19 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 19:06:54 | → | chaosmasttter joins (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) |
| 19:07:01 | × | Rudd0 quits (~Rudd0@185.189.115.98) (Remote host closed the connection) |
| 19:07:02 | → | geekosaur joins (ac3a56a6@172.58.86.166) |
| 19:07:18 | → | ski_ joins (~ski@ed-3358-10.studat.chalmers.se) |
| 19:07:21 | × | belphegor666 quits (~satan@HSI-KBW-046-005-253-003.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.9) |
| 19:08:29 | <Sonolin> | oh I found out you can grep for '.dll' in exe to find needed dlls... for my sdl2 haskell app it just needed the relevant SDL2 dll files... nice! |
| 19:08:57 | <Sonolin> | I wish I could statically link SDL2 into the app (I know this is possible since there is a libSDL.a file from mingw) but that should suffice |
| 19:10:29 | <hpc> | apparently there's a dumpbin command that can give you that info as well |
| 19:10:30 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 272 seconds) |
| 19:10:32 | <hpc> | it's basically windows ldd |
| 19:13:13 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-pogynndgtiiaiwaa) (Quit: Connection closed for inactivity) |
| 19:15:26 | <itai33[m]> | tomsmeding: for my perpouses i can invoke all of the "automatic" stuff by hand with explicit update functions rather than say, lens setters or something (after that point the effort saved is rather small). I'm mainly interested at this point in the theoretical stuff |
| 19:15:32 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 19:16:26 | <tomsmeding> | ah makes sense! In that case, by all means look into FRP I think :p |
| 19:17:05 | → | Iceland_jack joins (~user@31.124.48.169) |
| 19:17:16 | <tomsmeding> | I'd probably just write helper functions to write to the struct that also update the other necessary fields |
| 19:17:19 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving) |
| 19:18:23 | <itai33[m]> | yeah i'll probably do this as well and perhaps change it into something fancier later on |
| 19:18:49 | <itai33[m]> | although i think that adaptive functional programing might be a better fit here, FRP might be "too powerful tm" |
| 19:19:03 | <itai33[m]> | also someone needs to update the adaptive library it looks useful |
| 19:19:06 | <itai33[m]> | (that someone being me( |
| 19:19:17 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 19:19:58 | × | oxfn quits (~oxfn@188.162.176.57) (Ping timeout: 260 seconds) |
| 19:22:17 | → | oxfn joins (~oxfn@188.162.176.83) |
| 19:26:01 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Read error: Connection reset by peer) |
| 19:26:02 | → | boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 19:26:16 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 240 seconds) |
| 19:26:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 19:26:29 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 19:30:07 | ← | frdg parts (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) () |
| 19:30:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 19:33:02 | <Sonolin> | one things FRP really helped me zone in on was having functions of "State -> State" rather than doing everything in state monad |
| 19:33:36 | × | oxfn quits (~oxfn@188.162.176.83) (Ping timeout: 240 seconds) |
| 19:33:42 | <Sonolin> | then you can do like `getInput :: Event` and then pass it off to something like `consume :: Event -> Env -> Env` |
| 19:34:27 | × | urek quits (~urek@2804:7f1:e10a:5ac1:887:f10a:75b5:3ddb) (Ping timeout: 272 seconds) |
| 19:34:48 | → | urek joins (~urek@2804:7f1:e10a:5ac1:2197:d373:48b9:137e) |
| 19:35:33 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 19:36:32 | <itai33[m]> | Sonolin: what did you use for FRP? |
| 19:37:35 | <Sonolin> | itai33[m] I tried out reactive-banana but ended up not using it since I wasn't really doing any realtime stuff.. the combinators seem really powerful & cool for that stuff though |
| 19:40:13 | <Sonolin> | fyi if you're using stack it seems to install out of the box with `lts-14.27` - the newer lts ran into some versioning issues with the latest reactive-banana from hackage |
| 19:41:02 | <itai33[m]> | thanks but i'm using cabal |
| 19:41:09 | → | plakband joins (~plakband@softbank126126238105.bbtec.net) |
| 19:41:32 | × | boxscape quits (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) (Ping timeout: 272 seconds) |
| 19:41:58 | × | subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 19:43:37 | <plakband> | I'm having a hard time properly tricking the CPP into substuting a string, i.e. turning the flag -DPATH=foo into a substitution PATH -> "foo". It seems that quotes break the CPP in all sorts of ways. Can anybody give me some pointers, ideally an example of where this works? |
| 19:44:39 | <geekosaur> | -DPATH='"foo"' from the shell, otherwise the shell itself eats one layer of quoting |
| 19:45:15 | × | fendor quits (~fendor@77.119.131.179.wireless.dyn.drei.com) (Remote host closed the connection) |
| 19:48:44 | <geekosaur> | unfortunately, last time I checked (cabal-install 2.x) there was no reliable quoting within cabal files |
| 19:49:06 | <geekosaur> | quoting is fairly tricky in general |
| 19:49:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 19:51:05 | <plakband> | So it seems... I tried the '"foo"' thing, if you're saying that /should/ work, it might be the case that the quotes get lost somewhere down the line in the rest of the build process |
| 19:51:59 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 19:52:33 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 19:54:20 | → | carlomagno joins (~cararell@148.87.23.7) |
| 19:54:52 | → | boxscape10 joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55) |
| 19:55:13 | boxscape10 | is now known as boxscpae |
| 19:56:17 | <plakband> | alright, turns out it was... '"\"foo"\"' |
| 19:56:31 | <geekosaur> | ew. |
| 19:56:37 | <plakband> | oh I mean '"\"foo\""' |
| 19:56:41 | <plakband> | of course |
| 20:00:12 | × | ubert quits (~Thunderbi@p200300ecdf1e53eee6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 20:02:31 | <sm[m]> | Sonolin: maybe hacky but another option: you can embed binary files into your executable (file-embed) and unpack them into current directory or \windows at startup |
| 20:03:00 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 20:04:51 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:05:55 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 20:06:12 | <Sonolin> | interesting idea, but I think I'd rather just go with the zip |
| 20:06:42 | <Sonolin> | I'm still trying to find the paths in appveyor to these DLLs but I think I finally found them... C:\Users\appveyor\AppData\Local\Programs\stack\x86_64-windows\*\mingw64\lib\*.dll |
| 20:07:07 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 20:07:50 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 264 seconds) |
| 20:08:22 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 260 seconds) |
| 20:08:37 | × | mastarija quits (~mastarija@93-136-22-83.adsl.net.t-com.hr) (Ping timeout: 264 seconds) |
| 20:08:52 | × | mounty quits (~mounty@210.1.196.133) (Quit: Konversation terminated!) |
| 20:08:56 | <sm[m]> | you may know it, but github actions also works well for building windows binaries |
| 20:08:59 | → | bliminse joins (~bliminse@host86-134-63-68.range86-134.btcentralplus.com) |
| 20:09:23 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 20:10:08 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 20:13:24 | <Sonolin> | oh I didn't know that... good to know |
| 20:17:33 | → | knupfer joins (~Thunderbi@200116b82ce608006d1371781dde74ce.dip.versatel-1u1.de) |
| 20:19:31 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 20:19:31 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 20:19:55 | → | fendor joins (~fendor@77.119.131.179.wireless.dyn.drei.com) |
| 20:20:38 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 20:20:39 | × | ggole quits (~ggole@2001:8003:8119:7200:e125:8c0:7374:b02e) (Quit: Leaving) |
| 20:21:55 | → | Tario joins (~Tario@garza.riseup.net) |
| 20:23:10 | → | nango`` joins (~user@2001:4bb8:2c0:f87:3847:bc5f:6c1f:2) |
| 20:23:11 | <nango``> | :w |
| 20:23:17 | ← | nango`` parts (~user@2001:4bb8:2c0:f87:3847:bc5f:6c1f:2) () |
| 20:23:44 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 20:23:56 | → | wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) |
| 20:24:06 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 20:25:04 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 20:26:23 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:26:28 | × | Tario quits (~Tario@garza.riseup.net) (Ping timeout: 260 seconds) |
| 20:27:00 | → | stackdimes joins (~stackdime@45.91.21.40) |
| 20:27:04 | × | nango` quits (~user@2001:4bb8:2c0:f87:dd82:f14:e18e:20f8) (Ping timeout: 240 seconds) |
| 20:27:19 | → | conal joins (~conal@64.71.133.70) |
| 20:27:30 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 20:29:02 | → | conal joins (~conal@64.71.133.70) |
| 20:29:05 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 20:31:57 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 20:32:06 | → | conal joins (~conal@64.71.133.70) |
| 20:32:16 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 20:34:30 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 20:35:16 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 20:38:13 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 20:42:30 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:42:48 | → | pengjiz joins (~user@2601:547:901:fab0::1) |
| 20:43:15 | → | Tario joins (~Tario@garza.riseup.net) |
| 20:44:59 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:45:13 | → | conal joins (~conal@64.71.133.70) |
| 20:46:00 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Ping timeout: 256 seconds) |
| 20:46:01 | × | Tario quits (~Tario@garza.riseup.net) (Read error: Connection reset by peer) |
| 20:46:46 | → | gproto023 joins (~gproto23@unaffiliated/gproto23) |
| 20:46:47 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 20:47:18 | → | Tario joins (~Tario@garza.riseup.net) |
| 20:47:58 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 246 seconds) |
| 20:48:06 | × | jespada quits (~jespada@90.254.245.49) (Quit: Leaving) |
| 20:48:12 | gproto023 | is now known as gproto23 |
| 20:48:39 | × | Tario quits (~Tario@garza.riseup.net) (Read error: Connection reset by peer) |
| 20:49:23 | → | Tario joins (~Tario@garza.riseup.net) |
| 20:50:06 | → | conal_ joins (~conal@64.71.133.70) |
| 20:51:02 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 20:52:48 | × | actuallybatman quits (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 256 seconds) |
| 20:53:44 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 20:55:56 | × | Tario quits (~Tario@garza.riseup.net) (Ping timeout: 240 seconds) |
| 20:56:30 | hackage | readme-lhs 0.8.1 - Literate programming support. https://hackage.haskell.org/package/readme-lhs-0.8.1 (tonyday567) |
| 20:56:47 | × | knupfer quits (~Thunderbi@200116b82ce608006d1371781dde74ce.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 20:56:55 | × | carlomagno quits (~cararell@148.87.23.7) (Quit: Leaving.) |
| 20:58:20 | → | MrSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 20:59:16 | × | tlaxkit quits (~kvirc@185.228.155.198) (Ping timeout: 240 seconds) |
| 20:59:46 | <monochrom> | I hate quoting and escape codes. |
| 21:01:16 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 240 seconds) |
| 21:04:26 | <maerwald> | tell us what you like instead :P |
| 21:04:34 | → | actuallybatman joins (~sam@S010664777dafd303.cg.shawcable.net) |
| 21:05:17 | <merijn> | Cats are pretty good :p |
| 21:05:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:06:03 | <maerwald> | started using bat though: https://github.com/sharkdp/bat |
| 21:06:54 | × | fendor quits (~fendor@77.119.131.179.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:06:56 | <ski_> | the escaping character ought not to be escaped in terms of itself |
| 21:07:34 | <merijn> | maerwald: That's gonna give the cat -v guys an aneurysm... |
| 21:07:44 | boxscpae | is now known as boxscape |
| 21:08:29 | → | Tario joins (~Tario@201.192.165.173) |
| 21:08:48 | <maerwald> | hope their insurance covers that |
| 21:09:06 | <aldum> | lol, bat is good stuff tho |
| 21:09:14 | <merijn> | UNIX was made in the US, so...probably not :p |
| 21:09:53 | × | jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Quit: Ping timeout (120 seconds)) |
| 21:10:24 | → | mpiechotka joins (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) |
| 21:10:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 21:10:41 | × | plakband quits (~plakband@softbank126126238105.bbtec.net) (Quit: WeeChat 2.9) |
| 21:11:24 | → | jneira joins (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) |
| 21:13:06 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 21:14:32 | × | mpiechotka quits (~mpiechotk@107-203-255-70.lightspeed.sntcca.sbcglobal.net) (Client Quit) |
| 21:14:46 | × | DavidEichmann quits (~david@62.110.198.146.dyn.plus.net) (Remote host closed the connection) |
| 21:15:09 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 21:15:47 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 21:16:46 | × | pengjiz quits (~user@2601:547:901:fab0::1) (Quit: ERC (IRC client for Emacs 27.1)) |
| 21:17:39 | → | ambidextrose joins (~fut-learn@mobile-166-170-45-26.mycingular.net) |
| 21:17:47 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 21:17:58 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 21:18:31 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:18:44 | → | tlaxkit joins (~kvirc@185.228.155.198) |
| 21:19:29 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 21:19:50 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 21:19:55 | → | uberj_ joins (~uberj@107.170.237.156) |
| 21:20:32 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 21:20:35 | ← | ambidextrose parts (~fut-learn@mobile-166-170-45-26.mycingular.net) () |
| 21:20:41 | × | samebchase- quits (~samebchas@51.15.68.182) (Quit: Ping timeout (120 seconds)) |
| 21:20:48 | × | blackdog quits (~blackdog@198.211.112.85) (Ping timeout: 256 seconds) |
| 21:20:55 | → | blackdog joins (~blackdog@198.211.112.85) |
| 21:21:13 | → | samebchase- joins (~samebchas@51.15.68.182) |
| 21:21:56 | × | catern quits (~catern@104.131.201.120) (Ping timeout: 256 seconds) |
| 21:21:56 | × | Firedancer_ quits (~Firedance@178.62.203.79) (Ping timeout: 256 seconds) |
| 21:21:56 | × | greymalkin quits (~greymalki@199.180.249.79) (Ping timeout: 256 seconds) |
| 21:21:56 | × | xe4 quits (~xe4@unaffiliated/xe4) (Ping timeout: 256 seconds) |
| 21:22:22 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 21:22:23 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 21:22:23 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 21:22:30 | × | statusfailed quits (~statusfai@statusfailed.com) (Ping timeout: 256 seconds) |
| 21:22:30 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Ping timeout: 256 seconds) |
| 21:22:30 | × | joeytwiddle quits (~joeytwidd@162.243.115.31) (Ping timeout: 256 seconds) |
| 21:22:30 | × | Guest60204 quits (~michael@142.93.75.170) (Ping timeout: 256 seconds) |
| 21:22:30 | × | uberj quits (~uberj@unaffiliated/uberj) (Ping timeout: 256 seconds) |
| 21:22:44 | → | statusfailed joins (~statusfai@statusfailed.com) |
| 21:22:45 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 21:22:59 | → | drewolson9 joins (~drewolson@64.227.24.16) |
| 21:23:04 | × | aoei quits (~aoei@li2174-104.members.linode.com) (Ping timeout: 256 seconds) |
| 21:23:04 | × | nurupo quits (~nurupo.ga@unaffiliated/nurupo) (Ping timeout: 256 seconds) |
| 21:23:04 | × | c_wraith quits (~c_wraith@adjoint.us) (Ping timeout: 256 seconds) |
| 21:23:08 | → | polux200137 joins (~polux@51.15.169.172) |
| 21:23:24 | × | geekosaur quits (ac3a56a6@172.58.86.166) (Ping timeout: 245 seconds) |
| 21:23:24 | × | n0042 quits (d055ed89@208.85.237.137) (Ping timeout: 245 seconds) |
| 21:23:29 | → | xe4 joins (~xe4@157.245.246.119) |
| 21:23:31 | → | greymalkin joins (~greymalki@199.180.249.79) |
| 21:23:38 | × | wonko7 quits (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) (Ping timeout: 256 seconds) |
| 21:23:48 | → | nurupo joins (~nurupo.ga@unaffiliated/nurupo) |
| 21:24:06 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 21:24:12 | × | wayne quits (~wayne@unaffiliated/wayne) (Ping timeout: 256 seconds) |
| 21:24:12 | × | micro quits (~micro@unaffiliated/micro) (Ping timeout: 256 seconds) |
| 21:24:12 | × | mantovani quits (~mantovani@104.131.207.121) (Ping timeout: 256 seconds) |
| 21:24:23 | × | polux20013 quits (~polux@51.15.169.172) (Read error: Connection reset by peer) |
| 21:24:35 | → | Guest60204 joins (~michael@142.93.75.170) |
| 21:24:37 | → | wayne joins (~wayne@unaffiliated/wayne) |
| 21:24:45 | → | aoei joins (aoei@2a01:7e01::f03c:92ff:fe4f:e85a) |
| 21:24:46 | × | heath quits (~heath@unaffiliated/ybit) (Ping timeout: 256 seconds) |
| 21:24:46 | × | c0c0 quits (~coco@212-51-146-87.fiber7.init7.net) (Ping timeout: 272 seconds) |
| 21:25:05 | → | mantovani joins (~mantovani@104.131.207.121) |
| 21:25:20 | × | arianvp quits (~weechat@arianvp.me) (Ping timeout: 256 seconds) |
| 21:25:20 | × | drewolson quits (~drewolson@64.227.24.16) (Ping timeout: 256 seconds) |
| 21:25:20 | drewolson9 | is now known as drewolson |
| 21:25:31 | → | joeytwiddle joins (~joeytwidd@162.243.115.31) |
| 21:25:32 | → | ambidextrose joins (~fut-learn@mobile-166-170-45-26.mycingular.net) |
| 21:25:39 | → | micro joins (~micro@unaffiliated/micro) |
| 21:25:46 | → | alexelcu_ joins (~alexelcu@142.93.180.198) |
| 21:26:32 | → | heath joins (~heath@unaffiliated/ybit) |
| 21:26:38 | <ambidextrose> | what's the command to cabal install dependencies from within a repository. so for example, it looks at the cabal file in a project and locally downloads all dependencies listed |
| 21:27:01 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Ping timeout: 256 seconds) |
| 21:27:01 | × | alexelcu quits (~alexelcu@142.93.180.198) (Ping timeout: 256 seconds) |
| 21:27:02 | × | nisstyre quits (~wes@python-zero/conduct-committee/nisstyre) (Ping timeout: 256 seconds) |
| 21:27:02 | × | gargawel quits (~gael@212.83.144.58) (Ping timeout: 256 seconds) |
| 21:27:15 | → | arianvp joins (~weechat@arianvp.me) |
| 21:27:56 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 21:27:59 | → | Firedancer_ joins (~Firedance@178.62.203.79) |
| 21:28:00 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 21:28:43 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 21:28:44 | → | gargawel joins (~gael@212.83.144.58) |
| 21:29:09 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 21:29:18 | × | jvanbure quits (~jvanbure@159.65.233.183) (Ping timeout: 256 seconds) |
| 21:29:51 | × | shapr quits (~shapr@haskell/developer/shapr) (Ping timeout: 256 seconds) |
| 21:31:33 | × | esotericalgo quits (~matt@fsf/member/esotericalgo) (Ping timeout: 256 seconds) |
| 21:31:42 | → | esotericalgo joins (~matt@uncertain.win) |
| 21:33:36 | → | jvanbure joins (~jvanbure@159.65.233.183) |
| 21:34:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:34:23 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 21:36:03 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:36:05 | × | julm quits (~julm@revolt129.abo.ilico.org) (Ping timeout: 256 seconds) |
| 21:36:06 | × | dddddd quits (~dddddd@unaffiliated/dddddd) (Ping timeout: 256 seconds) |
| 21:36:15 | → | shapr joins (~shapr@162.243.9.169) |
| 21:36:33 | shapr | is now known as Guest98709 |
| 21:36:42 | → | falafel joins (~falafel@pool-71-182-132-27.pitbpa.fios.verizon.net) |
| 21:36:44 | → | cmurr joins (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) |
| 21:37:14 | × | haveo quits (~haveo@sl35.iuwt.fr) (Ping timeout: 256 seconds) |
| 21:37:22 | → | julm joins (~julm@revolt129.abo.ilico.org) |
| 21:37:22 | → | haveo joins (~haveo@sl35.iuwt.fr) |
| 21:37:58 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 21:38:56 | → | catern joins (~catern@104.131.201.120) |
| 21:38:56 | → | conal joins (~conal@64.71.133.70) |
| 21:39:49 | → | dddddd joins (~dddddd@unaffiliated/dddddd) |
| 21:40:13 | → | nisstyre joins (~wes@python-zero/conduct-committee/nisstyre) |
| 21:41:07 | → | codefaster joins (~codefaste@67.205.133.140) |
| 21:41:14 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 21:41:20 | × | ambidextrose quits (~fut-learn@mobile-166-170-45-26.mycingular.net) (Quit: leaving) |
| 21:42:13 | × | actuallybatman quits (~sam@S010664777dafd303.cg.shawcable.net) (Ping timeout: 264 seconds) |
| 21:42:43 | × | kelsey quits (~keteskyl@2600:6c64:7b7f:fa42:f5fe:4219:cdb7:f326) (Quit: WeeChat 2.8) |
| 21:43:07 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 21:43:49 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 21:44:16 | × | alx741 quits (~alx741@181.196.68.166) (Ping timeout: 240 seconds) |
| 21:45:06 | → | androzanimedium joins (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) |
| 21:45:55 | × | chaosmasttter quits (~chaosmast@p200300c4a7138801312e09a0a6218d8a.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:46:20 | <androzanimedium> | Hello, I have a usage question about the ixset/ixset-typed package, is this the right channel or should I go to #happs? |
| 21:48:43 | <maerwald> | can |
| 21:51:03 | → | wonko7 joins (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) |
| 21:51:27 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 21:51:30 | → | c0c0 joins (~coco@212-51-146-87.fiber7.init7.net) |
| 21:52:00 | hackage | box-socket 0.1.2 - Box websockets https://hackage.haskell.org/package/box-socket-0.1.2 (tonyday567) |
| 21:52:05 | Guest98709 | is now known as shapr |
| 21:52:13 | × | shapr quits (~shapr@162.243.9.169) (Changing host) |
| 21:52:13 | → | shapr joins (~shapr@haskell/developer/shapr) |
| 21:53:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 21:53:28 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:54:00 | → | actuallybatman joins (~sam@S010664777dafd303.cg.shawcable.net) |
| 21:55:31 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) |
| 21:57:24 | × | michalz quits (~user@185.246.204.56) (Remote host closed the connection) |
| 21:59:22 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 21:59:23 | → | alx741 joins (~alx741@181.196.69.215) |
| 22:02:03 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Remote host closed the connection) |
| 22:02:15 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 22:02:25 | → | Rudd0 joins (~Rudd0@185.189.115.98) |
| 22:03:23 | × | terrorjack quits (~terrorjac@static.23.111.201.195.clients.your-server.de) (Read error: Connection reset by peer) |
| 22:03:24 | × | MindlessDrone quits (~MindlessD@unaffiliated/mindlessdrone) (Ping timeout: 265 seconds) |
| 22:03:24 | → | terrorjack joins (~terrorjac@static.23.111.201.195.clients.your-server.de) |
| 22:04:30 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 22:04:52 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 22:05:42 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:05:44 | → | MindlessDrone joins (~MindlessD@unaffiliated/mindlessdrone) |
| 22:06:26 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 22:06:37 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Client Quit) |
| 22:07:08 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 22:07:14 | × | Sonolin quits (~Sonolin@184.103.179.49) (Quit: WeeChat 2.4) |
| 22:07:29 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:07:36 | → | hidedagger joins (~nate@unaffiliated/hidedagger) |
| 22:08:57 | → | fendor joins (~fendor@77.119.131.179.wireless.dyn.drei.com) |
| 22:09:17 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:11:11 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 22:11:32 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 22:12:28 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 22:13:16 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 22:13:31 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Read error: Connection reset by peer) |
| 22:13:43 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 22:14:47 | × | alp quits (~alp@2a01:e0a:58b:4920:2168:29c2:e64d:be99) (Remote host closed the connection) |
| 22:15:10 | → | alp joins (~alp@2a01:e0a:58b:4920:111d:eb41:658a:67b) |
| 22:15:36 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 256 seconds) |
| 22:17:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:19:44 | → | conal joins (~conal@64.71.133.70) |
| 22:19:54 | → | rprije joins (~rprije@14-202-129-120.static.tpgi.com.au) |
| 22:20:35 | × | cmurr quits (~calum@cpc73662-dals20-2-0-cust446.20-2.cable.virginm.net) (Quit: cmurr) |
| 22:20:51 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 22:22:05 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 22:22:15 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 22:22:16 | × | hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9) |
| 22:22:50 | → | conal joins (~conal@64.71.133.70) |
| 22:26:43 | × | Amras quits (~Amras@unaffiliated/amras) (Ping timeout: 272 seconds) |
| 22:28:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:30:21 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:690e:782b:9ef7:1aba) |
| 22:30:50 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 22:30:58 | × | mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 3.0) |
| 22:31:09 | → | Alleria__ joins (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) |
| 22:31:14 | × | _Alleria quits (~AllahuAkb@2604:2000:1484:26:28a2:d4e:6ca5:3a53) (Ping timeout: 264 seconds) |
| 22:31:43 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 22:32:01 | → | kori joins (~kori@2804:14c:85a3:9105::1000) |
| 22:32:04 | × | kori quits (~kori@2804:14c:85a3:9105::1000) (Changing host) |
| 22:32:04 | → | kori joins (~kori@arrowheads/kori) |
| 22:32:45 | × | falafel quits (~falafel@pool-71-182-132-27.pitbpa.fios.verizon.net) (Ping timeout: 256 seconds) |
| 22:33:30 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 22:34:50 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:690e:782b:9ef7:1aba) (Ping timeout: 264 seconds) |
| 22:36:07 | × | wonko7 quits (~wonko7@lns-bzn-55-82-255-183-4.adsl.proxad.net) (Ping timeout: 246 seconds) |
| 22:36:56 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 22:39:06 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 260 seconds) |
| 22:40:22 | → | pfurla joins (~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) |
| 22:41:16 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 22:45:44 | × | benjamin-l quits (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) (Ping timeout: 240 seconds) |
| 22:45:45 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 22:46:58 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:47:02 | × | Alleria__ quits (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) (Ping timeout: 260 seconds) |
| 22:47:22 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:50:37 | × | androzanimedium quits (~private@lfbn-idf2-1-1239-124.w90-92.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 22:51:52 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 22:52:06 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:53:33 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:58:43 | × | stackdimes quits (~stackdime@45.91.21.40) (Quit: WeeChat 2.9) |
| 22:58:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:01:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:01:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:01:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:03:34 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 23:04:11 | × | Matt_P quits (~Matt_P@178.162.212.214) (Remote host closed the connection) |
| 23:05:01 | hackage | nuha 0.3.0.0 - Multidimensional arrays, Linear algebra, Numerical analysis https://hackage.haskell.org/package/nuha-0.3.0.0 (jodak) |
| 23:05:29 | × | sakirious quits (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 23:05:34 | → | sakirious9 joins (~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) |
| 23:05:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 23:08:24 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 23:08:31 | → | valkyrie99 joins (~whatever@cream5.com) |
| 23:09:09 | ← | valkyrie99 parts (~whatever@cream5.com) () |
| 23:09:22 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds) |
| 23:09:48 | → | sigstuff joins (eclipsed@gateway/shell/gnu/x-jfqyakfbvgumyqie) |
| 23:10:16 | ← | sigstuff parts (eclipsed@gateway/shell/gnu/x-jfqyakfbvgumyqie) () |
| 23:12:57 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 23:16:05 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 23:16:29 | × | vfaronov quits (~vfaronov@broadband-95-84-210-78.ip.moscow.rt.ru) (Quit: vfaronov) |
| 23:16:29 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 23:17:30 | hackage | hocon 0.1.0.2 - Small library for typesafe's configuration specification https://hackage.haskell.org/package/hocon-0.1.0.2 (aleperaltabazas) |
| 23:17:42 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 23:20:16 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 23:21:56 | × | pfurla quits (~pfurla@207.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 272 seconds) |
| 23:22:00 | hackage | web-rep 0.7.2 - representations of a web page https://hackage.haskell.org/package/web-rep-0.7.2 (tonyday567) |
| 23:22:05 | → | adm joins (~adm@103.70.198.44) |
| 23:22:27 | → | gdude2002 joins (~gdude2002@139.28.218.148) |
| 23:23:26 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 23:23:36 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 23:24:21 | × | alp quits (~alp@2a01:e0a:58b:4920:111d:eb41:658a:67b) (Ping timeout: 272 seconds) |
| 23:24:49 | × | jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 264 seconds) |
| 23:26:06 | → | benjamin-l joins (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) |
| 23:26:28 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Quit: cosimone) |
| 23:29:21 | → | alp joins (~alp@2a01:e0a:58b:4920:21b0:4426:4e8d:9570) |
| 23:29:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:30:11 | → | conal joins (~conal@64.71.133.70) |
| 23:31:06 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 23:32:12 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 23:32:28 | × | adm quits (~adm@103.70.198.44) (Ping timeout: 246 seconds) |
| 23:32:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 23:34:50 | → | carlomagno joins (~cararell@148.87.23.8) |
| 23:35:14 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit) |
| 23:36:23 | × | alp quits (~alp@2a01:e0a:58b:4920:21b0:4426:4e8d:9570) (Ping timeout: 272 seconds) |
| 23:37:09 | × | stree quits (~stree@50-108-97-52.adr01.mskg.mi.frontiernet.net) (Quit: Caught exception) |
| 23:37:27 | → | stree joins (~stree@50-108-97-52.adr01.mskg.mi.frontiernet.net) |
| 23:39:39 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:40:30 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 23:47:21 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 23:49:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 23:50:26 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 23:51:17 | → | Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it) |
| 23:51:42 | × | Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Remote host closed the connection) |
| 23:52:12 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 23:53:05 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 23:53:08 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:9f5:6e26:cce:fc0e) |
| 23:56:22 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:56:39 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 23:56:46 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:58:25 | → | lawr3nce joins (~lawr3nce@gateway/tor-sasl/lawr3nce) |
All times are in UTC on 2020-11-27.