Logs: freenode/#haskell
| 2021-03-29 12:49:03 | <ph88^> | ah something is showing up actually |
| 2021-03-29 12:49:46 | × | todda7 quits (~torstein@athedsl-266674.home.otenet.gr) (Remote host closed the connection) |
| 2021-03-29 12:50:58 | × | motersen quits (~user@2a0a-a540-7dde-0-2d1c-e683-f179-e2a.ipv6dyn.netcologne.de) (Client Quit) |
| 2021-03-29 12:52:27 | → | fcortesi joins (~fcortesi@78-66-245-190.fibertel.com.ar) |
| 2021-03-29 12:54:33 | × | fcortesi quits (~fcortesi@78-66-245-190.fibertel.com.ar) (Remote host closed the connection) |
| 2021-03-29 12:54:44 | → | motersen joins (~motersen@217.160.212.240) |
| 2021-03-29 12:55:32 | × | motersen quits (~motersen@217.160.212.240) (Client Quit) |
| 2021-03-29 12:55:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: leaving) |
| 2021-03-29 12:59:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-29 13:01:57 | × | benkolera quits (uid285671@gateway/web/irccloud.com/x-eheuohrapvmfijla) (Quit: Connection closed for inactivity) |
| 2021-03-29 13:02:26 | → | motersen joins (~user@2a0a-a540-7dde-0-2d1c-e683-f179-e2a.ipv6dyn.netcologne.de) |
| 2021-03-29 13:02:38 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-29 13:04:39 | → | coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-29 13:05:15 | × | motersen quits (~user@2a0a-a540-7dde-0-2d1c-e683-f179-e2a.ipv6dyn.netcologne.de) (Client Quit) |
| 2021-03-29 13:07:13 | → | carlomagno joins (~cararell@148.87.23.12) |
| 2021-03-29 13:08:17 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-29 13:11:21 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-fhumobypoetbfjsj) |
| 2021-03-29 13:11:39 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-29 13:11:51 | → | motersen joins (~motersen@217.160.212.240) |
| 2021-03-29 13:12:55 | → | ddellacosta joins (~ddellacos@86.106.143.40) |
| 2021-03-29 13:13:17 | × | Iceland_jack quits (~user@95.149.219.0) (Read error: Connection reset by peer) |
| 2021-03-29 13:13:32 | → | Iceland_jack joins (~user@95.149.219.0) |
| 2021-03-29 13:14:51 | × | motersen quits (~motersen@217.160.212.240) (Client Quit) |
| 2021-03-29 13:15:40 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-29 13:15:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-29 13:17:53 | × | ddellacosta quits (~ddellacos@86.106.143.40) (Ping timeout: 265 seconds) |
| 2021-03-29 13:19:35 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-29 13:24:58 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-29 13:25:08 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-29 13:25:27 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-29 13:25:58 | × | idhugo__ quits (~idhugo@87-49-45-185-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-03-29 13:27:44 | → | jonathanx_ joins (~jonathan@94.234.49.69) |
| 2021-03-29 13:28:12 | → | idhugo__ joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-29 13:28:46 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 13:30:15 | <johnnyboy[m]> | hi |
| 2021-03-29 13:30:40 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 268 seconds) |
| 2021-03-29 13:31:00 | <johnnyboy[m]> | how can I match a string having a tab between two tokens using regex-tdfa? |
| 2021-03-29 13:31:14 | × | astronavt quits (~astronavt@unaffiliated/astronavt) (Remote host closed the connection) |
| 2021-03-29 13:31:19 | <johnnyboy[m]> | I've tried these three without success: \t, \s+, [[:space:]]+ |
| 2021-03-29 13:31:23 | <johnnyboy[m]> | none of them match |
| 2021-03-29 13:31:36 | <johnnyboy[m]> | \s+ and [[:space:]]+ work with grep -E |
| 2021-03-29 13:32:29 | <johnnyboy[m]> | e.g. `[0-9]+.[0-9]{3}[[:space:]]+actual` works with grep, but seems not to work with TDFA |
| 2021-03-29 13:33:05 | → | astronavt joins (~astronavt@unaffiliated/astronavt) |
| 2021-03-29 13:33:21 | <[exa]> | you may need something like \\t for it to actually get through. but regex-tdfa support for escape sequences is limited, I've been adding mine one time I was playing with it |
| 2021-03-29 13:33:42 | → | alx741 joins (~alx741@181.196.68.106) |
| 2021-03-29 13:33:54 | × | astronavt quits (~astronavt@unaffiliated/astronavt) (Remote host closed the connection) |
| 2021-03-29 13:35:32 | → | astronavt joins (~astronavt@unaffiliated/astronavt) |
| 2021-03-29 13:36:52 | <merijn> | tbh, I would recommend reconsidering the use of regexes |
| 2021-03-29 13:37:44 | × | SaitamaPlus quits (uid272474@gateway/web/irccloud.com/x-gljisqtsvqcmgfbx) (Quit: Connection closed for inactivity) |
| 2021-03-29 13:37:50 | × | astronavt quits (~astronavt@unaffiliated/astronavt) (Remote host closed the connection) |
| 2021-03-29 13:38:18 | <maerwald> | regexes are great |
| 2021-03-29 13:38:51 | <merijn> | maerwald: Regexes are great for accepting user input and using that too match stuff (like grep, search in vim, etc.) |
| 2021-03-29 13:38:53 | <geekosaur> | …at being unreadable |
| 2021-03-29 13:39:01 | <merijn> | Regexes are terrible if you embed them in source code |
| 2021-03-29 13:39:03 | <maerwald> | merijn: merijn also, your opinions is appreciated: https://files.hasufell.de/jule/abstract-filepath/AbstractFilePath.html |
| 2021-03-29 13:39:40 | <merijn> | My personal rule of thumb is to only use regexes when the pattern is runtime user input |
| 2021-03-29 13:39:51 | → | astronavt joins (~astronavt@unaffiliated/astronavt) |
| 2021-03-29 13:40:11 | × | malumore quits (~malumore@151.62.126.223) (Remote host closed the connection) |
| 2021-03-29 13:40:34 | <merijn> | maerwald: I'll have a longer look later, but at first glance I appreciate your quixotic quest ;) |
| 2021-03-29 13:40:37 | <johnnyboy[m]> | I also tried \t without success |
| 2021-03-29 13:40:44 | <johnnyboy[m]> | and [:space:] |
| 2021-03-29 13:40:53 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-03-29 13:41:10 | <merijn> | johnnyboy[m]: Any specific reason not to use some parser combinator library instead? |
| 2021-03-29 13:41:17 | <johnnyboy[m]> | I'm kind of considering removing tabs as a preprocessing step |
| 2021-03-29 13:41:38 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-03-29 13:41:54 | <johnnyboy[m]> | <merijn "johnnyboy: Any specific reason n"> not really, I just thought that regexes would be handy for my use case |
| 2021-03-29 13:41:58 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 2021-03-29 13:42:04 | <johnnyboy[m]> | so far, they've been working |
| 2021-03-29 13:42:29 | <johnnyboy[m]> | it really seems to be the tab character that is problematic |
| 2021-03-29 13:42:31 | <merijn> | maerwald: Maybe at version with an explicit encoding/decoding argument for linux too? |
| 2021-03-29 13:42:40 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:cca4:232:630d:d55c) |
| 2021-03-29 13:42:47 | <maerwald> | yeah, though about that too |
| 2021-03-29 13:42:56 | <maerwald> | not sure that's common enough though? |
| 2021-03-29 13:43:16 | <maerwald> | the idea is that more control is easily achievable by using the "private" constructors |
| 2021-03-29 13:43:27 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-29 13:43:29 | <maerwald> | semi-private, so to speak |
| 2021-03-29 13:44:28 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-29 13:44:30 | <merijn> | johnnyboy[m]: The upside is that (speaking from personal experience) maintaining/changing the parser combinator 1.5 year in the future will be much nicer than the regex ;) |
| 2021-03-29 13:44:48 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-29 13:44:55 | × | drbean_ quits (~drbean@TC210-63-209-23.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-29 13:45:41 | → | motersen joins (~motersen@217.160.212.240) |
| 2021-03-29 13:46:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) |
| 2021-03-29 13:46:30 | <johnnyboy[m]> | I'm using regexes to match output from a piece of software that has used the same output probably from the 80'ies or 90'ies |
| 2021-03-29 13:47:04 | <johnnyboy[m]> | in fact, that's the reason why I'm writing my own tool in the first place |
| 2021-03-29 13:47:13 | × | motersen quits (~motersen@217.160.212.240) (Client Quit) |
| 2021-03-29 13:47:51 | kilolympus | is now known as yutotakano |
| 2021-03-29 13:47:53 | <johnnyboy[m]> | but I suppose parser combinators could also get the job done |
| 2021-03-29 13:48:14 | <johnnyboy[m]> | I just don't need the power of context free grammars now |
| 2021-03-29 13:48:16 | → | motersen joins (~motersen@217.160.212.240) |
| 2021-03-29 13:48:21 | yutotakano | is now known as kilolympus |
| 2021-03-29 13:48:25 | <johnnyboy[m]> | regular expressions are sufficient |
| 2021-03-29 13:48:49 | × | motersen quits (~motersen@217.160.212.240) (Client Quit) |
| 2021-03-29 13:48:55 | <merijn> | johnnyboy[m]: I've been using them for trivial stuff like "split on : and count number of groups" and they work fine for that too :) |
| 2021-03-29 13:49:04 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-29 13:49:27 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-29 13:49:36 | <merijn> | johnnyboy[m]: Stuff like: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/ingest-src/Parsers.hs is if much longer than the regex would be? Yes. Do I appreciate that 2 years after writing it? Also yes :p |
| 2021-03-29 13:49:40 | → | malumore joins (~malumore@151.62.126.223) |
| 2021-03-29 13:49:42 | <johnnyboy[m]> | I'm really just scraping output from another program, picking keywords and their associated values |
| 2021-03-29 13:49:45 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-29 13:50:15 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
All times are in UTC.