Logs: liberachat/#haskell
| 2021-08-27 05:48:37 | <int-e> | Control flow. |
| 2021-08-27 05:48:53 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 05:49:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-27 05:51:24 | × | reumeth quits (~reumeth@user/reumeth) (Quit: reumeth) |
| 2021-08-27 05:52:24 | <Axman6> | sometimes performance |
| 2021-08-27 05:52:34 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-08-27 05:53:52 | → | slack1256 joins (~slack1256@191.125.26.192) |
| 2021-08-27 05:54:09 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2021-08-27 05:54:49 | × | falafel quits (~falafel@72.174.188.210) (Ping timeout: 252 seconds) |
| 2021-08-27 05:55:18 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 05:59:57 | × | slack1256 quits (~slack1256@191.125.26.192) (Remote host closed the connection) |
| 2021-08-27 06:00:36 | → | qbt joins (~edun@user/edun) |
| 2021-08-27 06:00:53 | <Guest372> | simple example for control fow? |
| 2021-08-27 06:04:21 | × | falafel quits (~falafel@72.174.188.210) (Ping timeout: 250 seconds) |
| 2021-08-27 06:06:37 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-27 06:08:10 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-27 06:14:45 | → | lortabac joins (~lortabac@62.98.0.240) |
| 2021-08-27 06:16:57 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 06:19:34 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-27 06:19:45 | × | azeem quits (~azeem@176.201.38.112) (Ping timeout: 248 seconds) |
| 2021-08-27 06:20:22 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 06:20:46 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-08-27 06:20:49 | × | nilof quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 250 seconds) |
| 2021-08-27 06:20:50 | <aegon> | Guest372: https://www.haskellforall.com/2012/12/the-continuation-monad.html |
| 2021-08-27 06:23:01 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 06:23:25 | <aegon> | Guest372: actually i think i remember this being easier to grok https://www.hacklewayne.com/callcc-in-haskell-and-my-ultimate-monad |
| 2021-08-27 06:23:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-27 06:24:19 | × | sjb0 quits (~stephen@1.145.57.172) (Read error: Connection reset by peer) |
| 2021-08-27 06:24:51 | × | falafel quits (~falafel@72.174.188.210) (Remote host closed the connection) |
| 2021-08-27 06:24:57 | <aegon> | afaik the performance case that Axman is talking about is a side effect of it being able to short circuit further computation when something goes wrong. With something like the Maybe monad, even though Nothing <> _ = Nothing it will still evaluate the entire logic chain. With ContT you can early out and skip the no-ops at runtime |
| 2021-08-27 06:25:03 | <aegon> | Guest372: ^ |
| 2021-08-27 06:25:15 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 06:25:54 | <int-e> | since we're filling an empty question with contents... there's also the codensity business, e.g. http://comonad.com/reader/2011/free-monads-for-less/ |
| 2021-08-27 06:26:53 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2021-08-27 06:27:31 | <int-e> | (the problem is that there's more to CPS than the continuation monad, but no context was provided) |
| 2021-08-27 06:28:07 | <aegon> | yeah, callbacks are continuations right? |
| 2021-08-27 06:28:11 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2021-08-27 06:28:15 | <aegon> | or am i mixed up |
| 2021-08-27 06:28:50 | <int-e> | it also has a low-level manifestation which sits at the core of GHC's runtime model |
| 2021-08-27 06:28:52 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-08-27 06:29:27 | <int-e> | where it replaces what would otherwise be a control stack |
| 2021-08-27 06:29:57 | × | falafel quits (~falafel@72.174.188.210) (Read error: Connection reset by peer) |
| 2021-08-27 06:30:11 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 06:30:49 | <Guest372> | ok |
| 2021-08-27 06:31:12 | → | Gurkenglas joins (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) |
| 2021-08-27 06:34:51 | × | falafel quits (~falafel@72.174.188.210) (Read error: Connection reset by peer) |
| 2021-08-27 06:35:04 | → | falafel joins (~falafel@72.174.188.210) |
| 2021-08-27 06:37:17 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-08-27 06:38:32 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-08-27 06:39:27 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-27 06:41:40 | × | falafel quits (~falafel@72.174.188.210) (Ping timeout: 240 seconds) |
| 2021-08-27 06:42:36 | → | sjb0 joins (~stephen@1.145.117.250) |
| 2021-08-27 06:42:37 | → | cheater joins (~Username@user/cheater) |
| 2021-08-27 06:43:47 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 240 seconds) |
| 2021-08-27 06:44:19 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 2021-08-27 06:46:35 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-27 06:49:00 | → | fendor joins (~fendor@178.165.207.147.wireless.dyn.drei.com) |
| 2021-08-27 06:49:25 | → | nilof joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-08-27 06:52:41 | <aegon> | hmm, is there a way to derive generic outside of the data declaration? |
| 2021-08-27 06:53:12 | <tomsmeding> | aegon: StandaloneDeriving ? |
| 2021-08-27 06:53:46 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-08-27 06:56:07 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 2021-08-27 06:58:36 | <nilof> | So, I've been thinking, can you actually embed Tarski's axioms for elementary euclidean geometry in Hindley-Milner type theory? |
| 2021-08-27 06:59:13 | <nilof> | They are written in such a way that they never need to use sets or second order logic, and all of the quantifiers in the (first order logic) axioms seem to just use let-quantifiers |
| 2021-08-27 07:03:25 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 2021-08-27 07:09:06 | → | kenran joins (~kenran@200116b82b180400b489723c692b519e.dip.versatel-1u1.de) |
| 2021-08-27 07:11:42 | → | Guest55 joins (~Guest55@182.64.179.3) |
| 2021-08-27 07:14:08 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-27 07:14:59 | × | Skyfire quits (~pyon@user/pyon) (Ping timeout: 250 seconds) |
| 2021-08-27 07:15:18 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-27 07:16:17 | × | azeem quits (~azeem@176.201.20.14) (Ping timeout: 248 seconds) |
| 2021-08-27 07:16:27 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-27 07:17:14 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 07:18:25 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-27 07:19:13 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-08-27 07:23:10 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2021-08-27 07:23:27 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-27 07:23:40 | × | azeem quits (~azeem@176.201.20.14) (Ping timeout: 240 seconds) |
| 2021-08-27 07:24:22 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 07:26:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-27 07:26:59 | → | acidjnk joins (~acidjnk@p200300d0c72b9541c8d0619322fc5f47.dip0.t-ipconnect.de) |
| 2021-08-27 07:27:32 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-27 07:31:35 | <aegon> | tomsmeding: thanks! |
| 2021-08-27 07:33:53 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-27 07:34:25 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-27 07:34:37 | → | mikoto-c1 joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-08-27 07:34:49 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-08-27 07:34:53 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2021-08-27 07:35:12 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-08-27 07:35:16 | → | vysn joins (~vysn@user/vysn) |
| 2021-08-27 07:35:40 | × | lortabac quits (~lortabac@62.98.0.240) (Read error: Connection reset by peer) |
| 2021-08-27 07:35:44 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-27 07:36:10 | × | azeem quits (~azeem@176.201.20.14) (Ping timeout: 240 seconds) |
| 2021-08-27 07:38:03 | → | azeem joins (~azeem@176.201.20.14) |
| 2021-08-27 07:38:23 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-27 07:39:40 | × | sjb0 quits (~stephen@1.145.117.250) (Ping timeout: 240 seconds) |
| 2021-08-27 07:39:55 | → | lortabac joins (~lortabac@151.73.200.217) |
| 2021-08-27 07:43:06 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-27 07:43:17 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-08-27 07:43:18 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
All times are in UTC.