Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 .. 5022
— 502,152 events total
2021-03-25 08:22:14 <nshepperd2> i suppose one other way is to have a singleton map whose single key is the tag and the value is a record of all the fields
2021-03-25 08:22:23 <ski> (the second encoding i mentioned might be easier to validate, although the former would probably be more convenient, when reading and writing YAML, at least if by hand)
2021-03-25 08:22:57 <ski> well, that would require one to be able to query the keys .. is that possible, and reasonable ?
2021-03-25 08:23:06 <nshepperd2> then the invariant is easily explained as 'must be a singleton map'
2021-03-25 08:23:10 <sarna> yeah it's meant to be read and edited by hand, nshepperd2's newest suggestion would read poorly in this case, imo
2021-03-25 08:23:11 ski knows almost nothing about YAML ..
2021-03-25 08:24:20 <sarna> my tag is "is_feature_enabled", by the way
2021-03-25 08:24:30 <ski> nshepperd2 : although that presumably doesn't ensure that only a definite collection of tags are allowed, and whatever format the payload key is supposed to have, for each of them
2021-03-25 08:24:33 <sarna> but I think I have a satisfactory solution now :) thanks all!
2021-03-25 08:25:27 → bitdex joins (~bitdex@gateway/tor-sasl/bitdex)
2021-03-25 08:26:32 <ski> oh, and the second is more flexible, in the sense that the payload can be kind of thing (not just a record), while in the first case, it must be a record (to which is added the tag) (that record can have multiple, or none, extra fields. for the second variant, there's a single payload)
2021-03-25 08:26:33 <nshepperd2> i assume there are usual yaml validation features which can validate the kay/payload
2021-03-25 08:27:04 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-25 08:27:14 → wonko7 joins (~wonko7@62.115.229.50)
2021-03-25 08:27:39 <ski> if someone who's actually used YAML in Haskell should turn up, they might be able to confirm or deny presence of validation, in whatever package, and tell which encoding form would be nicer for such validation
2021-03-25 08:28:15 <sarna> what do haskellers use? dhall?
2021-03-25 08:28:44 <sarna> like, if you need a human-readable config file
2021-03-25 08:29:03 → idhugo joins (~idhugo@80-62-117-136-mobile.dk.customer.tdc.net)
2021-03-25 08:29:53 <nshepperd2> so far i've just used a plain text file with one directive per line like some kind of savage
2021-03-25 08:30:15 <sarna> :DD
2021-03-25 08:30:36 → Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk)
2021-03-25 08:30:37 × cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 265 seconds)
2021-03-25 08:30:49 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
2021-03-25 08:33:42 × Sorna quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds)
2021-03-25 08:35:05 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-25 08:36:06 × sarna quits (3e1528e3@gateway/web/cgi-irc/kiwiirc.com/ip.62.21.40.227) (Quit: Connection closed)
2021-03-25 08:36:32 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2021-03-25 08:38:54 → Yumasi joins (~guillaume@2a01:e0a:5cb:4430:f8b3:8048:46:fa78)
2021-03-25 08:41:49 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-25 08:42:06 → Kaeipi joins (~Kaiepi@47.54.252.148)
2021-03-25 08:42:08 × Kaiepi quits (~Kaiepi@47.54.252.148) (Read error: No route to host)
2021-03-25 08:43:02 → Lycurgus joins (~niemand@98.4.119.196)
2021-03-25 08:45:54 × selic quits (~selic@93-87-60-181.static.isp.telekom.rs) (Quit: WeeChat 2.8)
2021-03-25 08:46:39 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-03-25 08:46:45 → Vadrigar_ joins (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-25 08:48:14 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-25 08:48:17 → shad0w_ joins (31249fed@49.36.159.237)
2021-03-25 08:48:59 × madjestic quits (~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 265 seconds)
2021-03-25 08:48:59 × howdoi quits (uid224@gateway/web/irccloud.com/x-uvokrbifiycmuqdg) (Quit: Connection closed for inactivity)
2021-03-25 08:50:40 × Kaeipi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-25 08:50:40 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 08:51:09 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 08:52:38 → cyphase joins (~cyphase@unaffiliated/cyphase)
2021-03-25 08:54:16 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Remote host closed the connection)
2021-03-25 08:54:21 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-25 08:56:53 → tailcall joins (~tailcall@117.222.69.125)
2021-03-25 08:57:27 → LKoen joins (~LKoen@194.250.88.92.rev.sfr.net)
2021-03-25 08:57:27 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 08:57:29 × hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:bf91:2d52:7724:8d37) (Ping timeout: 272 seconds)
2021-03-25 08:57:44 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 08:59:58 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-25 09:00:09 × simara[m] quits (simaramatr@gateway/shell/matrix.org/x-cuvsgvwpxvwiqjpk) (Quit: Idle for 30+ days)
2021-03-25 09:00:26 × rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-efjaygphshhzgjrx) (Quit: Connection closed for inactivity)
2021-03-25 09:00:47 × xff0x quits (~xff0x@2001:1a81:53ea:3700:a159:1aba:82af:c891) (Ping timeout: 260 seconds)
2021-03-25 09:01:02 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-25 09:01:24 → xff0x joins (~xff0x@2001:1a81:53ea:3700:e9be:d27:4cdc:9068)
2021-03-25 09:01:46 × hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-25 09:09:26 → hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3b52:62c0:efa9:bd31)
2021-03-25 09:10:20 → fendor joins (~fendor@91.141.1.9.wireless.dyn.drei.com)
2021-03-25 09:11:36 → coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-25 09:11:56 × malumore quits (~malumore@151.62.125.69) (Ping timeout: 268 seconds)
2021-03-25 09:14:43 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 09:14:46 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-25 09:15:03 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-03-25 09:19:14 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 09:19:45 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 264 seconds)
2021-03-25 09:20:26 → borne joins (~fritjof@2001:638:708:30da:d8ae:9747:a2cd:6345)
2021-03-25 09:23:44 → m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-25 09:26:30 → kritzefitz joins (~kritzefit@p548c9398.dip0.t-ipconnect.de)
2021-03-25 09:26:43 × __minoru__shirae quits (~shiraeesh@46.34.207.1) (Ping timeout: 245 seconds)
2021-03-25 09:31:07 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2021-03-25 09:31:08 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-25 09:31:19 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-25 09:32:54 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-25 09:34:02 × Vadrigar_ quits (~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-25 09:37:33 × stree quits (~stree@68.36.8.116) (Ping timeout: 245 seconds)
2021-03-25 09:39:19 ← tailcall parts (~tailcall@117.222.69.125) ()
2021-03-25 09:41:57 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-25 09:43:13 → dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-03-25 09:46:22 → dandart joins (~Thunderbi@home.dandart.co.uk)
2021-03-25 09:46:27 × dandart quits (~Thunderbi@home.dandart.co.uk) (Client Quit)
2021-03-25 09:46:53 × seanparsons quits (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net) (Quit: ZNC 1.8.1 - https://znc.in)
2021-03-25 09:48:04 × Lycurgus quits (~niemand@98.4.119.196) (Quit: Exeunt)
2021-03-25 09:49:14 → tlgl^nix joins (~damien@2604:3d08:f17f:ec50:250:b6ff:fee3:6eae)
2021-03-25 09:50:19 → stree joins (~stree@68.36.8.116)
2021-03-25 09:50:20 × juri__ quits (~juri@79.140.115.251) (Read error: Connection reset by peer)
2021-03-25 09:50:50 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2021-03-25 09:50:57 → juri_ joins (~juri@79.140.115.251)
2021-03-25 09:51:05 → ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-25 09:51:43 → madjestic joins (~Android@86-88-72-244.fixed.kpn.net)
2021-03-25 09:54:47 × friyin quits (~friyin4@46.136.209.213) (Read error: Connection reset by peer)
2021-03-25 09:55:35 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2021-03-25 09:55:50 × aarvar quits (~foewfoiew@2601:602:a080:fa0:8d5e:8b07:4f7a:6938) (Ping timeout: 264 seconds)
2021-03-25 09:55:51 → bahamas joins (~lucian@unaffiliated/bahamas)
2021-03-25 09:56:20 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-25 09:56:21 × juri_ quits (~juri@79.140.115.251) (Read error: Connection reset by peer)
2021-03-25 09:56:47 → juri_ joins (~juri@79.140.115.251)
2021-03-25 09:57:30 → gds joins (~user@2a01:4b00:8605:9800:4103:dbd5:9f3c:6103)
2021-03-25 10:01:14 × heatsink quits (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78) (Ping timeout: 264 seconds)
2021-03-25 10:01:14 × xff0x quits (~xff0x@2001:1a81:53ea:3700:e9be:d27:4cdc:9068) (Ping timeout: 264 seconds)
←Prev  Next→
Page 1 .. 4018 4019 4020 4021 4022 4023 4024 4025 4026 4027 4028 .. 5022

All times are in UTC.