Newest at the top
| 2024-05-09 21:46:15 +0200 | <ski> | i just recall trying it, briefly, along with John Hughes, and some others |
| 2024-05-09 21:45:43 +0200 | <ski> | i don't recall brand |
| 2024-05-09 21:44:31 +0200 | Square | (~Square@user/square) |
| 2024-05-09 21:32:37 +0200 | euleritian | (~euleritia@dynamic-176-000-205-183.176.0.pool.telefonica.de) |
| 2024-05-09 21:31:05 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-09 21:30:47 +0200 | euleritian | (~euleritia@dynamic-176-002-128-182.176.2.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-05-09 21:29:32 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:3cf2:a87d:a02b:3e21) (Ping timeout: 260 seconds) |
| 2024-05-09 21:26:20 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-05-09 21:26:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 260 seconds) |
| 2024-05-09 21:25:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-09 21:25:25 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2024-05-09 21:25:22 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-09 21:25:12 +0200 | <probie> | What kind of unicycle? |
| 2024-05-09 21:24:36 +0200 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-05-09 21:24:16 +0200 | tram | (~tram@2a02:586:7e3a:cbe3:5221:8c84:e9f6:b7e4) |
| 2024-05-09 21:21:16 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 2024-05-09 21:20:45 +0200 | yeitrafferin | (~user@2a04:4540:7205:9900:b1aa:36ea:fab2:4d66) (Quit: Leaving) |
| 2024-05-09 21:19:52 +0200 | tri_ | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-05-09 21:17:30 +0200 | sam113101 | (~sam@24.157.253.231) |
| 2024-05-09 21:17:05 +0200 | sam113101 | (~sam@24.157.253.231) (Remote host closed the connection) |
| 2024-05-09 21:15:11 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-05-09 21:14:52 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-09 21:13:21 +0200 | <ski> | (there was a unicycle involved, as well) |
| 2024-05-09 21:12:36 +0200 | ski | recalls meeting some denizens of this channel, years ago |
| 2024-05-09 21:08:27 +0200 | justsomeguy | looks up Haskell meetups in Tampa |
| 2024-05-09 21:08:07 +0200 | <justsomeguy> | I wish I could meet you all in person. It's a great group of people in this channel. |
| 2024-05-09 21:07:15 +0200 | <kaol> | It's one of my favorite GHC features. |
| 2024-05-09 21:04:26 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-05-09 21:04:15 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-05-09 20:59:12 +0200 | <justsomeguy> | Also I just found out I can do deriving Functor! |
| 2024-05-09 20:57:46 +0200 | titiband` | titibandit |
| 2024-05-09 20:55:32 +0200 | <justsomeguy> | Thanks everyone for your help, I was pretty slow on the uptake there. |
| 2024-05-09 20:54:58 +0200 | <justsomeguy> | :D |
| 2024-05-09 20:54:54 +0200 | <EvanR> | I mean let the static types guide you |
| 2024-05-09 20:54:34 +0200 | <EvanR> | with dynamic types anything can be anythinged, but we have static types which must be respected! |
| 2024-05-09 20:53:35 +0200 | <EvanR> | fmapping both wouldn't make sense |
| 2024-05-09 20:53:25 +0200 | <lambdabot> | ("foo",False) |
| 2024-05-09 20:53:24 +0200 | <EvanR> | > fmap even ("foo", 99) |
| 2024-05-09 20:53:17 +0200 | <EvanR> | dammit |
| 2024-05-09 20:53:11 +0200 | <lambdabot> | from the context: Num a |
| 2024-05-09 20:53:11 +0200 | <lambdabot> | • Could not deduce (Integral [Char]) arising from a use of ‘even’ |
| 2024-05-09 20:53:11 +0200 | <lambdabot> | error: |
| 2024-05-09 20:53:09 +0200 | <EvanR> | > fmap even (99, "foo") |
| 2024-05-09 20:52:24 +0200 | <justsomeguy> | Alright, I was misreading the result of (fmap (+10) (Left 1)), and that was confusing because I thought I could fmap both constructors. But it wasn't. |
| 2024-05-09 20:52:24 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-05-09 20:51:56 +0200 | <kaol> | Putting them inside a 2-tuple won't have anything to do with Bifunctor either. |
| 2024-05-09 20:51:47 +0200 | <ski> | no `Bifunctor' there ^ |
| 2024-05-09 20:51:40 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2024-05-09 20:51:39 +0200 | <ski> | @type fmap |
| 2024-05-09 20:51:18 +0200 | <ski> | justsomeguy : `fmap' means `Functor', not `Bifunctor' |