Logs: freenode/#haskell
| 2021-04-30 20:08:17 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-04-30 20:08:51 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-04-30 20:09:15 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-04-30 20:10:46 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-datqfgpfnslndhmi) (Quit: issued !quit command) |
| 2021-04-30 20:12:40 | <biglama> | Happy birthday then ! |
| 2021-04-30 20:14:27 | → | letmein joins (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-04-30 20:14:31 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-04-30 20:14:58 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-mkcwpfwlappvvein) |
| 2021-04-30 20:16:41 | × | argento quits (~argent0@168.227.97.29) (Ping timeout: 240 seconds) |
| 2021-04-30 20:19:23 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-30 20:20:24 | <thblt> | If someone knows a joke about immutable cakes, the moment is right now. |
| 2021-04-30 20:20:53 | <pjb> | You can eat your cake and have it. |
| 2021-04-30 20:21:18 | <koala_man> | nice |
| 2021-04-30 20:22:06 | <pjb> | The other day, I found a April's Fool joke, but I have to wait next April 1st to tell it :-/ |
| 2021-04-30 20:22:12 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-30 20:24:35 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-30 20:25:51 | → | Mrbuck_ joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 20:26:28 | × | Mrbuck_ quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit) |
| 2021-04-30 20:26:41 | → | Mrbuck_ joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-30 20:26:58 | <hpc> | this joke doesn't work for communist cakes because they're controlled by the state :P |
| 2021-04-30 20:28:19 | × | jpe90 quits (~user@pool-108-31-85-19.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-04-30 20:29:09 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 2021-04-30 20:30:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-30 20:31:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 20:31:47 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-30 20:31:54 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-04-30 20:32:45 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-30 20:34:51 | × | rodriga quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 2021-04-30 20:34:55 | → | isd joins (zenhackmat@gateway/shell/matrix.org/x-ldodnpkwkyhiluzj) |
| 2021-04-30 20:35:05 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 246 seconds) |
| 2021-04-30 20:35:58 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-04-30 20:36:18 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-04-30 20:36:23 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-04-30 20:36:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-30 20:36:52 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-04-30 20:37:01 | × | dilinger quits (~dilinger@spindle.queued.net) (Ping timeout: 245 seconds) |
| 2021-04-30 20:37:08 | → | dilinger joins (~dilinger@spindle.queued.net) |
| 2021-04-30 20:37:13 | <isd> | Is there a way (through some combination of extensions) to derive the classes in Data.Functor.Classes? |
| 2021-04-30 20:43:08 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-30 20:44:02 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Ping timeout: 265 seconds) |
| 2021-04-30 20:44:29 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-30 20:47:27 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-30 20:47:37 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 260 seconds) |
| 2021-04-30 20:48:40 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-30 20:49:26 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-30 20:50:56 | Mrbuck_ | is now known as mrbuck |
| 2021-04-30 20:52:04 | × | dmwit quits (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-04-30 20:52:26 | → | sdrodge_ joins (~sdrodge@unaffiliated/sdrodge) |
| 2021-04-30 20:53:19 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-04-30 20:54:11 | → | dmwit joins (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-04-30 20:54:14 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-30 20:54:27 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 268 seconds) |
| 2021-04-30 20:55:47 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 2021-04-30 20:56:27 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-30 20:57:09 | → | ADG1089 joins (~aditya@223.226.237.158) |
| 2021-04-30 21:01:20 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-30 21:01:31 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 252 seconds) |
| 2021-04-30 21:03:57 | <hololeap> | isd, possibly |
| 2021-04-30 21:04:12 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 240 seconds) |
| 2021-04-30 21:04:21 | <hololeap> | for instance GeneralizedNewtypeDeriving or DerivingVia |
| 2021-04-30 21:04:24 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 21:05:29 | → | alfianguide joins (67692375@103.105.35.117) |
| 2021-04-30 21:05:48 | <alfianguide> | Hi guys, so I've been read about pointfree |
| 2021-04-30 21:09:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-30 21:09:12 | <monochrom> | pjb: Haha great about that cake. |
| 2021-04-30 21:09:15 | <hololeap> | alfianguide: what's your point? :p |
| 2021-04-30 21:09:23 | × | LKoen quits (~LKoen@22.249.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-04-30 21:09:45 | <monochrom> | haha |
| 2021-04-30 21:10:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-04-30 21:12:22 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-30 21:13:28 | <hololeap> | isd: it looks like there is also a package that will give you equivalents to the functions in Data.Functor.Classes, if your data type has a Generic instance |
| 2021-04-30 21:13:36 | <hololeap> | https://hackage.haskell.org/package/generic-data-0.1.1.0/docs/Generic-Data.html#g:15 |
| 2021-04-30 21:13:37 | × | proofofkeags quits (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-04-30 21:13:40 | → | argento joins (~argent0@168.227.97.29) |
| 2021-04-30 21:14:34 | <hololeap> | so you could use that to write e.g. instance Eq1 MyThing where liftEq = gLiftEq |
| 2021-04-30 21:14:45 | × | Guest85534 quits (~textual@mskresolve-a.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-30 21:15:25 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 268 seconds) |
| 2021-04-30 21:15:29 | × | alfianguide quits (67692375@103.105.35.117) (Quit: Ping timeout (120 seconds)) |
| 2021-04-30 21:16:07 | × | mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-30 21:16:30 | → | OscarZ joins (~oscarz@95.175.104.49) |
| 2021-04-30 21:16:41 | → | alfianguide joins (67692375@103.105.35.117) |
| 2021-04-30 21:16:41 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 2021-04-30 21:16:48 | <alfianguide> | So |
| 2021-04-30 21:16:52 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40:3267:9995:ede7:c222) |
| 2021-04-30 21:17:02 | <alfianguide> | I wonder how to pass multiple params to this pointfree style? |
| 2021-04-30 21:17:21 | <alfianguide> | I found it as just one param reduction a.k.a eta-reduction |
| 2021-04-30 21:17:31 | <tomsmeding> | @pl \x y z -> f z y x |
| 2021-04-30 21:17:31 | <lambdabot> | flip (flip . flip f) |
| 2021-04-30 21:17:39 | × | Guest34364 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds) |
| 2021-04-30 21:17:59 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-04-30 21:18:15 | <alfianguide> | Tomsmeding r u replying me? |
| 2021-04-30 21:18:20 | <tomsmeding> | kind of :p |
| 2021-04-30 21:18:41 | <tomsmeding> | you do it by using lots of (.) and flip and join |
| 2021-04-30 21:18:43 | <alfianguide> | But that's lambda isn't it? You have to write the params? |
| 2021-04-30 21:18:48 | <tomsmeding> | and by making your code unreadable |
| 2021-04-30 21:18:52 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 276 seconds) |
| 2021-04-30 21:18:55 | <alfianguide> | Lambdabot is that how? |
| 2021-04-30 21:18:58 | <tomsmeding> | :t flip (flip . flip f) |
| 2021-04-30 21:19:00 | <lambdabot> | (Show a, Show b1, Show b2, FromExpr c) => b2 -> b1 -> a -> c |
| 2021-04-30 21:19:09 | <tomsmeding> | (lambdabot is a bot) |
All times are in UTC.