Logs: freenode/#haskell
| 2021-03-16 14:49:17 | <dminuoso> | To me, the ability to just bootstrap efficient data primitives is what makes Haskell an enjoyable language. If you cant even model lists yourself, how are you expected to model more complicated data structures? |
| 2021-03-16 14:49:27 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
| 2021-03-16 14:49:38 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-rdlxtdjjstsfznpl) |
| 2021-03-16 14:51:28 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-16 14:51:30 | × | idhugo__ quits (~idhugo@80-62-116-180-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-16 14:53:49 | × | puke quits (~vroom@217.138.252.202) (Read error: Connection reset by peer) |
| 2021-03-16 14:54:39 | → | puke joins (~vroom@217.138.252.202) |
| 2021-03-16 14:55:36 | <teddyc> | Agree, it took me some time to understand that lists are just a simple data structure with fancy syntatic sugar. |
| 2021-03-16 14:56:52 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 2021-03-16 14:57:06 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 14:57:07 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-16 14:59:24 | → | specdrake joins (~anurag@103.209.223.76) |
| 2021-03-16 14:59:36 | → | seven_three joins (~user@2601:18d:c180:4060::2829) |
| 2021-03-16 15:02:18 | ← | seven_three parts (~user@2601:18d:c180:4060::2829) () |
| 2021-03-16 15:02:22 | <mouseghost> | o-o |
| 2021-03-16 15:02:46 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-03-16 15:02:49 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-16 15:03:36 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 2021-03-16 15:05:00 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 2021-03-16 15:06:20 | → | frozenErebus joins (~frozenEre@94.128.82.20) |
| 2021-03-16 15:06:58 | → | minoru_shiraeesh joins (~shiraeesh@109.166.59.197) |
| 2021-03-16 15:08:35 | × | jlamothe quits (~jlamothe@198.251.55.207) (Client Quit) |
| 2021-03-16 15:09:55 | → | plutoniix joins (~q@node-un3.pool-125-24.dynamic.totinternet.net) |
| 2021-03-16 15:10:42 | × | acidjnk_new quits (~acidjnk@p200300d0c72b954785b86a8446f85480.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-16 15:10:54 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-16 15:11:59 | × | jespada quits (~jespada@90.254.243.187) (Quit: Leaving) |
| 2021-03-16 15:12:26 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-16 15:15:26 | × | rj_ quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-16 15:16:19 | → | carlomagno joins (~cararell@148.87.23.5) |
| 2021-03-16 15:16:32 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-03-16 15:18:38 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-16 15:18:53 | × | jhrcek quits (~jhrcek@ip-89-103-183-101.net.upcbroadband.cz) (Quit: Leaving) |
| 2021-03-16 15:19:15 | → | rj_ joins (~x@gateway/tor-sasl/rj) |
| 2021-03-16 15:19:21 | × | minoru_shiraeesh quits (~shiraeesh@109.166.59.197) (Ping timeout: 246 seconds) |
| 2021-03-16 15:20:06 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-16 15:21:22 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-16 15:21:31 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-16 15:23:01 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 15:23:09 | × | plutoniix quits (~q@node-un3.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-03-16 15:24:16 | → | plutoniix joins (~q@node-un3.pool-125-24.dynamic.totinternet.net) |
| 2021-03-16 15:26:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Ping timeout: 264 seconds) |
| 2021-03-16 15:26:36 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-16 15:27:12 | → | asheshambasta joins (~user@ptr-e1lysawivss4sgbwwfc.18120a2.ip6.access.telenet.be) |
| 2021-03-16 15:28:27 | <yushyin> | curiousgay: same is true for ghc, -N sets the capabilities (virtual cpus) not the number of os threads. |
| 2021-03-16 15:29:34 | → | minoru_shiraeesh joins (~shiraeesh@109.166.59.197) |
| 2021-03-16 15:29:43 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 15:30:32 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds) |
| 2021-03-16 15:30:51 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-16 15:31:07 | × | xff0x quits (~xff0x@2001:1a81:52ee:e100:698d:4b25:a12b:af32) (Ping timeout: 260 seconds) |
| 2021-03-16 15:31:46 | → | xff0x joins (~xff0x@2001:1a81:52ee:e100:ed20:88c:e6f5:e319) |
| 2021-03-16 15:31:53 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-03-16 15:31:57 | → | z0k joins (~user@115-186-141-88.nayatel.pk) |
| 2021-03-16 15:32:27 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 15:34:08 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 15:34:14 | → | carlomagno1 joins (~cararell@148.87.23.5) |
| 2021-03-16 15:34:28 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 2021-03-16 15:34:58 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-03-16 15:35:46 | × | jespada quits (~jespada@90.254.243.187) (Read error: Connection timed out) |
| 2021-03-16 15:36:19 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 2021-03-16 15:36:42 | × | asheshambasta quits (~user@ptr-e1lysawivss4sgbwwfc.18120a2.ip6.access.telenet.be) (Ping timeout: 258 seconds) |
| 2021-03-16 15:36:56 | <Aquazi> | are there good file system libs out there? |
| 2021-03-16 15:37:18 | <Aquazi> | I have only found System.Directory which I'm not fond of api-wise |
| 2021-03-16 15:37:42 | × | carlomagno quits (~cararell@148.87.23.5) (Ping timeout: 260 seconds) |
| 2021-03-16 15:37:49 | <[exa]> | Aquazi: well, what API would you like? |
| 2021-03-16 15:38:19 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-03-16 15:38:19 | <Aquazi> | one that treats errors as first class data rather than having IOErrors |
| 2021-03-16 15:38:22 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 276 seconds) |
| 2021-03-16 15:38:49 | <Aquazi> | a Result, or Either type of sensible api rather than this ugliness |
| 2021-03-16 15:38:59 | → | stevenxl joins (uid133530@gateway/web/irccloud.com/x-ugkyksdwpgkpdwuw) |
| 2021-03-16 15:39:14 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-03-16 15:39:22 | × | frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 256 seconds) |
| 2021-03-16 15:40:09 | → | frozenErebus joins (~frozenEre@37.231.243.22) |
| 2021-03-16 15:41:02 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-16 15:42:20 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) |
| 2021-03-16 15:43:47 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-16 15:46:03 | <[exa]> | Aquazi: ah so, that may be complicated because the underlying OS functions may actually produce the IO errors |
| 2021-03-16 15:46:08 | <dminuoso> | One persons ugliness is another persons blessing. |
| 2021-03-16 15:46:50 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7c0e:3b57:dfb:2cb4) (Ping timeout: 264 seconds) |
| 2021-03-16 15:47:04 | → | ajc joins (~ajc@69.231.232.79) |
| 2021-03-16 15:47:04 | <Aquazi> | blessed with poor error handling experience...? |
| 2021-03-16 15:48:40 | <dminuoso> | Try writing Go for a while. Manual error passing can be really cumbersome to work with. :) |
| 2021-03-16 15:51:35 | <Aquazi> | i never mentioned error passing? I'm merely saying I wanted to know if there are libraries that have a more explicit encoding of errors and better dx than io/ioerror |
| 2021-03-16 15:51:41 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:7d06:8763:7b6a:1565) (Remote host closed the connection) |
| 2021-03-16 15:51:41 | <dminuoso> | Also, you rather quickly begin asking for row types if you want to propagate errors upwards. |
| 2021-03-16 15:51:52 | <dminuoso> | Hiding them inside IO avoids that |
| 2021-03-16 15:52:04 | <dminuoso> | Ah. |
| 2021-03-16 15:52:08 | <Aquazi> | that's the point, I want to handle them not hide them |
| 2021-03-16 15:52:21 | <dminuoso> | Welcome to the effect system game. |
| 2021-03-16 15:52:22 | <Aquazi> | IOError doesn't offer a great dx for that |
| 2021-03-16 15:52:26 | <dminuoso> | Well |
| 2021-03-16 15:52:44 | <dminuoso> | Strictly speaking we have good ergonomics with exceptions, *if* you use exception hierarchies |
| 2021-03-16 15:53:05 | <dminuoso> | In the sense of https://simonmar.github.io/bib/papers/ext-exceptions.pdf |
| 2021-03-16 15:53:15 | × | minoru_shiraeesh quits (~shiraeesh@109.166.59.197) (Ping timeout: 265 seconds) |
| 2021-03-16 15:53:47 | × | frozenErebus quits (~frozenEre@37.231.243.22) (Quit: leaving) |
| 2021-03-16 15:53:58 | <dminuoso> | But you still have to document possible exceptions outside Haskell. If you want these to reside in the type system, you likely end up in the effect system game. |
| 2021-03-16 15:54:53 | hackage | boomerang 1.4.7 - Library for invertible parsing and printing https://hackage.haskell.org/package/boomerang-1.4.7 (JeremyShaw) |
| 2021-03-16 15:55:43 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-16 15:57:30 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-16 16:00:02 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 2021-03-16 16:00:03 | × | pineapples[m] quits (pineapples@gateway/shell/matrix.org/x-cruihamqujucfumq) (Quit: Idle for 30+ days) |
All times are in UTC.