Logs: liberachat/#haskell
| 2021-07-08 19:37:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-08 19:39:31 | × | Cajun quits (~Cajun@ip98-163-211-112.no.no.cox.net) (Quit: Client closed) |
| 2021-07-08 19:44:28 | <dsal> | I'd never tried this stan thing. It seems really angry that I don't `!` all my fields. Also, I use `length` sometimes. |
| 2021-07-08 19:44:59 | <davean> | dsal: wait, its angry you don't ! your fields? But ... thats not a valid thing to do in general ... |
| 2021-07-08 19:45:01 | <juri_> | it's pretty angry in general. applying it has made my code a lot cleaner, tho. |
| 2021-07-08 19:45:10 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-08 19:45:18 | <dsal> | davean: Yeah, because then they're lazy and it might space leak. |
| 2021-07-08 19:45:40 | <dsal> | I feel like banging a TVar isn't going to do a lot. |
| 2021-07-08 19:45:46 | <davean> | dsal: I mean, but then they're strict and might cause your program to diverge ... |
| 2021-07-08 19:46:08 | <dsal> | What do you mean diverge? |
| 2021-07-08 19:46:25 | <davean> | I mean that a field being strict can cause your program to run forever making no progress |
| 2021-07-08 19:46:57 | <dsal> | Ah. |
| 2021-07-08 19:47:10 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 2021-07-08 19:50:43 | <dsal> | Removing that one gives me a few reasonable complaints. Nothing I'm actually going to do anything about, though. |
| 2021-07-08 19:51:30 | ← | hatz_ parts (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) () |
| 2021-07-08 19:52:35 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-08 19:52:49 | <dsal> | I like tools like this in theory... |
| 2021-07-08 19:53:23 | <sm[m]> | angry tools ? |
| 2021-07-08 19:53:47 | <juri_> | I find that when i throw my code at a tool like that, and bend the code, it gets better. i'm not too sure it matters on the tool. |
| 2021-07-08 19:54:59 | <sm[m]> | I like the tools that are really quite angry but cover it well with a layer of helpful advice :) |
| 2021-07-08 19:55:24 | <dsal> | I've learned useful stuff from hlint |
| 2021-07-08 19:56:13 | <davean> | juri_: I mean thats great up to a point, and that point certainly isn't where its flat out wrong |
| 2021-07-08 19:56:13 | <sm[m]> | +1 and shellcheck! |
| 2021-07-08 19:57:21 | × | fluffyballoon quits (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-07-08 19:57:37 | <lyxia> | juri_: ah, there's the total version: https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-List-NonEmpty.html#v:nonEmpty |
| 2021-07-08 19:57:45 | → | fluffyballoon joins (~fluffybal@199.204.58.62) |
| 2021-07-08 19:57:52 | <juri_> | lyxia: yep. that's what i used. |
| 2021-07-08 19:58:26 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 265 seconds) |
| 2021-07-08 19:58:27 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-07-08 19:59:03 | <juri_> | my haskell is pretty bad, so i tend to hit it with all of the tools, to try and make it make sense to others. |
| 2021-07-08 19:59:23 | → | alex3 joins (~alex3@BSN-77-82-41.static.siol.net) |
| 2021-07-08 19:59:31 | <juri_> | I've written a projective geometric library... and am trying to use it to help get others into haskell. |
| 2021-07-08 19:59:33 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-07-08 20:00:23 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-07-08 20:00:49 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-08 20:01:56 | × | jespada quits (~jespada@90.254.247.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-07-08 20:02:50 | × | fluffyballoon quits (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-07-08 20:03:18 | → | fluffyballoon joins (~fluffybal@199.204.58.62) |
| 2021-07-08 20:04:35 | × | hexreel quits (~hr@69.233.98.238) (Quit: WeeChat 3.2) |
| 2021-07-08 20:05:02 | × | roboto_el_gato quits (~roboto_el@2600:1700:7df0:4f30:ec10:cbf7:f7cc:3882) (Quit: Client closed) |
| 2021-07-08 20:05:19 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 246 seconds) |
| 2021-07-08 20:05:46 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 272 seconds) |
| 2021-07-08 20:07:10 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-07-08 20:10:40 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-07-08 20:12:38 | × | mikail quits (~mikail@90.152.14.81) (Ping timeout: 255 seconds) |
| 2021-07-08 20:15:32 | × | exilepilot quits (~exile8338@host86-164-249-163.range86-164.btcentralplus.com) (Read error: Connection reset by peer) |
| 2021-07-08 20:18:24 | sm | is now known as sm[i] |
| 2021-07-08 20:19:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-08 20:21:22 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-07-08 20:22:16 | × | sm[i] quits (~user@plaintextaccounting/sm) (Quit: ERC (IRC client for Emacs 27.0.50)) |
| 2021-07-08 20:23:39 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 2021-07-08 20:23:55 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-07-08 20:24:04 | → | sm[i] joins (~user@plaintextaccounting/sm) |
| 2021-07-08 20:25:46 | → | DNH joins (~DNH@2a02:8108:1100:16d8:99cf:ff96:88:4a77) |
| 2021-07-08 20:26:21 | → | fendor joins (~fendor@91.141.49.3.wireless.dyn.drei.com) |
| 2021-07-08 20:27:13 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b956384793fd2325b5113.dip0.t-ipconnect.de) |
| 2021-07-08 20:28:50 | × | sm[m] quits (~sm@plaintextaccounting/sm) (Quit: Reconnecting) |
| 2021-07-08 20:31:03 | → | acidjnk joins (~acidjnk@p200300d0c72b956384793fd2325b5113.dip0.t-ipconnect.de) |
| 2021-07-08 20:31:12 | → | ray joins (~ray@user/re) |
| 2021-07-08 20:31:22 | → | Trattue joins (~Trattue@p200300cfb7002662d870a2e06eb7728b.dip0.t-ipconnect.de) |
| 2021-07-08 20:31:48 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b956384793fd2325b5113.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-07-08 20:33:52 | × | Trattue quits (~Trattue@p200300cfb7002662d870a2e06eb7728b.dip0.t-ipconnect.de) (Client Quit) |
| 2021-07-08 20:44:04 | → | maf654321 joins (~maf654321@user/maf654321) |
| 2021-07-08 20:44:21 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-08 20:46:35 | <lechner> | Hi, is it possible to parse JSON content with optional fields when deriving a generic instance of FromJSON as described here https://www.schoolofhaskell.com/school/starting-with-haskell/libraries-and-frameworks/text-manipulation/json#step-2--the-smart-alternative |
| 2021-07-08 20:49:05 | × | maf654321 quits (~maf654321@user/maf654321) (Ping timeout: 255 seconds) |
| 2021-07-08 20:53:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-08 20:55:13 | → | maf654321 joins (~maf654321@user/maf654321) |
| 2021-07-08 20:56:10 | <janus> | lechner: if they are Maybe they will be optional afaik |
| 2021-07-08 20:56:28 | <lechner> | janus: thank you! |
| 2021-07-08 20:58:18 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 240 seconds) |
| 2021-07-08 20:58:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-08 20:59:26 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-08 20:59:35 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-08 21:01:30 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-08 21:02:44 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Read error: Connection reset by peer) |
| 2021-07-08 21:04:30 | → | sm[m] joins (~sm@plaintextaccounting/sm) |
| 2021-07-08 21:04:53 | × | sm[m] quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 2021-07-08 21:05:10 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-07-08 21:05:21 | × | dunj3 quits (~dunj3@2001:16b8:3066:7300:d4d1:5d56:be5f:cf84) (Remote host closed the connection) |
| 2021-07-08 21:05:54 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-08 21:07:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) (Remote host closed the connection) |
| 2021-07-08 21:07:20 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-08 21:10:11 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-07-08 21:11:37 | × | dminuoso quits (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-07-08 21:11:37 | → | dminuoso joins (~dminuoso@user/dminuoso) |
| 2021-07-08 21:12:09 | × | rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-08 21:13:08 | × | viluon quits (uid453725@id-453725.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-08 21:15:26 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-07-08 21:15:38 | × | Megant_ quits (megant@user/megant) (Ping timeout: 258 seconds) |
| 2021-07-08 21:18:20 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-08 21:19:26 | → | isekaijin joins (~pyon@user/pyon) |
| 2021-07-08 21:21:26 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-07-08 21:22:20 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 2021-07-08 21:23:54 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:44e3:e9f0:ea4d:f039) |
| 2021-07-08 21:24:27 | → | son0p joins (~ff@181.136.122.143) |
| 2021-07-08 21:27:21 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-08 21:29:55 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-08 21:30:11 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-07-08 21:32:11 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
All times are in UTC.