Logs: freenode/#haskell
| 2020-11-23 22:59:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-23 23:02:28 | × | hiroaki quits (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2020-11-23 23:03:27 | × | darjeeling_ quits (~darjeelin@122.245.219.209) (Ping timeout: 265 seconds) |
| 2020-11-23 23:04:28 | × | Lycurgus quits (~niemand@98.4.114.74) (Quit: Exeunt) |
| 2020-11-23 23:04:44 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-11-23 23:05:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-23 23:06:23 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2020-11-23 23:08:00 | hackage | zeolite-lang 0.9.0.0 - Zeolite is a statically-typed, general-purpose programming language. https://hackage.haskell.org/package/zeolite-lang-0.9.0.0 (ta0kira) |
| 2020-11-23 23:08:08 | × | Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 256 seconds) |
| 2020-11-23 23:10:05 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2020-11-23 23:10:17 | × | jneira quits (02896ac0@gateway/web/cgi-irc/kiwiirc.com/ip.2.137.106.192) (Ping timeout: 260 seconds) |
| 2020-11-23 23:10:18 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2020-11-23 23:11:10 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-23 23:12:10 | → | frdg joins (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 2020-11-23 23:12:13 | ← | frdg parts (~nick@pool-71-184-143-249.bstnma.fios.verizon.net) () |
| 2020-11-23 23:15:18 | × | _linker_ quits (~linker@2a02:a31a:a041:9a80:1550:ab25:bf6f:9a3a) (Remote host closed the connection) |
| 2020-11-23 23:15:37 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2020-11-23 23:17:16 | × | mirrorbird quits (~psutcliff@89.45.7.132) (Quit: Leaving) |
| 2020-11-23 23:17:17 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-23 23:17:48 | → | darjeeling_ joins (~darjeelin@122.245.219.209) |
| 2020-11-23 23:19:23 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-23 23:19:31 | hackage | bitvec 1.1.0.0 - Space-efficient bit vectors https://hackage.haskell.org/package/bitvec-1.1.0.0 (Bodigrim) |
| 2020-11-23 23:19:38 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2020-11-23 23:21:39 | → | e2 joins (e2@sponsored.by.bnc4you.xyz) |
| 2020-11-23 23:22:50 | × | terrorjack quits (~terrorjac@static.23.111.201.195.clients.your-server.de) (Ping timeout: 264 seconds) |
| 2020-11-23 23:29:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2020-11-23 23:29:36 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2020-11-23 23:31:41 | → | rednaZ2 joins (rednaZ2@freebnc.bnc4you.xyz) |
| 2020-11-23 23:33:13 | × | justan0theruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 2020-11-23 23:33:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-23 23:33:27 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-23 23:33:49 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2020-11-23 23:34:08 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-23 23:36:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2020-11-23 23:36:38 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2020-11-23 23:37:26 | <sondr3> | I'm having some trouble with a parser I'm writing, I want it to parse a multiline string until it either reaches EOF or a specific text. I have been able to get one or the other but not a parser that does both |
| 2020-11-23 23:38:10 | <sondr3> | I got some help earlier and have `T.pack <$> someTill anySingle (lookAhead (string b) <|> string ("\n" <> b))`, but this fails if the string ends with EOF |
| 2020-11-23 23:38:24 | <sondr3> | And I've been looking at my code for too long now :P |
| 2020-11-23 23:38:27 | <sondr3> | ;;;;; |
| 2020-11-23 23:38:54 | <sondr3> | bah, sorry, getting used to Colemak and Moonlander at the same time |
| 2020-11-23 23:39:08 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-23 23:40:16 | <monochrom> | I would not use most parser combinator libraries for "anything at all except until this specific string" (unless that specific string is one single character) |
| 2020-11-23 23:40:48 | → | Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2020-11-23 23:40:55 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2020-11-23 23:42:13 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-11-23 23:43:09 | <monochrom> | A minority of parser combinator libraries feature non-determinism for ambiguous grammars, at the expense of speed. Those would be a good fit. |
| 2020-11-23 23:43:43 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 2020-11-23 23:46:50 | × | wonko7 quits (~wonko7@2a01:e35:2ffb:7040:55f1:c3a3:cdbe:bf52) (Ping timeout: 264 seconds) |
| 2020-11-23 23:47:44 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2020-11-23 23:48:01 | <sondr3> | monochrom: do you happen to know hw |
| 2020-11-23 23:48:03 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2020-11-23 23:48:10 | × | cosimone quits (~cosimone@5.170.241.60) (Quit: cosimone) |
| 2020-11-23 23:48:21 | <sondr3> | *how I'd get the rest of the input from megaparsec? |
| 2020-11-23 23:48:59 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-23 23:49:50 | <sondr3> | looks like I might be able to use getInput and friends |
| 2020-11-23 23:50:00 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 2020-11-23 23:50:31 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2020-11-23 23:50:40 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 2020-11-23 23:50:53 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 2020-11-23 23:53:44 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2020-11-23 23:54:18 | × | rednaZ2 quits (rednaZ2@freebnc.bnc4you.xyz) (Quit: ZNC from ##bnc4you) |
| 2020-11-23 23:56:27 | × | redmp quits (~redmp@mobile-166-137-178-102.mycingular.net) (Quit: leaving) |
| 2020-11-23 23:57:19 | <sm[m]> | hey friends.. what's the function f [a] that is equivalent to a <|> a <|> a <|> ... ? |
| 2020-11-23 23:58:20 | <hpc> | foldr1 (<|>)? |
| 2020-11-23 23:58:21 | <hpc> | ;) |
| 2020-11-23 23:58:44 | × | resolve quits (~resolve@178.162.212.214) (Remote host closed the connection) |
| 2020-11-23 23:59:34 | → | terrorjack joins (~terrorjac@static.23.111.201.195.clients.your-server.de) |
| 2020-11-23 23:59:38 | → | cosimone joins (~cosimone@5.170.241.60) |
| 2020-11-24 00:00:34 | → | conal joins (~conal@64.71.133.70) |
| 2020-11-24 00:01:00 | → | zargoertzel joins (~zar@fw1.ciirc.cvut.cz) |
| 2020-11-24 00:01:28 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2020-11-24 00:02:36 | <sm[m]> | hpc: seems to work, thanks! :) |
| 2020-11-24 00:03:27 | × | TMA quits (tma@twin.jikos.cz) (Ping timeout: 260 seconds) |
| 2020-11-24 00:03:35 | <dibblego> | asum1 ? |
| 2020-11-24 00:03:38 | × | dqd quits (id@wikipedia/dqd) (Ping timeout: 260 seconds) |
| 2020-11-24 00:03:43 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 2020-11-24 00:03:49 | → | dqd joins (id@wikipedia/dqd) |
| 2020-11-24 00:03:52 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 265 seconds) |
| 2020-11-24 00:03:55 | <hpc> | you probably want to figure out what to do if the list is empty |
| 2020-11-24 00:03:57 | <dibblego> | https://hackage.haskell.org/package/semigroupoids-5.3.4/docs/Data-Semigroup-Foldable.html#v:asum1 |
| 2020-11-24 00:04:00 | → | Jajik5 joins (xchlup2@gateway/shell/fi.muni.cz/x-vdbyvqtkyzprkqtm) |
| 2020-11-24 00:04:01 | → | xsarnik07 joins (xsarnik@gateway/shell/fi.muni.cz/x-oexkuqwsplkbdfos) |
| 2020-11-24 00:04:13 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-jfxvsfpdsqpqvolb) (Ping timeout: 260 seconds) |
| 2020-11-24 00:04:13 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-hqlptmwsqmanredt) (Ping timeout: 260 seconds) |
| 2020-11-24 00:04:13 | × | ziman quits (~ziman@c25-5.condornet.sk) (Ping timeout: 260 seconds) |
| 2020-11-24 00:04:14 | Jajik5 | is now known as Jajik |
| 2020-11-24 00:04:14 | xsarnik07 | is now known as xsarnik0 |
| 2020-11-24 00:04:18 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-oexkuqwsplkbdfos) (Remote host closed the connection) |
| 2020-11-24 00:04:18 | × | Jajik quits (xchlup2@gateway/shell/fi.muni.cz/x-vdbyvqtkyzprkqtm) (Remote host closed the connection) |
| 2020-11-24 00:04:57 | → | TMA joins (tma@twin.jikos.cz) |
| 2020-11-24 00:05:21 | × | Sarma quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-11-24 00:05:24 | → | ziman joins (~ziman@c25-5.condornet.sk) |
| 2020-11-24 00:05:33 | <hpc> | oh wait, empty is in Alternative... |
| 2020-11-24 00:05:45 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-24 00:05:54 | hpc | has used up all his smart for the day |
| 2020-11-24 00:06:43 | → | christo joins (~chris@81.96.113.213) |
| 2020-11-24 00:07:18 | → | frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 2020-11-24 00:08:00 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-11-24 00:09:01 | justan0theruser | is now known as justanotheruser |
| 2020-11-24 00:10:28 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
All times are in UTC.