2024/05/21

Newest at the top

2024-05-21 12:05:21 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2024-05-21 12:04:51 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-21 12:04:38 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-21 12:04:13 +0200euleritian(~euleritia@dynamic-176-006-198-126.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-21 12:03:43 +0200euleritian(~euleritia@dynamic-176-006-198-126.176.6.pool.telefonica.de)
2024-05-21 12:03:26 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-21 12:02:59 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
2024-05-21 12:01:19 +0200danse-nr3(~danse-nr3@151.35.171.208) (Read error: Connection reset by peer)
2024-05-21 12:00:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-21 11:58:26 +0200danse-nr3(~danse-nr3@151.35.171.208)
2024-05-21 11:57:58 +0200rvalue(~rvalue@user/rvalue)
2024-05-21 11:57:26 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-05-21 11:57:06 +0200danse-nr3(~danse-nr3@151.35.171.208) (Remote host closed the connection)
2024-05-21 11:42:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-05-21 11:38:16 +0200Flow(~none@gentoo/developer/flow)
2024-05-21 11:34:43 +0200noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-05-21 11:34:34 +0200 <tomsmeding> those are the easy ones
2024-05-21 11:34:31 +0200 <tomsmeding> it is
2024-05-21 11:34:10 +0200 <ski> replication is sensible for pointwise operations
2024-05-21 11:32:50 +0200 <tomsmeding> though that's a very questionable definition for fromInteger on arrays
2024-05-21 11:32:25 +0200 <tomsmeding> ski: okay I concede that one, but what about toInteger :p
2024-05-21 11:31:53 +0200 <tomsmeding> *decodeFloat
2024-05-21 11:31:53 +0200 <ski> fromInteger = pure . fromInteger
2024-05-21 11:31:47 +0200 <tomsmeding> (decldeFloat :: a -> (Integer, Int) ?)
2024-05-21 11:31:25 +0200 <tomsmeding> and everything breaks down once you get to Real, RealFrac and RealFloat
2024-05-21 11:31:00 +0200 <tomsmeding> goes wrong at Num(fromInteger) already
2024-05-21 11:30:42 +0200 <tomsmeding> okay that typechecks as-is but it's not a valid definition of toInteger :p
2024-05-21 11:30:24 +0200 <lambdabot> [1,2]
2024-05-21 11:30:22 +0200 <tomsmeding> > liftA toInteger [1,2]
2024-05-21 11:30:12 +0200 <tomsmeding> the numeric classes lift straightforwardly into applicative?
2024-05-21 11:27:53 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-05-21 11:24:45 +0200 <int-e> I'll give you that it is /a/ (non-commutative) ring.
2024-05-21 11:24:27 +0200 <mauke> WYGIWYG
2024-05-21 11:22:51 +0200 <int-e> is that what you want though :)
2024-05-21 11:22:39 +0200 <lambdabot> [11,21,12,22]
2024-05-21 11:22:38 +0200 <int-e> > liftA2 (+) [1,2] [10,20]
2024-05-21 11:22:29 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 240 seconds)
2024-05-21 11:21:38 +0200 <mauke> so [a] works fine :-)
2024-05-21 11:21:29 +0200 <mauke> the numeric classes lift straightforwardly into Applicative
2024-05-21 11:07:46 +0200 <ski> it's a mess
2024-05-21 11:06:14 +0200danse-nr3(~danse-nr3@151.35.171.208)
2024-05-21 11:06:11 +0200 <tomsmeding> if you squint on fromInteger you can maybe make Num work, but that's as far as you get
2024-05-21 11:05:41 +0200 <tomsmeding> there's no sensible way to make arrays an instance of the numeric hierarchy
2024-05-21 11:05:32 +0200 <tomsmeding> I guess my actual X question is: why are all the numeric classes specifically for single scalars
2024-05-21 11:05:20 +0200danse-nr3(~danse-nr3@151.35.171.208) (Ping timeout: 260 seconds)
2024-05-21 11:05:04 +0200 <ncf> well i guess not decidably so
2024-05-21 11:05:02 +0200 <tomsmeding> you have a point
2024-05-21 11:04:45 +0200 <ncf> the reals are ordered aren't they
2024-05-21 11:04:07 +0200 <tomsmeding> why is Ord a superclass of Real?
2024-05-21 10:57:59 +0200danse-nr3(~danse-nr3@151.35.171.208)