Newest at the top
| 2024-11-06 16:25:01 +0100 | alphazone | (~alphazone@2.219.56.221) |
| 2024-11-06 16:18:12 +0100 | <yin> | Leary: ty |
| 2024-11-06 16:16:38 +0100 | alphazone | (~alphazone@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-11-06 16:06:37 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-11-06 16:05:11 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2024-11-06 15:58:29 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-11-06 15:54:16 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) |
| 2024-11-06 15:51:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-11-06 15:49:38 +0100 | Everything | (~Everythin@178-133-20-16.mobile.vf-ua.net) (Quit: leaving) |
| 2024-11-06 15:48:09 +0100 | turlando | (~turlando@user/turlando) () |
| 2024-11-06 15:46:26 +0100 | aforemny | (~aforemny@i577B13E8.versanet.de) aforemny |
| 2024-11-06 15:42:55 +0100 | <Leary> | yin: stackage.org |
| 2024-11-06 15:39:48 +0100 | son0p | (~ff@181.237.206.243) (Ping timeout: 276 seconds) |
| 2024-11-06 15:38:38 +0100 | noblehelm | (~noblehelm@200.17.111.30) noblehelm |
| 2024-11-06 15:37:33 +0100 | <kuribas> | Inst: with side effects you would get something like ocaml. |
| 2024-11-06 15:36:50 +0100 | <kuribas> | That already reduces the number of possible types. |
| 2024-11-06 15:36:40 +0100 | <kuribas> | Firstly, (a -> a) is typechecked, unlike the Any one. Secondly it requires the input type to be equal to the output type. |
| 2024-11-06 15:35:56 +0100 | <kuribas> | Inst: don't confuse (a -> a) with (Any -> Any). |
| 2024-11-06 15:32:11 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Remote host closed the connection) |
| 2024-11-06 15:31:43 +0100 | <yin> | wasn't there an alternative to hackage for documentation? |
| 2024-11-06 15:31:41 +0100 | Square2 | (~Square4@user/square) Square |
| 2024-11-06 15:26:02 +0100 | <Inst> | Haskell, unique for not-completely-research languages, with its type system and effect control, allows people to have a true concept of a composable pure function |
| 2024-11-06 15:25:06 +0100 | <Inst> | just as, in Haskell, it could be anything when you stuff in unsafePerformIO |
| 2024-11-06 15:24:50 +0100 | <Inst> | when you look at (a -> a), without strong static types and pure functions, Normand's right in that this function cuold mean anything |
| 2024-11-06 15:24:21 +0100 | <Inst> | one of haskell's unique strengths is having both purity / referential transparency and a strong static type system |
| 2024-11-06 15:23:49 +0100 | <Inst> | honestly, when i think about it, and after arguing with lispers as to whether they have monads |
| 2024-11-06 15:21:41 +0100 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 2024-11-06 15:18:23 +0100 | CoolMa7 | (~CoolMa7@95.91.137.87) CoolMa7 |
| 2024-11-06 15:12:59 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-06 15:12:44 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-06 15:12:43 +0100 | ljdarj1 | ljdarj |
| 2024-11-06 15:12:43 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 2024-11-06 15:08:19 +0100 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-06 15:07:26 +0100 | ystael | (~ystael@user/ystael) ystael |
| 2024-11-06 15:05:59 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2024-11-06 15:05:41 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2024-11-06 15:04:22 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2024-11-06 14:57:34 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-11-06 14:55:50 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-11-06 14:52:50 +0100 | euleritian | (~euleritia@dynamic-176-007-150-185.176.7.pool.telefonica.de) |
| 2024-11-06 14:51:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-11-06 14:51:06 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-11-06 14:49:26 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-06 14:48:53 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-11-06 14:47:54 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-11-06 14:42:06 +0100 | Otabek | (~Otabek@213.230.93.9) (Quit: Client closed) |
| 2024-11-06 14:41:51 +0100 | Versality | (~Versality@user/Versality) Versality |
| 2024-11-06 14:41:37 +0100 | Versality | (~Versality@user/Versality) (Remote host closed the connection) |
| 2024-11-06 14:32:55 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2024-11-06 14:32:13 +0100 | <Otabek> | hey there |