Logs: liberachat/#haskell
| 2021-05-31 17:15:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-31 17:16:26 | × | nerdypepper quits (znc@152.67.162.71) (Changing host) |
| 2021-05-31 17:16:26 | → | nerdypepper joins (znc@user/nerdypepper) |
| 2021-05-31 17:17:24 | × | shiraeeshi quits (~shiraeesh@109.166.59.30) (Ping timeout: 265 seconds) |
| 2021-05-31 17:17:40 | × | danidiaz quits (~ESDPC@148.3.54.112) (Quit: Leaving.) |
| 2021-05-31 17:18:53 | × | werneta quits (~werneta@mobile-166-176-57-108.mycingular.net) (Ping timeout: 264 seconds) |
| 2021-05-31 17:18:54 | × | ikex quits (~ash@user/ikex) (Ping timeout: 264 seconds) |
| 2021-05-31 17:19:32 | × | bfrk quits (~Thunderbi@200116b84534a60005aeadf137ee420f.dip.versatel-1u1.de) (Ping timeout: 268 seconds) |
| 2021-05-31 17:20:27 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-31 17:21:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-31 17:22:14 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-05-31 17:22:48 | Megant_ | is now known as Megant |
| 2021-05-31 17:23:17 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-31 17:24:40 | <kuribas``> | dminuoso: maybe megaparsec is a better parser for such a case? |
| 2021-05-31 17:25:26 | <kuribas``> | "Attoparsec is sometimes faster but not that feature-rich. It should be used when you want to process large amounts of data where performance matters more than quality of error messages." |
| 2021-05-31 17:28:06 | → | Guest8311 joins (~Guest83@187.83.249.216.dyn.smithville.net) |
| 2021-05-31 17:28:55 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-31 17:29:13 | → | shiraeeshi joins (~shiraeesh@109.166.59.30) |
| 2021-05-31 17:29:57 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-05-31 17:31:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-05-31 17:34:00 | <nshepperd> | I don't think I've ever used cassava's fancy record parsing. i always parse a vector of vectors of text then convert |
| 2021-05-31 17:34:08 | → | AgentM joins (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) |
| 2021-05-31 17:34:52 | <nshepperd> | or Vector (Map Text Text) when i want named columns |
| 2021-05-31 17:35:19 | dminuoso | uses the record parsing |
| 2021-05-31 17:35:37 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-05-31 17:37:25 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-31 17:39:43 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-31 17:41:59 | <johnw> | I use megaparsec for all my parsing needs these days; it's quite good |
| 2021-05-31 17:42:58 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 268 seconds) |
| 2021-05-31 17:43:18 | <Hecate> | idem |
| 2021-05-31 17:43:35 | → | wenzel joins (~wenzel@user/wenzel) |
| 2021-05-31 17:44:37 | → | waleee joins (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2021-05-31 17:44:44 | → | UpstreamSalmon joins (uid12077@id-12077.stonehaven.irccloud.com) |
| 2021-05-31 17:45:13 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 17:45:27 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3866:f955:de69:46b2) |
| 2021-05-31 17:45:47 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-05-31 17:48:09 | × | shryke quits (~shryke@91.103.43.254) (Ping timeout: 272 seconds) |
| 2021-05-31 17:50:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3866:f955:de69:46b2) (Ping timeout: 264 seconds) |
| 2021-05-31 17:50:11 | × | neceve quits (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) (Ping timeout: 252 seconds) |
| 2021-05-31 17:50:20 | → | ddellacosta joins (~ddellacos@86.106.143.131) |
| 2021-05-31 17:50:27 | → | solomon joins (~solomon@165.227.48.175) |
| 2021-05-31 17:51:47 | <kuribas``> | nshepperd: I'll do that then |
| 2021-05-31 17:53:15 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-05-31 17:56:29 | × | jneira quits (~jneira@166.red-81-39-172.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-05-31 17:57:33 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-05-31 18:01:16 | × | kuribas`` quits (~user@ptr-25vy0i7o5gw6tky01tr.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-05-31 18:04:33 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 268 seconds) |
| 2021-05-31 18:05:00 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-05-31 18:06:02 | → | argento joins (~argent0@168.227.96.53) |
| 2021-05-31 18:06:54 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 264 seconds) |
| 2021-05-31 18:10:59 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-05-31 18:11:03 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-05-31 18:12:30 | <johnw> | hmmm.. i'll have to look into the fancy record parsing; I'm using vectors of vectors of text right now, but end up needing to convert most of it anyway |
| 2021-05-31 18:12:36 | <johnw> | just found https://hackage.haskell.org/package/tapioca |
| 2021-05-31 18:13:01 | → | danidiaz joins (~ESDPC@148.3.54.112) |
| 2021-05-31 18:13:51 | × | pbrisbin quits (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2021-05-31 18:14:28 | → | Shaeto_ joins (~Shaeto@94.25.234.213) |
| 2021-05-31 18:15:39 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-31 18:16:02 | × | dunkeln quits (~dunkeln@94.129.65.28) (Quit: leaving) |
| 2021-05-31 18:16:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-05-31 18:17:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-31 18:17:27 | × | AgentM quits (~agentm@pool-162-83-130-212.nycmny.fios.verizon.net) (Quit: Leaving.) |
| 2021-05-31 18:17:29 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3866:f955:de69:46b2) |
| 2021-05-31 18:17:55 | × | Shaeto quits (~Shaeto@94.25.234.55) (Ping timeout: 272 seconds) |
| 2021-05-31 18:19:02 | <johnw> | although the latter doesn't seem to be much better than the Generic stuff in cassava itself |
| 2021-05-31 18:19:21 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-05-31 18:19:30 | → | cheater joins (~Username@user/cheater) |
| 2021-05-31 18:19:43 | → | megaTherion joins (~therion@unix.io) |
| 2021-05-31 18:19:48 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-05-31 18:19:49 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2021-05-31 18:20:42 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-31 18:20:55 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-31 18:21:57 | × | bor0 quits (~boro@77.28.64.72) (Quit: This computer has gone to sleep) |
| 2021-05-31 18:26:00 | × | ddellacosta quits (~ddellacos@86.106.143.131) (Remote host closed the connection) |
| 2021-05-31 18:26:10 | → | ddellacosta joins (~ddellacos@86.106.143.131) |
| 2021-05-31 18:27:38 | × | ubikium quits (~ubikium@2400:2200:4f2:4b71:94bf:c634:be62:7c0d) (Read error: Connection reset by peer) |
| 2021-05-31 18:27:53 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-05-31 18:28:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-31 18:30:31 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-05-31 18:30:57 | → | pbrisbin joins (~patrick@pool-72-92-38-164.phlapa.fios.verizon.net) |
| 2021-05-31 18:31:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 18:33:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-05-31 18:34:29 | × | favonia quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 18:35:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 18:37:21 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-31 18:37:24 | → | newtoliberachat2 joins (~xyz@1.39.167.172) |
| 2021-05-31 18:38:14 | × | favonia quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 18:38:15 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-31 18:39:33 | ← | newtoliberachat2 parts (~xyz@1.39.167.172) () |
| 2021-05-31 18:43:21 | × | brandonh quits (~brandonh@151.38.139.116) (Quit: brandonh) |
| 2021-05-31 18:45:26 | × | solomon quits (~solomon@165.227.48.175) (Ping timeout: 250 seconds) |
| 2021-05-31 18:48:16 | → | Erutuon joins (~Erutuon@71-34-10-193.mpls.qwest.net) |
| 2021-05-31 18:54:31 | <maerwald> | johnw: heh, my former work colleague wrote it... it's less boilerplate |
| 2021-05-31 18:55:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-31 18:56:11 | → | Guest81 joins (~Guest81@040-194-158-163.dynamic.caiway.nl) |
| 2021-05-31 18:56:29 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-05-31 18:56:42 | <Guest81> | Question, are Haskell `Functor`s, "positive" functors? |
| 2021-05-31 18:57:03 | <monochrom> | Yes. covariant. |
| 2021-05-31 18:57:04 | × | favonia quits (~favonia@user/favonia) (Client Quit) |
| 2021-05-31 18:57:18 | <Guest81> | But not strictly-positive |
All times are in UTC.