Newest at the top
2024-12-21 17:18:26 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2024-12-21 17:17:29 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-21 17:14:43 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2024-12-21 17:06:31 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-21 17:04:51 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2024-12-21 17:02:32 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2024-12-21 17:01:01 +0100 | ethantwardy | (user@user/ethantwardy) ethantwardy |
2024-12-21 16:59:27 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-21 16:58:50 +0100 | ethantwardy | (user@user/ethantwardy) (Quit: WeeChat 4.4.2) |
2024-12-21 16:58:48 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 246 seconds) |
2024-12-21 16:58:25 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-12-21 16:58:10 +0100 | <hellwolf> | I did :Set -XNoImplicitPrelude afterwards |
2024-12-21 16:57:56 +0100 | <hellwolf> | you are right. |
2024-12-21 16:57:50 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Read error: Connection reset by peer) |
2024-12-21 16:57:33 +0100 | <probie> | hellwolf: are you sure? They're not imported for me. If I run `ghci -XNoImplicitPrelude` and ask `:k Int` I definitely get a "Not in scope" error |
2024-12-21 16:54:27 +0100 | alecs | (~alecs@61.pool85-58-154.dynamic.orange.es) alecs |
2024-12-21 16:50:24 +0100 | <hellwolf> | can one go further to strip those away? |
2024-12-21 16:50:09 +0100 | <hellwolf> | hence Int, Bool, etc. are all available. |
2024-12-21 16:49:59 +0100 | <hellwolf> | Question: even with NoImplicitPrelude, GHC.Types seem still imported |
2024-12-21 16:48:47 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-12-21 16:46:09 +0100 | ft | (~ft@p508db070.dip0.t-ipconnect.de) ft |
2024-12-21 16:44:03 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-21 16:43:14 +0100 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-12-21 16:43:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-12-21 16:39:43 +0100 | ft | (~ft@p508db9c7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-12-21 16:34:52 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2024-12-21 16:33:01 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-12-21 16:28:42 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-21 16:22:01 +0100 | ephilalethes | (~noumenon@202.186.203.84) (Read error: Connection reset by peer) |
2024-12-21 16:20:23 +0100 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-12-21 16:18:32 +0100 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
2024-12-21 16:17:41 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-12-21 16:15:42 +0100 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
2024-12-21 16:15:04 +0100 | <enikar> | APL is too odd |
2024-12-21 16:14:01 +0100 | youthlic | (~Thunderbi@user/youthlic) (Client Quit) |
2024-12-21 16:13:59 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-12-21 16:13:50 +0100 | <probie> | sorry, `×.◌:4 3` |
2024-12-21 16:13:39 +0100 | ski | nods |
2024-12-21 16:13:22 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-12-21 16:13:21 +0100 | <probie> | e.g. `3 4 swap drop dup *` would be `×.◌:3 4` |
2024-12-21 16:10:49 +0100 | <probie> | ski: yes, but it since it's also inspired by APL and therefore everything important needs to be a single character, they're most commonly spelled `:`, `◌` and `.` respectively |
2024-12-21 16:07:37 +0100 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-12-21 16:07:14 +0100 | <enikar> | ski: thanks, I didn't know that, but I wrote a simple calculator that used threaded code. |
2024-12-21 16:06:22 +0100 | <ski> | probie : does it have `swap',`drop' and `dup' ? |
2024-12-21 16:05:55 +0100 | <ski> | that's interesting |
2024-12-21 16:05:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-12-21 16:05:33 +0100 | <probie> | I'm not sure if I'd call it a truly concatenative language, but Uiuia is stack based language in which Haskell's `f . g` is written as `f g`. However `f\ng` (where \n is a literal newline) is the same as `g f`. |
2024-12-21 16:04:33 +0100 | <enikar> | never mind :) |
2024-12-21 16:04:27 +0100 | <ski> | enikar : <https://en.wikipedia.org/wiki/Threaded_code> is also interesting |
2024-12-21 16:03:42 +0100 | <ski> | (er, sorry, that was probie who said that) |