Logs: liberachat/#haskell
| 2021-07-30 16:52:32 | → | azeem joins (~azeem@176.201.36.49) |
| 2021-07-30 16:53:33 | <dminuoso> | Generic-based parsers sounds like a terrible idea. |
| 2021-07-30 16:53:38 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 258 seconds) |
| 2021-07-30 16:53:50 | → | econo joins (uid147250@user/econo) |
| 2021-07-30 16:53:50 | <dminuoso> | Especially if you care about performance. |
| 2021-07-30 16:54:14 | <dminuoso> | timCF: You can use reify |
| 2021-07-30 16:54:24 | <dminuoso> | https://hackage.haskell.org/package/template-haskell-2.17.0.0/docs/Language-Haskell-TH.html#v:reify |
| 2021-07-30 16:54:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-30 16:54:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 16:55:35 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 16:56:52 | <dminuoso> | timCF: Ah in particular, reifyDatatype |
| 2021-07-30 16:57:02 | <dminuoso> | https://hackage.haskell.org/package/th-abstraction-0.4.2.0/docs/Language-Haskell-TH-Datatype.html#t:DatatypeInfo |
| 2021-07-30 16:57:18 | <dminuoso> | This could be more helpful than collecting the information yourself |
| 2021-07-30 16:59:05 | × | azeem quits (~azeem@176.201.36.49) (Read error: Connection reset by peer) |
| 2021-07-30 16:59:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-30 16:59:35 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-07-30 17:02:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 17:03:05 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 17:04:16 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 17:07:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-07-30 17:10:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 17:11:08 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 17:11:42 | → | gustik joins (~gustik@2a01:c844:241f:c020:312a:c22f:e497:698f) |
| 2021-07-30 17:17:44 | → | JohnnyBoy joins (~JohnnyBoy@91-158-200-68.elisa-laajakaista.fi) |
| 2021-07-30 17:18:46 | ← | JohnnyBoy parts (~JohnnyBoy@91-158-200-68.elisa-laajakaista.fi) () |
| 2021-07-30 17:20:16 | × | hydroxide quits (~hydroxide@ool-18bab6fd.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-07-30 17:22:03 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-30 17:26:04 | × | jespada quits (~jespada@90.254.247.46) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-07-30 17:27:05 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) (Remote host closed the connection) |
| 2021-07-30 17:27:38 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) |
| 2021-07-30 17:28:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 17:28:29 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 17:28:48 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) (Remote host closed the connection) |
| 2021-07-30 17:29:01 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) |
| 2021-07-30 17:29:17 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-30 17:30:28 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-30 17:30:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-30 17:30:50 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-30 17:38:12 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 250 seconds) |
| 2021-07-30 17:39:38 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 17:40:58 | × | pbrisbin quits (~patrick@47-208-172-238.trckcmtc01.res.dyn.suddenlink.net) (Ping timeout: 240 seconds) |
| 2021-07-30 17:44:18 | <sm> | Kammao: there have been a couple of haskell on heroku how-tos, searching should find them |
| 2021-07-30 17:45:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-07-30 17:47:47 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-07-30 17:47:57 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-07-30 17:48:09 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-07-30 17:55:30 | × | deejaytee quits (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) (Ping timeout: 240 seconds) |
| 2021-07-30 17:57:21 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-07-30 18:00:20 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) |
| 2021-07-30 18:00:38 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-07-30 18:01:22 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Ping timeout: 245 seconds) |
| 2021-07-30 18:02:01 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-30 18:03:17 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) (Ping timeout: 252 seconds) |
| 2021-07-30 18:03:46 | × | mastarija quits (~mastarija@31.217.8.174) (Ping timeout: 250 seconds) |
| 2021-07-30 18:04:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-07-30 18:04:49 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-30 18:04:54 | → | Guest4 joins (~Guest4@173-28-193-122.client.mchsi.com) |
| 2021-07-30 18:05:19 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-07-30 18:06:50 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-30 18:06:51 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-30 18:06:59 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:948c:3207:efde:714f) () |
| 2021-07-30 18:07:24 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-07-30 18:08:38 | → | pgib joins (~textual@173.38.117.68) |
| 2021-07-30 18:10:25 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-30 18:12:38 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-07-30 18:16:22 | → | thmprover joins (~user@047-042-215-236.res.spectrum.com) |
| 2021-07-30 18:19:35 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 18:21:11 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-07-30 18:21:13 | → | liam30 joins (~liam@c-73-170-133-54.hsd1.ca.comcast.net) |
| 2021-07-30 18:21:42 | × | liam30 quits (~liam@c-73-170-133-54.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-30 18:21:57 | → | l-monninger joins (~l-monning@c-73-170-133-54.hsd1.ca.comcast.net) |
| 2021-07-30 18:24:19 | × | wwalker quits (~wwalker@platinum.solid-constructs.com) (Quit: leaving) |
| 2021-07-30 18:24:33 | × | l-monninger quits (~l-monning@c-73-170-133-54.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-30 18:25:12 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-07-30 18:25:12 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-30 18:25:14 | → | burnside_ joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 18:26:10 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 18:27:11 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 18:28:18 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:7f3a:926a:5be5:7f19) |
| 2021-07-30 18:32:12 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 276 seconds) |
| 2021-07-30 18:34:25 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-30 18:36:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-30 18:38:26 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 2021-07-30 18:40:12 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-07-30 18:41:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-07-30 18:43:01 | × | mattil quits (~mattilinn@87-92-0-72.bb.dnainternet.fi) (Quit: Leaving) |
| 2021-07-30 18:43:36 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 268 seconds) |
| 2021-07-30 18:46:01 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-07-30 18:51:08 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-30 18:51:20 | → | aegon joins (~mike@174.127.249.180) |
| 2021-07-30 18:51:55 | <aegon> | i have so many modules loaded in stackghci that the prompt is a good 1/3 of my terminal space. Is there a way to tell ghci to be more terse about modules active in the current context? |
| 2021-07-30 18:52:21 | × | dextaa quits (~DV@aftr-37-201-214-197.unity-media.net) (Ping timeout: 276 seconds) |
| 2021-07-30 18:52:37 | → | mastarija__ joins (~mastarija@31.217.8.174) |
| 2021-07-30 18:53:14 | <monochrom> | I usually write one last file "play.hs" that imports the million modules. Then it's just ":load play.hs" for me. |
| 2021-07-30 18:53:29 | <monochrom> | And so the prompt is just "*Main>" |
| 2021-07-30 18:53:47 | <monochrom> | Actually s/usually/used to/ |
| 2021-07-30 18:54:06 | <monochrom> | Because these days in reality I use emacs haskell-mode so the prompt is always λ> |
| 2021-07-30 18:54:57 | × | Guest9 quits (~Guest9@43.241.144.27) (Quit: Connection closed) |
| 2021-07-30 18:55:21 | <aegon> | kk, i'll try that approach. I've tried to get used to emacs but i always just want vim and the rest of the stuff is handled piecewise by unix apps in a tmux session |
| 2021-07-30 18:55:28 | <aegon> | i wish emacs had a good text editor :P |
All times are in UTC.