Logs: liberachat/#haskell
| 2026-01-03 14:08:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 14:09:13 | → | CloneOfNone joins (~CloneOfNo@user/CloneOfNone) |
| 2026-01-03 14:09:15 | × | CloneOfNone_ quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 240 seconds) |
| 2026-01-03 14:11:39 | → | Miroboru joins (~myrvoll@188.113.115.67) |
| 2026-01-03 14:13:04 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 14:15:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 14:18:05 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 14:18:47 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 14:28:13 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 14:28:54 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 14:29:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 14:32:31 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-03 14:33:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 14:39:18 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 14:40:10 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 14:40:41 | → | crazazy joins (~crazazy@tilde.town) |
| 2026-01-03 14:44:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 14:46:39 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 14:47:53 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 14:49:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-03 14:50:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-03 14:51:19 | × | crazazy quits (~crazazy@tilde.town) (Ping timeout: 264 seconds) |
| 2026-01-03 14:52:54 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 14:54:05 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:00:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 15:05:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 15:09:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 15:10:43 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:11:16 | <haskellbridge> | <Liamzee> interesting question: can free monads be used to specify a program via types as an eDSL? |
| 2026-01-03 15:11:19 | <haskellbridge> | <Liamzee> the goal is velocity |
| 2026-01-03 15:14:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-03 15:20:18 | → | mmohammadi9812 joins (~mohammad@85.185.35.42) |
| 2026-01-03 15:25:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 15:26:02 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-03 15:26:40 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 15:29:48 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:30:20 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-03 15:31:00 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:34:48 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:36:33 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:37:51 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 2026-01-03 15:39:51 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:41:04 | × | mmohammadi9812 quits (~mohammad@85.185.35.42) (Ping timeout: 260 seconds) |
| 2026-01-03 15:41:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 15:41:54 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:42:13 | → | bb010g joins (~bb010g@wank.party) |
| 2026-01-03 15:44:48 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:46:00 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:46:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-03 15:49:50 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 15:51:03 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 15:56:28 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2026-01-03 15:56:55 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 16:00:50 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-03 16:03:59 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-01-03 16:05:34 | → | Pozyomka joins (~pyon@user/pyon) |
| 2026-01-03 16:09:30 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2026-01-03 16:10:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 16:14:20 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 16:15:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 16:16:35 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 16:19:11 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-01-03 16:19:55 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 16:20:38 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 16:24:54 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 16:25:35 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 2026-01-03 16:26:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 16:26:49 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 2026-01-03 16:30:40 | × | bb010g quits (~bb010g@wank.party) (Remote host closed the connection) |
| 2026-01-03 16:31:13 | → | bb010g joins (~bb010g@wank.party) |
| 2026-01-03 16:31:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-03 16:34:48 | × | Motok quits (~moto@user/Motok) (Remote host closed the connection) |
| 2026-01-03 16:42:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 16:46:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-03 16:49:05 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-03 16:49:12 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 2026-01-03 16:49:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-03 16:54:50 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-03 16:54:54 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-03 16:57:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 17:04:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-03 17:11:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-03 17:13:55 | → | Milan_Vanca joins (~Milan_Van@user/Milan-Vanca:32634) |
| 2026-01-03 17:14:23 | ← | Milan_Vanca parts (~Milan_Van@user/Milan-Vanca:32634) () |
| 2026-01-03 17:16:42 | → | Milan_Vanca joins (~milan@user/Milan-Vanca:32634) |
| 2026-01-03 17:16:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-03 17:18:59 | <Milan_Vanca> | Hello :), do you use partial functions? I get that it is unsafe and may lead to runtime errors, but it feels pointles to use function that produces Maybe then pattern match on Nothing and throw my own error. |
| 2026-01-03 17:19:51 | <Milan_Vanca> | Or is it good practise to always think about all possible branches and explicitly document them? Even when they could not possibly be evaluated at runtime? |
| 2026-01-03 17:19:55 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-03 17:21:18 | <monochrom> | I use partial functions when it becomes over-engineering to make them total. |
| 2026-01-03 17:21:30 | → | spew joins (~spew@user/spew) |
| 2026-01-03 17:21:40 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 2026-01-03 17:22:41 | <Milan_Vanca> | So basically when you feel/decide it is not worth it. |
| 2026-01-03 17:25:39 | <Leary> | Milan_Vanca: The only partial function I use often is `error`. It's usually worth writing your own error messages, since the generic ones tend not to be very helpful. |
| 2026-01-03 17:25:44 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-01-03 17:26:28 | <Milan_Vanca> | Leary: hmm so no other use of partial? Interesting. |
| 2026-01-03 17:27:40 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-01-03 17:30:47 | <Milan_Vanca> | How wouuld you guyz approach this problem. Imagine I have list of elements of arbitrary length. I pad it so it is multiple of 512. Now I try to consume this list by chunks of 512. I am tempted to use partial function for consuming as it should not be possible to have non mod 512 lenght. If padding is correct error can't happen. |
| 2026-01-03 17:31:37 | <Milan_Vanca> | Leary: Would you still use total function and pattern match on Nothing and then throw error? |
| 2026-01-03 17:32:25 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
All times are in UTC.