Logs: liberachat/#haskell
| 2021-07-12 08:13:00 | <kuribas> | For positional fields it still makes sense (like Maybe, Tree), but you don't want many positional fields. |
| 2021-07-12 08:13:24 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-12 08:13:51 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 08:13:54 | <kuribas> | many positional fields is an antipattern as well. |
| 2021-07-12 08:14:43 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 08:16:30 | <Hecate> | kuribas: whilst records in sum types are not inherently an antipattern, don't create accessors like `field1` because it can be used on Foo2 |
| 2021-07-12 08:17:04 | <kuribas> | Hecate: but then all fields have to match |
| 2021-07-12 08:17:30 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-12 08:17:38 | <Hecate> | kuribas: If you favour your comfort rather than type safety then I presume you know full well what you're doing :-P |
| 2021-07-12 08:17:55 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-12 08:18:05 | <kuribas> | I don't mind a small amount of boilerplate |
| 2021-07-12 08:18:40 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 08:20:51 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-07-12 08:21:38 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-07-12 08:23:02 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Remote host closed the connection) |
| 2021-07-12 08:23:14 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-12 08:24:04 | × | javran quits (~javran@c-98-207-169-40.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-07-12 08:25:02 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-12 08:25:56 | → | javran joins (~javran@c-98-207-169-40.hsd1.ca.comcast.net) |
| 2021-07-12 08:26:13 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2021-07-12 08:26:15 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-07-12 08:27:32 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-12 08:28:03 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-07-12 08:28:20 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-07-12 08:29:18 | <Hecate> | kuribas: https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-warnings.html#ghc-flag--Wpartial-fields |
| 2021-07-12 08:29:46 | <kuribas> | Hecate: the point is, without partial fields, records in sum types make no sense. |
| 2021-07-12 08:31:08 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 08:31:27 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 08:33:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-12 08:35:14 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-12 08:35:54 | <boxscape> | At least if you use lens/optics you can soon use -XNoFieldSelectors, and then you can use records in sum types without creating partial functions |
| 2021-07-12 08:36:07 | <boxscape> | though the built-in record dot syntax will still be partial for sum types |
| 2021-07-12 08:36:32 | <boxscape> | (but it's disabled by default and guarded behind -XOverloadedRecordDot) |
| 2021-07-12 08:37:08 | <kuribas> | I suppose partial fields make sense with classy lenses... |
| 2021-07-12 08:38:38 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-12 08:39:11 | <boxscape> | hm I think any sort of optics, not necessarily classy, you should get prisms for partial fields in sum types regardless |
| 2021-07-12 08:39:29 | <kuribas> | ah indeed |
| 2021-07-12 08:40:04 | <kuribas> | yeah, I look forward to NoFIeldSelectors |
| 2021-07-12 08:41:33 | → | Brianmancer joins (~Neuromanc@user/briandamag) |
| 2021-07-12 08:42:11 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-12 08:45:43 | → | ubert1 joins (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) |
| 2021-07-12 08:48:02 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) |
| 2021-07-12 08:49:52 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-12 08:50:57 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-12 08:52:13 | × | azeem quits (~azeem@176.200.251.23) (Read error: Connection reset by peer) |
| 2021-07-12 08:52:58 | <dibblego> | if anti-pattern means "bad idea", then yes |
| 2021-07-12 08:54:11 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 08:58:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-12 09:03:14 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 2021-07-12 09:04:11 | <Orbstheorem> | Where can I find `servant` release notes? |
| 2021-07-12 09:04:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-12 09:05:12 | <Orbstheorem> | I upgraded from lts-13.30 to lts-18.1 and am getting some missing definitions on the servant module; I assume they provided a migration strategy on the release notes. |
| 2021-07-12 09:05:40 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-12 09:06:19 | <Orbstheorem> | More precisely, the `ServantErr` type seems to be missing. |
| 2021-07-12 09:09:45 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-12 09:09:56 | × | a1paca quits (~a1paca@user/a1paca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-12 09:10:15 | → | a1paca joins (~a1paca@user/a1paca) |
| 2021-07-12 09:24:03 | <_________> | Orbstheorem: https://github.com/haskell-servant/servant/blob/master/servant/CHANGELOG.md#significant-changes-5 |
| 2021-07-12 09:25:02 | <Orbstheorem> | Oh, thanks! |
| 2021-07-12 09:25:16 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 2021-07-12 09:25:52 | <DigitalKiwi> | _________: halloween |
| 2021-07-12 09:26:54 | <DigitalKiwi> | https://twitter.com/Custard_Rito/status/1412693062363451397 ;p |
| 2021-07-12 09:27:41 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-12 09:30:29 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 255 seconds) |
| 2021-07-12 09:31:20 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-12 09:33:47 | <_________> | ;) |
| 2021-07-12 09:45:01 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) |
| 2021-07-12 09:48:09 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 09:48:28 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 09:49:09 | × | gzj quits (~GZJ0X@199.193.127.73.16clouds.com) (Remote host closed the connection) |
| 2021-07-12 09:49:28 | → | gzj joins (~GZJ0X@199.193.127.73.16clouds.com) |
| 2021-07-12 09:49:39 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:6d00:2ab2:6519:235b) (Ping timeout: 255 seconds) |
| 2021-07-12 09:53:45 | → | haykam2 joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 2021-07-12 09:55:25 | × | haykam1 quits (~haykam@static.100.2.21.65.clients.your-server.de) (Read error: Connection reset by peer) |
| 2021-07-12 09:56:51 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-12 09:58:13 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:21dc:ed10:85d2:c2f8) |
| 2021-07-12 09:58:39 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-12 09:59:59 | xerox_ | is now known as xerox |
| 2021-07-12 10:00:08 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-12 10:05:38 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:06:24 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-12 10:06:38 | × | azeem quits (~azeem@176.200.251.23) (Ping timeout: 256 seconds) |
| 2021-07-12 10:07:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-12 10:09:27 | × | ubert1 quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2021-07-12 10:10:05 | → | azeem joins (~azeem@176.200.251.23) |
| 2021-07-12 10:12:27 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-12 10:13:21 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-12 10:13:35 | → | jonathanx joins (~jonathan@185.224.57.161) |
| 2021-07-12 10:13:41 | × | jonathanx quits (~jonathan@185.224.57.161) (Client Quit) |
| 2021-07-12 10:15:42 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-12 10:16:00 | → | Vajb joins (~Vajb@85-76-37-197-nat.elisa-mobile.fi) |
| 2021-07-12 10:16:30 | → | warnz joins (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) |
| 2021-07-12 10:19:26 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:e6d:4895:5c36:fc58) (Remote host closed the connection) |
| 2021-07-12 10:20:30 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:cb9c:8f6:3247:45ac) |
| 2021-07-12 10:21:09 | × | warnz quits (~warnz@2600:1700:77c0:5610:acd9:fdbc:f96e:2452) (Ping timeout: 255 seconds) |
| 2021-07-12 10:21:40 | → | peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) |
| 2021-07-12 10:23:47 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-12 10:24:51 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-12 10:28:03 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-12 10:28:42 | → | ukari joins (~ukari@user/ukari) |
All times are in UTC.