Newest at the top
| 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 |
| 2024-11-06 14:31:36 +0100 | Otabek | (~Otabek@213.230.93.9) |
| 2024-11-06 14:28:13 +0100 | Guest7 | (~Guest7@syn-172-249-181-078.res.spectrum.com) |
| 2024-11-06 14:27:50 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 2024-11-06 14:27:46 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-11-06 14:24:59 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Ping timeout: 256 seconds) |
| 2024-11-06 14:23:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds) |
| 2024-11-06 14:18:31 +0100 | <yin> | hackage being down didn't help |
| 2024-11-06 14:18:28 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) TheCoffeMaker |
| 2024-11-06 14:17:45 +0100 | <yin> | merijn: yeah i was confused |
| 2024-11-06 14:17:31 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Remote host closed the connection) |
| 2024-11-06 14:16:09 +0100 | CoolMa7_ | (~CoolMa7@ip5f5b8957.dynamic.kabel-deutschland.de) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2024-11-06 14:15:00 +0100 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-11-06 14:10:40 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) BolzmannPain |
| 2024-11-06 14:09:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2024-11-06 14:06:42 +0100 | BolzmannPain | (~BolzmannP@user/BolzmannPain) (Quit: Client closed) |