Logs: freenode/#haskell
| 2021-04-07 23:34:39 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-04-07 23:35:11 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-07 23:36:42 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-07 23:36:57 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-07 23:37:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-07 23:42:16 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 2021-04-07 23:42:36 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-07 23:45:32 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-07 23:47:06 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-04-07 23:48:07 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 2021-04-07 23:48:26 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-04-07 23:52:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-07 23:52:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-07 23:53:55 | × | atraii quits (~atraii@2601:681:8700:c471:182c:49ac:c430:1f21) (Ping timeout: 248 seconds) |
| 2021-04-07 23:54:49 | × | j quits (jess@freenode/staff/jess) (Quit: K-Lined) |
| 2021-04-07 23:56:02 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-04-07 23:57:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-08 00:00:03 | Axman5892 | is now known as Axman6 |
| 2021-04-08 00:03:41 | × | s00pcan quits (~chris@107.181.165.217) (Read error: Connection reset by peer) |
| 2021-04-08 00:05:43 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 2021-04-08 00:06:35 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-04-08 00:07:13 | → | Tario joins (~Tario@200.119.185.28) |
| 2021-04-08 00:12:53 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9506d42010f0580cba17.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-04-08 00:13:07 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-08 00:13:27 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-04-08 00:17:05 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 2021-04-08 00:17:47 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-04-08 00:17:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2021-04-08 00:20:36 | × | Tario quits (~Tario@200.119.185.28) (Read error: Connection reset by peer) |
| 2021-04-08 00:21:04 | <wrunt> | Alexis King had a post about this recently: https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ |
| 2021-04-08 00:21:11 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-08 00:26:56 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-08 00:31:18 | × | tabemann quits (~travisb@2600:1700:7990:24e0:f296:95e4:6efa:8660) (Remote host closed the connection) |
| 2021-04-08 00:31:34 | → | tabemann joins (~travisb@2600:1700:7990:24e0:70e7:2dce:b9d2:60a7) |
| 2021-04-08 00:32:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-04-08 00:34:06 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-04-08 00:34:59 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-08 00:35:56 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-04-08 00:38:13 | <carter> | Newtype is better than synonyms |
| 2021-04-08 00:39:43 | <carter> | Though at least for some stuff physics units would be even nicer :) |
| 2021-04-08 00:40:16 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-04-08 00:40:54 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-08 00:41:19 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-08 00:41:20 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-08 00:41:27 | → | Tario joins (~Tario@200.119.185.109) |
| 2021-04-08 00:43:51 | × | Tario quits (~Tario@200.119.185.109) (Read error: Connection reset by peer) |
| 2021-04-08 00:44:05 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-08 00:47:59 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:b94d:65d6:a9e1:d541) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-08 00:48:46 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1) |
| 2021-04-08 00:49:05 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-08 00:49:56 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Client Quit) |
| 2021-04-08 00:50:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-08 00:50:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-08 00:52:04 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-08 00:52:25 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-08 00:53:40 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:6987:f17b:abed:1830) |
| 2021-04-08 00:56:59 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-04-08 00:59:13 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-04-08 01:04:47 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-08 01:05:26 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-08 01:06:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-04-08 01:07:26 | × | e2 quits (e2@sponsored.by.bnc4you.xyz) (Ping timeout: 245 seconds) |
| 2021-04-08 01:07:39 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-08 01:09:34 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-08 01:10:35 | → | drbean_ joins (~drbean@TC210-63-209-180.static.apol.com.tw) |
| 2021-04-08 01:13:46 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-08 01:15:05 | <d34df00d> | wrunt: I remember reading it and disagreeing but I don't precisely remember nicer its points nor my counterpoints. |
| 2021-04-08 01:18:16 | <solidus-river> | hey all, i'm trying to get better at reasoning about the different modes of haskell (arrow, applicative, monadic etc) I'm writing a lot of blocks of code that look odd to me in a monadic form and am wondering if theres a way to write them in an Applicative form better. I can't seem to make the compiler happy when trying to switch from do notation to an Applicative approach though. here's a quikc |
| 2021-04-08 01:18:22 | <solidus-river> | paste of the relevant funcs https://paste.tomsmeding.com/FK5tB1Gz |
| 2021-04-08 01:19:58 | → | e2 joins (e2@sponsored.by.bnc4you.xyz) |
| 2021-04-08 01:20:03 | <solidus-river> | maybe I need to move away from newtype nad into data to get an applicative form of that to work around the lines of: MkVersionedEvent <$> parseId id <*> parseSeq seq <*> pure blob |
| 2021-04-08 01:20:17 | <solidus-river> | but i'm not sure what the trade-offs are of newtype vs data |
| 2021-04-08 01:21:43 | <solidus-river> | or maybe i could iteratively build a tuple up with , ... |
| 2021-04-08 01:21:48 | <wrunt> | solidus-river: I think you have the right idea with that change. There are a couple of un-idiomatic things you're doing currently. |
| 2021-04-08 01:22:06 | <wrunt> | You wouldn't typically newtype a tuple -- just use data. |
| 2021-04-08 01:22:33 | <wrunt> | And you wouldn't typically call your VersionedEvent constructor MkVersionedEvent, just call it VersionedEvent, though this doesn't really matter. |
| 2021-04-08 01:23:21 | <wrunt> | And you wouldn't typically pass three arguments to a function as a list. parseEvent should have type ByteString -> ByteString -> ByteString -> Maybe VersionedEvent |
| 2021-04-08 01:24:03 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 260 seconds) |
| 2021-04-08 01:25:11 | <solidus-river> | hey, those all make a lot of sense, going to try reworking things like that and see if some of this gets cleaned up |
| 2021-04-08 01:25:29 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Quit: WeeChat 3.1) |
| 2021-04-08 01:25:42 | → | MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-04-08 01:26:11 | × | xff0x quits (~xff0x@2001:1a81:52c6:f900:8bb9:4c7a:ec7:b51f) (Ping timeout: 248 seconds) |
| 2021-04-08 01:27:05 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-jvyqvcvcmixmgtiu) |
| 2021-04-08 01:27:56 | → | xff0x joins (~xff0x@2001:1a81:52e8:b700:3ebf:a81d:5544:d0a) |
| 2021-04-08 01:27:57 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 2021-04-08 01:28:06 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-08 01:28:35 | <solidus-river> | wrunt: thanks for the insight, I felt like things were getting more awkward than needed as I worked with more do notation while parsing |
| 2021-04-08 01:28:41 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-04-08 01:29:08 | <pjb> | .br |
| 2021-04-08 01:32:33 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-08 01:32:58 | × | cads quits (~cads@ip-64-72-99-232.lasvegas.net) (Read error: Connection reset by peer) |
| 2021-04-08 01:33:06 | → | cads2 joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-04-08 01:37:17 | × | trcm quits (~trcm@103.153.243.79) (Remote host closed the connection) |
| 2021-04-08 01:37:34 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-08 01:38:28 | → | trcm joins (~trcm@103.153.243.79) |
| 2021-04-08 01:39:45 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-08 01:42:16 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-08 01:42:43 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-08 01:43:27 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-08 01:43:56 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
All times are in UTC.