Newest at the top
2024-05-21 12:09:23 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
2024-05-21 12:05:21 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-05-21 12:04:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-21 12:04:38 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-21 12:04:13 +0200 | euleritian | (~euleritia@dynamic-176-006-198-126.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-05-21 12:03:43 +0200 | euleritian | (~euleritia@dynamic-176-006-198-126.176.6.pool.telefonica.de) |
2024-05-21 12:03:26 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-21 12:02:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-05-21 12:01:19 +0200 | danse-nr3 | (~danse-nr3@151.35.171.208) (Read error: Connection reset by peer) |
2024-05-21 12:00:49 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-21 11:58:26 +0200 | danse-nr3 | (~danse-nr3@151.35.171.208) |
2024-05-21 11:57:58 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-21 11:57:26 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-21 11:57:06 +0200 | danse-nr3 | (~danse-nr3@151.35.171.208) (Remote host closed the connection) |
2024-05-21 11:42:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-21 11:38:16 +0200 | Flow | (~none@gentoo/developer/flow) |
2024-05-21 11:34:43 +0200 | noumenon | (~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 +0200 | tromp | (~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 +0200 | Flow | (~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 +0200 | danse-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 +0200 | danse-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? |