Newest at the top
| 2024-05-21 12:39:55 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:64b6:9e88:7ce7:a120) (Quit: Leaving) |
| 2024-05-21 12:28:27 +0200 | son0p | (~ff@181.32.157.144) |
| 2024-05-21 12:25:03 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-05-21 12:23:16 +0200 | aryah | (~aryah@141-138-38-218.dsl.iskon.hr) (Read error: Connection reset by peer) |
| 2024-05-21 12:12:38 +0200 | danse-nr3 | (~danse-nr3@151.35.171.208) |
| 2024-05-21 12:11:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-21 12:11:03 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 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 |