Newest at the top
| 2025-01-23 20:49:29 +0100 | <homo> | _73 as an exercise, just play along with that, especially when you have job it's important to use same terminology that your co-workers use no matter how wrong it is, don't correct anyone in a work-place if you aren't willing to take risk of loosing job |
| 2025-01-23 20:49:09 +0100 | acidjnk | (~acidjnk@p200300d6e7283f96087c68b89a449bc9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-01-23 20:47:54 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 20:47:48 +0100 | cy7 | (~yt@user/cysh) (Quit: leaving) |
| 2025-01-23 20:42:35 +0100 | dhil | (~dhil@2a0c:b381:588:5f00:763b:300a:4833:ba69) (Ping timeout: 265 seconds) |
| 2025-01-23 20:42:26 +0100 | cy7 | (~yt@user/cysh) cysh |
| 2025-01-23 20:42:26 +0100 | cy7 | (~yt@pool-99-238-69-14.cpe.net.cable.rogers.com) (Changing host) |
| 2025-01-23 20:38:17 +0100 | akegalj | (~akegalj@54-133.dsl.iskon.hr) (Quit: leaving) |
| 2025-01-23 20:36:40 +0100 | <lambdabot> | (a -> b) -> a -> b |
| 2025-01-23 20:36:39 +0100 | <homo> | :t ($) |
| 2025-01-23 20:34:00 +0100 | <lambdabot> | (a -> b -> c) -> (a, b) -> c |
| 2025-01-23 20:33:59 +0100 | <homo> | :t uncurry |
| 2025-01-23 20:33:53 +0100 | <lambdabot> | ((a, b) -> c) -> a -> b -> c |
| 2025-01-23 20:33:52 +0100 | <homo> | :t curry |
| 2025-01-23 20:31:29 +0100 | <_73> | Ok, this is what I thought. |
| 2025-01-23 20:30:35 +0100 | <mauke> | I don't see what $ has to do with currying |
| 2025-01-23 20:30:25 +0100 | <mauke> | I agree with you |
| 2025-01-23 20:27:07 +0100 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-01-23 20:24:44 +0100 | <_73> | Hi. Today in class when discussing OCaml a classmate asked "does OCaml have a currying operator like $ in haskell"? The professor sort of brushed it off but I am confused as I always thought of $ as an operator for function application. I have never heard it referred to as a "currying operator", and cant find any such statements online. Is it accurate to refer to $ as a "currying operator"? |
| 2025-01-23 20:22:49 +0100 | <srazkvt> | biggest problem of pijul rn imo is server part isn't open, or at least wasn't last time i checked |
| 2025-01-23 20:22:03 +0100 | <homo> | but before any of that I want to toy with darcs longer |
| 2025-01-23 20:21:38 +0100 | <homo> | another possibility is to learn format of pijul repository and implement pijul in haskell without reading any line of rust code |
| 2025-01-23 20:21:29 +0100 | _73 | (~user@129.63.248.16) _73 |
| 2025-01-23 20:20:23 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-01-23 20:14:45 +0100 | <homo> | well, pijul got rewritten from ocaml to rust long time ago and might be incompatible with old ocaml implementation, so converting pijul to haskell requires understanding rust |
| 2025-01-23 20:13:06 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 265 seconds) |
| 2025-01-23 20:12:07 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 264 seconds) |
| 2025-01-23 20:08:45 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-01-23 20:08:15 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 20:07:20 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-23 20:06:07 +0100 | jespada | (~jespada@2800:a4:2317:8200:52e:e131:1453:b068) (Client Quit) |
| 2025-01-23 20:04:54 +0100 | jespada | (~jespada@2800:a4:2317:8200:52e:e131:1453:b068) jespada |
| 2025-01-23 20:03:24 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2025-01-23 20:00:11 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 19:57:59 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2025-01-23 19:55:46 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) |
| 2025-01-23 19:54:39 +0100 | <haskellbridge> | <sm> I'd say that is a long shot. Darcs is a big crufty old codebase. |
| 2025-01-23 19:54:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-23 19:53:40 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
| 2025-01-23 19:50:51 +0100 | <homo> | also having darcs on riscv would be very neat, which again is more realistic to do with microhs |
| 2025-01-23 19:46:52 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-23 19:44:47 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-01-23 19:44:39 +0100 | nhar | (~noah@host-68-169-128-200.BROOLT1.epbfi.com) (Ping timeout: 260 seconds) |
| 2025-01-23 19:43:58 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-01-23 19:43:07 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-01-23 19:41:51 +0100 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 252 seconds) |
| 2025-01-23 19:41:35 +0100 | xdminsy | (~xdminsy@117.147.71.143) xdminsy |
| 2025-01-23 19:41:24 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-23 19:40:52 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-01-23 19:40:46 +0100 | xdminsy | (~xdminsy@117.147.71.143) (Ping timeout: 252 seconds) |