Logs: freenode/#haskell
| 2021-04-05 02:44:50 | → | ezrakilty joins (~ezrakilty@97-126-95-37.tukw.qwest.net) |
| 2021-04-05 02:44:51 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-04-05 02:47:02 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-04-05 02:48:30 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 02:54:59 | × | theDon quits (~td@94.134.91.193) (Ping timeout: 246 seconds) |
| 2021-04-05 02:55:07 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 260 seconds) |
| 2021-04-05 02:57:10 | → | theDon joins (~td@muedsl-82-207-238-169.citykom.de) |
| 2021-04-05 02:57:12 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-dxvbqpthgbajxgrt) (Quit: Connection closed for inactivity) |
| 2021-04-05 02:58:34 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-05 02:58:34 | finn_elija | is now known as Guest23158 |
| 2021-04-05 02:58:34 | FinnElija | is now known as finn_elija |
| 2021-04-05 02:58:42 | <ukari> | I found a interesting thing that `foo . bar1 <*> bar2 <*> bar3` can be rewrite in the form of `foo <$> bar1 <*> bar2 <*> bar3`, anyone explain this? https://gist.github.com/ukari/1175b994394f4e8526a905e9eb08ee30 |
| 2021-04-05 03:00:20 | <hololeap> | ukari: it's because ((->) a) has a Functor instance which corresponds to (.) |
| 2021-04-05 03:01:57 | <ukari> | oh |
| 2021-04-05 03:01:57 | × | Guest23158 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-05 03:02:04 | <hololeap> | :t not . not |
| 2021-04-05 03:02:05 | <lambdabot> | Bool -> Bool |
| 2021-04-05 03:02:10 | <hololeap> | :t fmap not not |
| 2021-04-05 03:02:11 | <lambdabot> | Bool -> Bool |
| 2021-04-05 03:05:08 | <hololeap> | don't use the Functor instance of ((->) a). it leads to confusing code. |
| 2021-04-05 03:05:25 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-04-05 03:05:42 | <hololeap> | if you absolutely have to, use (Reader a) instead. that has a nice name that everyone understands |
| 2021-04-05 03:06:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-05 03:06:44 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 2021-04-05 03:07:08 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-05 03:07:27 | <ukari> | hololeap, is this code `foo <$> bar1 <*> bar2 <*> bar3` a example of using the Functor instance of ((->) a)? I saw it everywhere |
| 2021-04-05 03:08:11 | <hololeap> | it could be. ((->) a) has an Applicative and Monad instance as well. `foo <$> bar1 <*> bar2 <*> bar3` would work for _any_ Applicative |
| 2021-04-05 03:08:30 | × | carlomagno1 quits (~cararell@148.87.23.12) (Quit: Leaving.) |
| 2021-04-05 03:09:34 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 03:09:57 | <ukari> | thanks you for explain this |
| 2021-04-05 03:10:24 | <hololeap> | the people that write code like that for ((->) a) would be discredting the Republic of Haskell and could be summarily executed |
| 2021-04-05 03:12:20 | <ukari> | :) |
| 2021-04-05 03:13:55 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 03:14:03 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 2021-04-05 03:14:03 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-04-05 03:14:41 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 2021-04-05 03:17:42 | <hololeap> | :t (\f g h -> (f <$> g <*> h)) :: (x -> y -> z) -> (a -> x) -> (a -> y) -> a -> z |
| 2021-04-05 03:17:43 | <lambdabot> | (x -> y -> z) -> (a -> x) -> (a -> y) -> a -> z |
| 2021-04-05 03:18:23 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-05 03:18:25 | <hololeap> | that's what heresy looks like |
| 2021-04-05 03:20:09 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-04-05 03:25:23 | → | conal joins (~conal@64.71.133.70) |
| 2021-04-05 03:27:29 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 03:28:05 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) |
| 2021-04-05 03:29:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 03:30:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 03:30:28 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 03:30:39 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 03:31:15 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-04-05 03:31:43 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-04-05 03:32:33 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:d1df:45b8:caf8:f009) (Ping timeout: 250 seconds) |
| 2021-04-05 03:33:50 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-05 03:34:47 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-05 03:36:14 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-04-05 03:37:23 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-urmynbwvqdvgbexs) (Quit: Connection closed for inactivity) |
| 2021-04-05 03:59:58 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-04-05 04:01:59 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 2021-04-05 04:13:06 | × | esp32_prog quits (~esp32_pro@86.106.143.75) (Ping timeout: 240 seconds) |
| 2021-04-05 04:22:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-04-05 04:25:08 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-04-05 04:25:26 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-04-05 04:25:55 | → | mach1speed joins (~textual@S0106f0b4d2c39cee.va.shawcable.net) |
| 2021-04-05 04:26:13 | × | mach1speed quits (~textual@S0106f0b4d2c39cee.va.shawcable.net) (Client Quit) |
| 2021-04-05 04:28:02 | → | redmp joins (~redmp@172.58.35.230) |
| 2021-04-05 04:29:33 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-04-05 04:31:27 | × | jonatan quits (~nate@h77-53-70-163.cust.a3fiber.se) (Ping timeout: 265 seconds) |
| 2021-04-05 04:33:22 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-05 04:33:29 | → | plutoniix joins (~q@184.82.201.87) |
| 2021-04-05 04:34:26 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 2021-04-05 04:36:41 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-05 04:37:27 | × | Wuzzy quits (~Wuzzy@p57a2fb8a.dip0.t-ipconnect.de) (Quit: Wuzzy) |
| 2021-04-05 04:37:47 | × | pieguy128 quits (~pieguy128@bas1-quebec14-67-70-101-46.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-04-05 04:37:58 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 2021-04-05 04:38:10 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-47-67-70-101-46.dsl.bell.ca) |
| 2021-04-05 04:38:17 | → | ba joins (bandali@fsf/emeritus/bandali) |
| 2021-04-05 04:38:37 | → | sim590_ joins (~sim590@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-04-05 04:38:56 | × | bandali quits (bandali@fsf/emeritus/bandali) (Ping timeout: 276 seconds) |
| 2021-04-05 04:39:06 | × | joeyh quits (~joeyh@kitenet.net) (Ping timeout: 245 seconds) |
| 2021-04-05 04:39:15 | → | joeyh joins (joeyh@kitenet.net) |
| 2021-04-05 04:39:34 | × | sim590 quits (~sim590@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 276 seconds) |
| 2021-04-05 04:39:35 | × | abuss quits (~abuss@cryptarch.net) (Ping timeout: 276 seconds) |
| 2021-04-05 04:39:35 | sim590_ | is now known as sim590 |
| 2021-04-05 04:39:40 | → | vodkaInf1rno joins (~wormphleg@104.131.156.184) |
| 2021-04-05 04:39:56 | × | wagle quits (~wagle@quassel.wagle.io) (Ping timeout: 245 seconds) |
| 2021-04-05 04:40:00 | × | vodkaInferno quits (~wormphleg@104.131.156.184) (Read error: Connection reset by peer) |
| 2021-04-05 04:40:07 | × | xff0x quits (~xff0x@2001:1a81:523f:b000:ad3d:1b2:8d37:987b) (Ping timeout: 260 seconds) |
| 2021-04-05 04:40:32 | → | wagle joins (~wagle@quassel.wagle.io) |
| 2021-04-05 04:40:45 | → | xff0x joins (~xff0x@2001:1a81:523f:b000:e0ec:15c3:a4fa:921e) |
| 2021-04-05 04:41:19 | → | abuss joins (~abuss@cryptarch.net) |
| 2021-04-05 04:43:36 | <wroathe> | Is there a way to get this to work? Also, why isn't it working? https://gist.github.com/JustinChristensen/bcffe268fa71664e820db62dd2a47a37 |
| 2021-04-05 04:44:06 | <wroathe> | I've tried using KindSignatures to tell it that t is a unary type constructor, but that doesn't appear to work |
| 2021-04-05 04:44:18 | <shachaf> | It's not working for the reason it says. |
| 2021-04-05 04:44:41 | <shachaf> | Show instances must have kind *. You can't have "instance Show Maybe", only "instance Show (Maybe a)". |
| 2021-04-05 04:45:17 | <wroathe> | shachaf: Right, so how would I then write this? |
| 2021-04-05 04:48:47 | <shachaf> | Hmm, you could write instance (Show a, Show (t (Bar a))) => Show (Foo t a), but that's an UndecidableInstance and probably not what you want. |
| 2021-04-05 04:48:50 | <wroathe> | shachaf: I thought the solution might have been Foo (t a) a, but that's not right either |
| 2021-04-05 04:48:55 | <shachaf> | There's a class Show1 for this. |
| 2021-04-05 04:49:10 | <shachaf> | I guess that's the answer. https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Functor-Classes.html#t:Show1 |
| 2021-04-05 04:49:26 | <wroathe> | Interesting. Thanks! |
| 2021-04-05 04:49:56 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
All times are in UTC.