2025/06/08

Newest at the top

2025-06-08 10:55:25 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-08 10:55:11 +0200trickard(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-08 10:51:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:51:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:48:14 +0200 <Rembane> Haskell is kinda free flowing poetic fun though
2025-06-08 10:47:49 +0200 <Digit> i found http://www.haskeller.org/ but it seems a bit more frivolous and ambiguous free flowing poetic fun (e.g. "lazy is better then crazy").
2025-06-08 10:46:53 +0200Guest65(~Guest65@2400:4050:c763:c200:6c85:fb5c:17ed:35ca)
2025-06-08 10:44:55 +0200 <Digit> wondering if there's a "zen of haskell" that's more from first principles of haskell, rather than just trying to make it a tight fit one-for-one with the zen of python piece.
2025-06-08 10:44:43 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:44:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:40:43 +0200 <Digit> :) i've just encountered https://www.reddit.com/r/haskell/comments/3ww33x/the_zen_of_haskell/ ... anyone know of a further refined version of the zen of haskell?
2025-06-08 10:40:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 10:38:46 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:38:16 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:34:28 +0200_fantom(~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds)
2025-06-08 10:33:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-08 10:30:48 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-08 10:30:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:30:17 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:28:44 +0200 <ski> ah, yabobay left
2025-06-08 10:28:10 +0200 <lambdabot> Z
2025-06-08 10:28:09 +0200 <ski> > Z * inf
2025-06-08 10:28:01 +0200 <lambdabot> True
2025-06-08 10:27:59 +0200 <ski> > Z <= inf
2025-06-08 10:27:49 +0200 <lambdabot> Defined.
2025-06-08 10:27:48 +0200 <ski> @let inf :: Nat; inf = S inf
2025-06-08 10:25:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:25:18 +0200yabobay(~pizza@2a02:85f:fcd5:1601:a753:ff59:be6f:253f) (Quit: yabobay)
2025-06-08 10:25:14 +0200 <lambdabot> Defined.
2025-06-08 10:25:13 +0200 <ski> @let instance Integral Nat where {n `quotRem` d@(S _) | n < d = (Z ,n) | otherwise = (S q,r) where {(q,r) = (n - d) `quotRem` d}; divMod = quotRem; toInteger = natToInteger}
2025-06-08 10:25:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:25:04 +0200 <lambdabot> Defined.
2025-06-08 10:25:03 +0200 <ski> @let instance Enum Nat where {toEnum = fromIntegral; fromEnum = fromIntegral . natToInteger; succ = S; pred (S n) = n; enumFrom n = n : enumFrom (S n); enumFromThen m n = m : enumFromThen n (n - m + n); enumFromTo m n | m > n = [] | otherwise = m : enumFromTo (S m) n; enumFromThenTo m n o | m > o = [] | otherwise = m : enumFromThenTo n (n - m + n) o}
2025-06-08 10:24:56 +0200 <lambdabot> Defined.
2025-06-08 10:24:55 +0200 <ski> @let natToInteger :: Nat -> Integer; natToInteger Z = 0; natToInteger (S n) = 1 + natToInteger n; instance Real Nat where {toRational = toRational . natToInteger}
2025-06-08 10:24:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-08 10:24:47 +0200 <lambdabot> Defined.
2025-06-08 10:24:46 +0200 <ski> @let instance Num Nat where {Z + n = n; S m + n = S (m + n); m - Z = m; S m - S n = m - n; Z * _ = Z; S m * n = n + m * n; negate Z = Z; abs m = m; signum Z = Z; signum (S _) = S Z; fromInteger 0 = Z; fromInteger n | n > 0 = S (fromInteger (n - 1))}
2025-06-08 10:24:38 +0200 <lambdabot> Defined.
2025-06-08 10:24:37 +0200 <ski> @let instance Eq Nat where {Z == Z = True; S m == S n = m == n; _ == _ = False}; instance Ord Nat where {Z <= _ = True; S m <= Z = False; S m <= S n = m <= n; Z `compare` Z = EQ; Z `compare` S _ = LT; S _ `compare` Z = GT; S m `compare` S n = m `compare` n}
2025-06-08 10:24:30 +0200 <lambdabot> Defined.
2025-06-08 10:24:29 +0200 <ski> @let data Nat = Z | S Nat deriving (Show,Read)
2025-06-08 10:21:12 +0200tbiorgm(~tbiorgm@user/tbiorgm) tbiorgm
2025-06-08 10:18:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:17:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-08 10:16:54 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 244 seconds)
2025-06-08 10:13:25 +0200acidjnk(~acidjnk@p200300d6e71c4f61194499f5787da3cf.dip0.t-ipconnect.de) acidjnk
2025-06-08 10:13:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-08 10:12:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-08 10:12:07 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)