Logs: liberachat/#haskell
| 2021-06-25 20:34:09 | <MorrowM> | Either err () |
| 2021-06-25 20:34:26 | <maerwald> | That's Maybe |
| 2021-06-25 20:34:27 | <maerwald> | lol |
| 2021-06-25 20:34:58 | <c_wraith> | It's got the right connotations, though |
| 2021-06-25 20:35:03 | <MorrowM> | ^ |
| 2021-06-25 20:35:27 | <int-e> | I tried, but I got Nothing <-- sounds like a failure to me, too. |
| 2021-06-25 20:35:50 | <c_wraith> | "what error did you find?" "Nothing!" |
| 2021-06-25 20:36:18 | <__monty__> | Well if you want to indicate which error, you do need Either? |
| 2021-06-25 20:36:46 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-25 20:36:48 | <c_wraith> | Except I don't want to allow a value in the success response. |
| 2021-06-25 20:36:51 | <c_wraith> | That's too big |
| 2021-06-25 20:37:12 | <c_wraith> | It's either "here's the error" or "it was fine" |
| 2021-06-25 20:37:25 | <dminuoso> | Oh you want an inverted Maybe |
| 2021-06-25 20:37:37 | <MorrowM> | type Validate err = Either err () |
| 2021-06-25 20:37:47 | <dminuoso> | 22:34:08 MorrowM | Either err () |
| 2021-06-25 20:37:49 | <dminuoso> | This indeed. |
| 2021-06-25 20:38:10 | <c_wraith> | Like I said - it's got the right connotations. It's just awkward. |
| 2021-06-25 20:38:38 | <__monty__> | And you don't like Maybe err? |
| 2021-06-25 20:38:42 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-25 20:38:53 | <c_wraith> | It's got backwards connotations. |
| 2021-06-25 20:39:00 | <MorrowM> | Oooh, maybe a pattern synonym would be nice, with Either err () |
| 2021-06-25 20:39:18 | <Profpatsch> | I defined the canonical error type to be Error = Error [Text] |
| 2021-06-25 20:39:20 | <c_wraith> | I thought about that - it's basically just the same as creating a new type |
| 2021-06-25 20:39:28 | <int-e> | c_wraith: Meh, it's not our fault that you're asking the wrong question. |
| 2021-06-25 20:39:35 | <Profpatsch> | So Maybe Error wouldn’t be super awkward |
| 2021-06-25 20:39:39 | <c_wraith> | Yeah, I know the question is wrong |
| 2021-06-25 20:39:51 | <c_wraith> | But I'm sort of forced into it |
| 2021-06-25 20:39:59 | <Profpatsch> | Though I would still use Either Error () |
| 2021-06-25 20:40:03 | <c_wraith> | Have to maintain compatibility with external stuff |
| 2021-06-25 20:40:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-25 20:42:33 | <justsomeguy> | Can (time and space) complexity be measured with the λ-calculus? |
| 2021-06-25 20:43:33 | × | fendor quits (~fendor@91.141.57.241.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-06-25 20:43:39 | × | Guest33 quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-25 20:43:43 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-06-25 20:44:27 | <c_wraith> | justsomeguy: within its own context, yes. You have to define an evaluation model and what the cost of primitive operations is |
| 2021-06-25 20:47:34 | × | warnz quits (~warnz@2600:1700:77c0:5610:350e:4738:7a75:35e) (Remote host closed the connection) |
| 2021-06-25 20:48:27 | → | fendor joins (~fendor@91.141.57.241.wireless.dyn.drei.com) |
| 2021-06-25 20:48:43 | → | qbt joins (~edun@user/edun) |
| 2021-06-25 20:48:54 | <c_wraith> | justsomeguy: which... really, those are necessary steps to measure complexity in any programming language. They're just often assumed to be known in more common systems |
| 2021-06-25 20:51:13 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 20:52:34 | <dminuoso> | Profpatsch: Okay so I think I finally reached the point that you referred to. |
| 2021-06-25 20:52:37 | <justsomeguy> | I guess the evalauation strategy will have to account for the length of expressions somehow, and maybe also how to find them. |
| 2021-06-25 20:52:49 | <dminuoso> | https://youtu.be/2V1FtfBDsLU?t=3037 |
| 2021-06-25 20:53:11 | <dminuoso> | Profpatsch: And the argument made was extremely poor in my opinion. |
| 2021-06-25 20:53:19 | × | qbt quits (~edun@user/edun) (Ping timeout: 258 seconds) |
| 2021-06-25 20:54:19 | <davean> | c_wraith: I mean thats not entirely true - you say what thing you're counting when you do algs, and theres often debate about which is the thing to count |
| 2021-06-25 20:54:27 | <dminuoso> | Arguing that "ignoring unneeded keys" is good for the same reason that when UPS comes, you dont care about any other packages on the truck.. well. Using completely unrelated programming problems to argue programming design.. yeah, not convincing me. |
| 2021-06-25 20:54:41 | <dminuoso> | *completely unrelated non-programming problems |
| 2021-06-25 20:55:36 | <c_wraith> | davean: more formal environments are better about it. But in less formal environments, it's very common to throw O(something) around without defining it |
| 2021-06-25 20:55:43 | → | Morrow_ joins (~MorrowM_@147.161.9.9) |
| 2021-06-25 20:55:59 | <davean> | c_wraith: sure, but I don't think I'd have passed my classes if I did that! |
| 2021-06-25 20:56:06 | <__monty__> | The advantages he talks about are pretty much those of Purescript's row types. |
| 2021-06-25 20:56:17 | <Profpatsch> | dminuoso: yeah, I’ll have to watch it again |
| 2021-06-25 20:56:18 | <davean> | sometimes you count memory accesses, sometimes you count ALU instructions, sometimes ... |
| 2021-06-25 20:56:20 | <davean> | it varies a lot |
| 2021-06-25 20:56:27 | <davean> | depends on what you think is expensive about the alg |
| 2021-06-25 20:58:17 | × | MorrowM quits (~MorrowM_@147.161.9.135) (Ping timeout: 250 seconds) |
| 2021-06-25 20:58:21 | × | deshalb quits (~deshalb@user/deshalb) (Quit: leaving) |
| 2021-06-25 20:59:32 | × | Xnuk quits (~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in) |
| 2021-06-25 21:00:12 | → | Xnuk joins (~xnuk@45.76.202.58) |
| 2021-06-25 21:00:22 | <hpc> | and sometimes you aren't even allowed to pretend that multiplication is constant time, your numbers are more like Integer than Int64 |
| 2021-06-25 21:00:54 | <davean> | hpc: absolutely! |
| 2021-06-25 21:01:03 | <davean> | I said ALU not multiplication! :) |
| 2021-06-25 21:01:34 | <davean> | justsomeguy: in the lamba calculus we can count things like combinator applications pretty easily for example |
| 2021-06-25 21:02:17 | <davean> | Turing machines and lambda calculus both have sensible primative operations to talk about counting - unlike more real machines |
| 2021-06-25 21:02:23 | <davean> | with both of them there is a natural choice. |
| 2021-06-25 21:02:39 | <davean> | Said natural choice is irrelivent to Haskell though |
| 2021-06-25 21:05:13 | × | adinfinitum quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Ping timeout: 250 seconds) |
| 2021-06-25 21:06:10 | <justsomeguy> | Heh, this all started with me reading the first chapter of HPFP (haskellbook.com), and now I've become totally diverted (in a good way) asking questions about lambda calculus. Currently reading "Beta Reduction is Invariant, Indeed". |
| 2021-06-25 21:06:34 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-25 21:07:09 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-06-25 21:07:09 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-25 21:07:34 | allbery_b | is now known as geekosaur |
| 2021-06-25 21:07:44 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 2021-06-25 21:08:15 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-25 21:09:42 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-25 21:10:20 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-06-25 21:10:45 | <justsomeguy> | It's interesting in its own right. :^) |
| 2021-06-25 21:11:37 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-25 21:14:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-25 21:14:51 | × | zeenk quits (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-25 21:15:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-06-25 21:16:19 | <nitrix> | That chapter is intentional, to open your eyes to the functional world and just how powerful functions can be. |
| 2021-06-25 21:16:47 | <ericson2314> | https://hackage.haskell.org/package/regex-tdfa-text should this be deprecated? |
| 2021-06-25 21:17:03 | <ericson2314> | if regular regex-tdfa supports text now? |
| 2021-06-25 21:18:03 | <ericson2314> | I windy road including https://github.com/Profpatsch/yarn2nix/commit/7db64eaaecf8034f26601d65a22b8a5905c81b18 led me here |
| 2021-06-25 21:18:38 | <Profpatsch> | hello |
| 2021-06-25 21:18:52 | × | ph88^ quits (~ph88@2a02:8109:9e00:7e5c:bd68:2e32:8d11:b728) (Ping timeout: 246 seconds) |
| 2021-06-25 21:19:21 | × | niko quits (~niko@libera/staff/niko) (Quit: EOF) |
| 2021-06-25 21:19:33 | → | egoist joins (~egoist@186.235.82.7) |
| 2021-06-25 21:20:25 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:65ac:7b6b:22bc:47ee) |
| 2021-06-25 21:23:26 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2021-06-25 21:24:45 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-25 21:25:29 | → | o joins (~niko@libera/staff/niko) |
| 2021-06-25 21:28:15 | → | jess joins (~jess@libera/staff/jess) |
| 2021-06-25 21:30:10 | → | ystael joins (~ystael@user/ystael) |
| 2021-06-25 21:30:12 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-25 21:32:33 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 244 seconds) |
| 2021-06-25 21:32:34 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-25 21:32:55 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
All times are in UTC.