Logs: freenode/#haskell
| 2021-03-09 16:20:17 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 16:21:49 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 16:22:29 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-09 16:23:00 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-03-09 16:23:01 | <Gurkenglas> | FortuneZero, unit_or () () = (); unit_or () undefined = (); unit_or undefined () = (); unit_or undefined undefined = undefined. Except you can't write it like that, because you're not supposed to be able to directly check for undefined, and besides it would check the cases in order. But when undefined means infinite loop, you can say "calculate both arguments in parallel and return () when one finishes", but I was wondering whether that's |
| 2021-03-09 16:23:01 | <Gurkenglas> | theoretically cheating. |
| 2021-03-09 16:25:37 | <dolio> | There are packages that use low level GHC primitives to make it. |
| 2021-03-09 16:27:34 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-09 16:27:45 | <dolio> | The primitives make no guarantee that it works, though, I think. |
| 2021-03-09 16:28:37 | <dolio> | Even in GHC, probably. |
| 2021-03-09 16:29:58 | → | conal joins (~conal@64.71.133.70) |
| 2021-03-09 16:31:43 | × | toorevitimirp quits (~tooreviti@117.182.183.154) (Remote host closed the connection) |
| 2021-03-09 16:32:17 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 272 seconds) |
| 2021-03-09 16:36:27 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 16:37:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-09 16:38:27 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 246 seconds) |
| 2021-03-09 16:39:36 | → | ADG1089__ joins (~aditya@223.226.235.12) |
| 2021-03-09 16:39:46 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-09 16:40:00 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-09 16:40:50 | × | Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 2021-03-09 16:41:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-09 16:47:24 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 240 seconds) |
| 2021-03-09 16:47:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 264 seconds) |
| 2021-03-09 16:47:33 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-03-09 16:48:21 | → | mayleesia joins (4d0db16a@dynamic-077-013-177-106.77.13.pool.telefonica.de) |
| 2021-03-09 16:50:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-09 16:51:59 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-09 16:52:01 | → | Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-09 16:53:48 | <FortuneZero> | I see what you are asking |
| 2021-03-09 16:55:25 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-09 16:55:43 | <FortuneZero> | perhaps in GHC it can be implemented in parallel as you suggested: |
| 2021-03-09 16:55:44 | <FortuneZero> | unit_or x y = unsafePerformIo $ Control.Concurrent.Async.race_ (return x) (return y) |
| 2021-03-09 16:56:47 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-09 16:56:58 | <FortuneZero> | Is theoretical Haskell even a thing :] |
| 2021-03-09 16:57:43 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-03-09 16:58:24 | × | comerijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-09 16:58:56 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-03-09 16:59:14 | → | gitgoood joins (~gitgood@82-132-216-176.dab.02.net) |
| 2021-03-09 17:00:04 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 17:01:23 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) |
| 2021-03-09 17:01:37 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 17:01:53 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-03-09 17:01:59 | × | gitgood quits (~gitgood@82-132-218-166.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-09 17:02:02 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 17:02:31 | <Gurkenglas> | yea im reading a domain theory book very slowly and thinking on all the tangents and hoping itll make me breeze through the excercises |
| 2021-03-09 17:02:39 | <Gurkenglas> | ( https://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf ) |
| 2021-03-09 17:03:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 17:03:53 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Read error: Connection reset by peer) |
| 2021-03-09 17:03:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 17:06:04 | → | ozataman joins (~ozataman@pool-100-37-221-69.phlapa.fios.verizon.net) |
| 2021-03-09 17:07:50 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 17:10:05 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-09 17:10:26 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-09 17:12:05 | Techcable_ | is now known as Techcable |
| 2021-03-09 17:12:27 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-09 17:13:34 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 265 seconds) |
| 2021-03-09 17:19:42 | → | lordyod6 joins (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) |
| 2021-03-09 17:20:02 | × | rj quits (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-03-09 17:20:07 | → | ep1ctetus_ joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-09 17:20:20 | × | lordyod quits (~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-03-09 17:20:43 | lordyod6 | is now known as lordyod |
| 2021-03-09 17:21:09 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-03-09 17:21:44 | → | redmp joins (~redmp@172.58.35.32) |
| 2021-03-09 17:23:38 | × | epicte7us quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-03-09 17:23:59 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 17:25:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-09 17:28:41 | Vq_ | is now known as Vq |
| 2021-03-09 17:28:51 | <dolio> | Yeah, that's kind of an example where domain theory does not exactly match what is exposed in a lot of programming languages. I think it basically abstracts the ability to interleave algorithms and see if one gives you a result. But that's not included as an operation on arbitrary things in most programming languages. |
| 2021-03-09 17:29:08 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:81af:7dfd:a1aa:7c22) (Remote host closed the connection) |
| 2021-03-09 17:29:58 | <dolio> | You could add it, but it'd complicate the execution. |
| 2021-03-09 17:30:32 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-03-09 17:31:04 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-09 17:31:49 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-09 17:37:29 | → | ArsenArsen joins (~Arsen@fsf/member/ArsenArsen) |
| 2021-03-09 17:38:32 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-03-09 17:38:43 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-03-09 17:39:49 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-03-09 17:41:59 | <redmp> | i heard that the `acid-state` package isn't actually safe against crashes.. are there similar packages which are known to be reliable? |
| 2021-03-09 17:44:41 | → | arcontethegreat[ joins (arcontethe@gateway/shell/matrix.org/x-tdaiuqgmbdibjmlc) |
| 2021-03-09 17:47:19 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-09 17:47:43 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 17:48:24 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 2021-03-09 17:51:08 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:d8fe:8116:376f:ddd2) (Ping timeout: 260 seconds) |
| 2021-03-09 17:52:24 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 17:52:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 17:54:27 | <c_wraith> | nothing in haskell. you'd probably end up with sqlite bindings as the easiest way forward. |
| 2021-03-09 17:56:09 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-09 17:58:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-09 17:58:56 | × | FortuneZero quits (3223b878@50.35.184.120) (Quit: Connection closed) |
| 2021-03-09 18:00:27 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds) |
| 2021-03-09 18:00:34 | × | ADG1089__ quits (~aditya@223.226.235.12) (Remote host closed the connection) |
| 2021-03-09 18:01:14 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 264 seconds) |
| 2021-03-09 18:01:47 | → | augnun joins (~augnun@2804:14c:658b:41bb:5bdd:b325:740e:cfd8) |
| 2021-03-09 18:01:57 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 18:03:02 | × | Athas quits (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-09 18:03:45 | → | Athas joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 2021-03-09 18:04:09 | × | Guest29757 quits (~textual@mskresolve-a.mskcc.org) (Ping timeout: 264 seconds) |
| 2021-03-09 18:04:16 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-09 18:05:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-09 18:06:35 | → | cheater joins (~user@unaffiliated/cheater) |
All times are in UTC.