Logs: liberachat/#haskell
| 2021-08-19 19:50:05 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-19 19:50:24 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-19 19:50:27 | chris | is now known as Guest9886 |
| 2021-08-19 19:50:47 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-19 19:51:20 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-19 19:54:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-08-19 19:55:28 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-19 19:56:53 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-19 20:00:02 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-19 20:00:15 | × | waleee quits (~waleee@h-98-128-228-119.na.cust.bahnhof.se) (Quit: WeeChat 3.2) |
| 2021-08-19 20:02:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-19 20:04:04 | → | lbseale_ joins (~lbseale@user/ep1ctetus) |
| 2021-08-19 20:05:35 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 268 seconds) |
| 2021-08-19 20:06:23 | → | chomwitt joins (~chomwitt@2a02:587:dc0c:e200:12c3:7bff:fe6d:d374) |
| 2021-08-19 20:06:28 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 252 seconds) |
| 2021-08-19 20:07:18 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-19 20:07:40 | × | kuribas quits (~user@ptr-25vy0i7uk2tkov5vedj.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-19 20:12:40 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-08-19 20:15:02 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-19 20:15:12 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-19 20:16:25 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 20:16:25 | × | cuolin^ quits (~cuolin@209.65.131.194) (Remote host closed the connection) |
| 2021-08-19 20:16:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-19 20:17:09 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-19 20:22:10 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 20:22:58 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 2021-08-19 20:23:30 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 20:30:11 | → | dsrt^ joins (~dsrt@209.65.131.194) |
| 2021-08-19 20:31:21 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-19 20:31:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-19 20:34:20 | → | d0ku joins (~d0ku@178.43.198.70.ipv4.supernova.orange.pl) |
| 2021-08-19 20:36:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-19 20:37:02 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-19 20:39:14 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-19 20:39:17 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-19 20:40:36 | → | aegon joins (~mike@174.127.249.180) |
| 2021-08-19 20:41:25 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-19 20:41:43 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-08-19 20:42:00 | <jumper149> | Is there a nice way to have multiline strings with GHC? Maybe some TH library? |
| 2021-08-19 20:42:01 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-19 20:42:13 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 20:43:18 | <dminuoso> | QQs are your best bet |
| 2021-08-19 20:43:23 | <geekosaur> | https://hackage.haskell.org/package/here-1.2.13/docs/Data-String-Here-Uninterpolated.html |
| 2021-08-19 20:44:09 | <dminuoso> | I use raw-strings-qq because its so minimalistic. |
| 2021-08-19 20:44:43 | <dminuoso> | (I need basic interpolation and nothing more) |
| 2021-08-19 20:45:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-19 20:46:12 | <maerwald> | jumper149: string-interpolate |
| 2021-08-19 20:47:13 | <maerwald> | https://gitlab.com/williamyaoh/string-interpolate/-/tree/master#features |
| 2021-08-19 20:47:36 | <maerwald> | clearly, someone obsessed over it |
| 2021-08-19 20:48:15 | <maerwald> | quasiquotes are also a great way to kill tooling |
| 2021-08-19 20:48:24 | <maerwald> | (hls, hasktags, stylish-haskell, ...) |
| 2021-08-19 20:48:34 | <jumper149> | maerwald: Yeah, I also fear that ^^ |
| 2021-08-19 20:48:54 | × | Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 258 seconds) |
| 2021-08-19 20:49:19 | <jumper149> | I think I like raw-strings-qq best, but I'm still not too sure :( |
| 2021-08-19 20:49:48 | <jumper149> | I want nix-style strings! :p |
| 2021-08-19 20:51:13 | × | aman quits (aman@user/aman) (Ping timeout: 248 seconds) |
| 2021-08-19 20:51:26 | <tomsmeding> | jumper149: also "hi this\ \is a\ \multiline string" |
| 2021-08-19 20:51:37 | <tomsmeding> | read newlines in place of the spaces |
| 2021-08-19 20:51:49 | <tomsmeding> | that's plain Haskell2010 syntax and doesn't need anything fancy at all |
| 2021-08-19 20:52:03 | <tomsmeding> | decide first that you don't want that before going to fancy templatehaskell alternatives :p |
| 2021-08-19 20:53:07 | → | aman joins (~aman@user/aman) |
| 2021-08-19 20:53:59 | <tomsmeding> | also consider: unlines ["this is", "a multiline", "string"], which inserts the newlines automatically |
| 2021-08-19 20:54:00 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-19 20:54:09 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-08-19 20:54:11 | <tomsmeding> | but has the downside (?) of also inserting a newline at the end |
| 2021-08-19 20:54:19 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-19 20:54:57 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2021-08-19 20:55:24 | <jumper149> | Actually the backslash option is quite nice. Very readable because of the adjustable indentation, it just needs a manual \n for actual line breaks. |
| 2021-08-19 20:55:38 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 20:56:00 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-19 20:56:28 | <jumper149> | tomsmeding: And it also works easily with OverloadedStrings. |
| 2021-08-19 20:57:07 | <__monty__> | Doesn't have great editor support though. |
| 2021-08-19 20:59:02 | <jumper149> | __monty__: Compared to all the other options it seems to be the easiest on editors. Ctrl-v comes in handy with vim. |
| 2021-08-19 20:59:09 | → | dschrempf joins (~dominik@92-249-159-252.pool.digikabel.hu) |
| 2021-08-19 20:59:15 | <siers> | tomsmeding, omg, you actually managed to write an example? 😅 I'll try reading it, but I think I have to read a bit about GADTs first. Night night. |
| 2021-08-19 21:00:19 | × | cryptogainz quits (~cryptogai@130-248-144-85.ftth.glasoperator.nl) (Quit: Leaving) |
| 2021-08-19 21:01:26 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 21:03:29 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-19 21:03:38 | → | Cajun joins (~Cajun@user/cajun) |
| 2021-08-19 21:04:45 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-19 21:07:05 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b950070172e7c3c578523.dip0.t-ipconnect.de) |
| 2021-08-19 21:11:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-19 21:12:27 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-19 21:12:42 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 21:14:58 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 2021-08-19 21:15:45 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 2021-08-19 21:15:48 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2021-08-19 21:16:14 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 250 seconds) |
| 2021-08-19 21:16:32 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-19 21:18:25 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Killed (NickServ (Forcing logout Atum_ -> Atum_))) |
| 2021-08-19 21:21:48 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-19 21:22:33 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 2021-08-19 21:24:17 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-19 21:24:31 | → | Neuromancer joins (~Neuromanc@user/neuromancer) |
| 2021-08-19 21:27:58 | <aegon> | i'm missing somethign about optparse-applicative. it seems to fail to parse a string |
| 2021-08-19 21:28:04 | <aegon> | https://paste.tomsmeding.com/aEDPP0mV |
| 2021-08-19 21:29:17 | → | otto_s joins (~user@p5de2f223.dip0.t-ipconnect.de) |
| 2021-08-19 21:29:31 | × | dsrt^ quits (~dsrt@209.65.131.194) (Ping timeout: 252 seconds) |
| 2021-08-19 21:30:28 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-08-19 21:30:40 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 240 seconds) |
All times are in UTC.