Logs: liberachat/#haskell
| 2021-06-02 17:30:46 | <monochrom> | They do this as their answer to SML real adult module system. >:) |
| 2021-06-02 17:30:46 | <dminuoso> | Instead, we have fooV4, fooV6, barV4, barV6 - with lots of duplication (with duplication rates that feel like 95%) |
| 2021-06-02 17:30:53 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.1) |
| 2021-06-02 17:30:58 | <ski> | imho, the name `void', with this meaning, should not be exported from any other modules than FFI ones |
| 2021-06-02 17:32:00 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Ping timeout: 245 seconds) |
| 2021-06-02 17:32:24 | → | ordinate joins (~ordinate@c-68-38-144-3.hsd1.in.comcast.net) |
| 2021-06-02 17:32:57 | <ordinate> | good afternoon |
| 2021-06-02 17:33:02 | <dminuoso> | Hi ordinate o/ |
| 2021-06-02 17:33:03 | <boxscape> | hi |
| 2021-06-02 17:33:19 | dminuoso | readies his answer cards for ordinate |
| 2021-06-02 17:33:31 | <ordinate> | nice to see you all again |
| 2021-06-02 17:34:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 264 seconds) |
| 2021-06-02 17:35:14 | → | mustafa joins (sid502723@rockylinux/releng/mstg) |
| 2021-06-02 17:37:56 | → | shailangsa joins (~shailangs@host86-186-136-74.range86-186.btcentralplus.com) |
| 2021-06-02 17:38:03 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-06-02 17:38:23 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-02 17:38:50 | → | rk04 joins (~rk04@user/rajk) |
| 2021-06-02 17:38:53 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 17:39:29 | maerwald | blinks |
| 2021-06-02 17:39:39 | <maerwald> | no... can't see you -,- |
| 2021-06-02 17:39:49 | × | jacks2 quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-06-02 17:42:25 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-02 17:43:54 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 17:44:57 | × | leeb quits (~leeb@KD111239154171.au-net.ne.jp) (Quit: WeeChat 3.1) |
| 2021-06-02 17:45:02 | → | oxide joins (~lambda@user/oxide) |
| 2021-06-02 17:45:16 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-02 17:45:36 | × | rk04 quits (~rk04@user/rajk) (Quit: Client closed) |
| 2021-06-02 17:45:48 | <dminuoso> | Is it safe to Data.ByteString.Char8.hPutStrLn (Aeson.encode x) ? |
| 2021-06-02 17:46:19 | <dminuoso> | My instinct says yes, because Aeson will give me a UTF8 encoded string anyway, which should not screw up my terminal |
| 2021-06-02 17:46:36 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-02 17:47:29 | <monochrom> | I say yes. Unless UTF8 screws up your terminal. |
| 2021-06-02 17:47:46 | <Ariakenom> | does anyone have a fancy pretty printed ghci setup? |
| 2021-06-02 17:47:56 | <dminuoso> | Well couldn't a user embed sneaky escape sequences in a JSON string? |
| 2021-06-02 17:48:30 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 272 seconds) |
| 2021-06-02 17:48:39 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-02 17:49:37 | <monochrom> | I want to conjecture that unprintable characters are further backslash-escaped, but I haven't tried. |
| 2021-06-02 17:50:29 | dminuoso | wishes for a reality in which a terminal control protocol and text encoding were separate things |
| 2021-06-02 17:51:05 | <dminuoso> | Conflating these two seems like one of the larger mistakes in programming history |
| 2021-06-02 17:52:29 | jackhill | is now known as KM4MBG |
| 2021-06-02 17:53:24 | <ordinate> | i think ive accidentally started a much bigger project than i thought |
| 2021-06-02 17:53:34 | × | derelict quits (~winter@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 2021-06-02 17:53:40 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 17:54:52 | <lyxia> | I think encode only produces ASCII, unless someone hijacks a ToJSON instance. |
| 2021-06-02 17:55:44 | → | chomwitt joins (~Pitsikoko@athedsl-20549.home.otenet.gr) |
| 2021-06-02 17:59:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-02 18:00:45 | × | imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor) |
| 2021-06-02 18:00:54 | <Ariakenom> | I just got this code to work some an ancient tab I had https://gist.github.com/pera/8447522 |
| 2021-06-02 18:01:54 | <Ariakenom> | ..work from some.. |
| 2021-06-02 18:04:58 | × | azeem quits (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-06-02 18:09:19 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-06-02 18:10:29 | → | doublex__ joins (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) |
| 2021-06-02 18:12:31 | → | vicfred joins (~vicfred@user/vicfred) |
| 2021-06-02 18:13:11 | → | beka joins (~beka@104.193.170-254.PUBLIC.monkeybrains.net) |
| 2021-06-02 18:14:05 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-02 18:14:15 | × | doublex_ quits (~doublex@2601:542:c480:6ee0:184b:7083:f026:c689) (Ping timeout: 268 seconds) |
| 2021-06-02 18:14:28 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 272 seconds) |
| 2021-06-02 18:16:23 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-06-02 18:23:01 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 18:24:08 | → | azeem joins (~azeem@dynamic-adsl-94-34-34-125.clienti.tiscali.it) |
| 2021-06-02 18:24:09 | KM4MBG | is now known as jackhill |
| 2021-06-02 18:26:44 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-02 18:29:30 | → | mrufrufin joins (~dxk@108.235.170.90) |
| 2021-06-02 18:29:42 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-06-02 18:31:35 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-06-02 18:32:00 | × | amk quits (~amk@176.61.106.150) (Ping timeout: 245 seconds) |
| 2021-06-02 18:32:21 | → | amk joins (~amk@176.61.106.150) |
| 2021-06-02 18:32:32 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:524:105d:d218:2c77) (Read error: Connection reset by peer) |
| 2021-06-02 18:32:50 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-02 18:33:18 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-06-02 18:33:37 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-02 18:33:52 | → | sondre joins (~sondrelun@cm-84.212.100.140.getinternet.no) |
| 2021-06-02 18:42:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-02 18:42:45 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-02 18:45:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) |
| 2021-06-02 18:46:16 | × | wenzel quits (~wenzel@user/wenzel) (Read error: Connection reset by peer) |
| 2021-06-02 18:46:36 | → | wenzel joins (~wenzel@user/wenzel) |
| 2021-06-02 18:46:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-06-02 18:48:33 | ← | mrufrufin parts (~dxk@108.235.170.90) () |
| 2021-06-02 18:50:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:3547:b6d4:7412:5857) (Ping timeout: 264 seconds) |
| 2021-06-02 18:52:06 | → | nuttingd joins (~nuttingd@75.164.99.232) |
| 2021-06-02 18:52:44 | × | nuttingd quits (~nuttingd@75.164.99.232) (Client Quit) |
| 2021-06-02 18:53:11 | → | Deide joins (~Deide@wire.desu.ga) |
| 2021-06-02 18:53:11 | × | Deide quits (~Deide@wire.desu.ga) (Changing host) |
| 2021-06-02 18:53:12 | → | Deide joins (~Deide@user/deide) |
| 2021-06-02 18:53:38 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-06-02 18:54:17 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-02 18:54:59 | × | kuribas quits (~user@ptr-25vy0i6y10noc9bho8l.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-06-02 18:55:58 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-02 18:56:57 | → | hiruji` joins (~hiruji@2606:6080:1001:18:8d41:9604:d435:36b6) |
| 2021-06-02 18:58:01 | <gentauro> | hey, is it possible to have "more friendly" Aeson parsing messages? For example if the recieved JSON payload is only missing the `type` property? https://pastebin.ubuntu.com/p/PhZ2wz7fRZ/ |
| 2021-06-02 18:58:10 | × | hiruji quits (~hiruji@user/hiruji) (Ping timeout: 272 seconds) |
| 2021-06-02 18:58:40 | gentauro | like in an `automated` way so I don't have to write all the boilerplate myself :) |
| 2021-06-02 18:58:49 | × | wenzel quits (~wenzel@user/wenzel) (Quit: Leaving) |
| 2021-06-02 19:00:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-06-02 19:00:51 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-02 19:01:07 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-02 19:01:52 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-02 19:03:00 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-02 19:04:17 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-02 19:04:48 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
All times are in UTC.