2024/12/21

Newest at the top

2024-12-21 17:06:31 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-21 17:04:51 +0100MyNetAz(~MyNetAz@user/MyNetAz) MyNetAz
2024-12-21 17:02:32 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2024-12-21 17:01:01 +0100ethantwardy(user@user/ethantwardy) ethantwardy
2024-12-21 16:59:27 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-21 16:58:50 +0100ethantwardy(user@user/ethantwardy) (Quit: WeeChat 4.4.2)
2024-12-21 16:58:48 +0100alecs(~alecs@61.pool85-58-154.dynamic.orange.es) (Ping timeout: 246 seconds)
2024-12-21 16:58:25 +0100gmg(~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 +0100MyNetAz(~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 +0100alecs(~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 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds)
2024-12-21 16:46:09 +0100ft(~ft@p508db070.dip0.t-ipconnect.de) ft
2024-12-21 16:44:03 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-21 16:43:14 +0100Smiles(uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-12-21 16:43:03 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2024-12-21 16:39:43 +0100ft(~ft@p508db9c7.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2024-12-21 16:34:52 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2024-12-21 16:33:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds)
2024-12-21 16:28:42 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2024-12-21 16:22:01 +0100ephilalethes(~noumenon@202.186.203.84) (Read error: Connection reset by peer)
2024-12-21 16:20:23 +0100CrunchyFlakes(~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de)
2024-12-21 16:18:32 +0100CrunchyFlakes(~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer)
2024-12-21 16:17:41 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2024-12-21 16:15:42 +0100tremon(~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 +0100youthlic(~Thunderbi@user/youthlic) (Client Quit)
2024-12-21 16:13:59 +0100youthlic(~Thunderbi@user/youthlic) youthlic
2024-12-21 16:13:50 +0100 <probie> sorry, `×.◌:4 3`
2024-12-21 16:13:39 +0100skinods
2024-12-21 16:13:22 +0100merijn(~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 +0100youthlic(~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 +0100wootehfoot(~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)
2024-12-21 16:02:30 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds)
2024-12-21 16:02:20 +0100 <enikar> yes it is
2024-12-21 16:01:59 +0100 <ski> enikar : .. which may be unexpected/surprising (re your comment about `f . g' above)