Logs: liberachat/#haskell
| 2021-05-22 18:05:20 | christiaanb_ | is now known as christiaanb |
| 2021-05-22 18:05:20 | sclv_ | is now known as sclv |
| 2021-05-22 18:05:20 | MasseR2 | is now known as MasseR |
| 2021-05-22 18:05:21 | × | xwx quits (~george@user/george) (Ping timeout: 272 seconds) |
| 2021-05-22 18:06:01 | <ski> | lwerdna : `reverse . myfunc x' is parsed as `reverse . (myfunc x)'. the "invisible juxtaposition function application" operator binds tighter than any (normal) operator |
| 2021-05-22 18:06:15 | × | ddellacosta quits (~ddellacos@86.106.121.47) (Remote host closed the connection) |
| 2021-05-22 18:06:37 | × | drewolson1 quits (~drewolson@64.227.24.16) (Ping timeout: 272 seconds) |
| 2021-05-22 18:06:37 | × | srk quits (~sorki@user/srk) (Ping timeout: 272 seconds) |
| 2021-05-22 18:06:46 | → | ddellacosta joins (~ddellacos@86.106.121.47) |
| 2021-05-22 18:06:49 | → | drewolson1 joins (~drewolson@64.227.24.16) |
| 2021-05-22 18:06:53 | <ski> | lwerdna : however, note that if you have `foo x = (reverse . myfunc) x', then this could be shortened (using "function extensionality") to just `foo = reverse . myfunc' |
| 2021-05-22 18:06:55 | → | srk joins (~sorki@user/srk) |
| 2021-05-22 18:07:00 | fendor_ | is now known as fendor |
| 2021-05-22 18:07:05 | → | td_ joins (~td@94.134.91.158) |
| 2021-05-22 18:07:18 | → | fabfianda joins (~fabfianda@mob-5-90-252-239.net.vodafone.it) |
| 2021-05-22 18:07:41 | <lwerdna> | ski: thanks |
| 2021-05-22 18:07:56 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-22 18:07:57 | <lwerdna> | ski: is this not a related term I've heard "point free"? where the argument to the function is omitted? |
| 2021-05-22 18:07:58 | → | haasn joins (~nand@haasn.dev) |
| 2021-05-22 18:08:13 | → | xwx joins (~george@user/george) |
| 2021-05-22 18:08:46 | <ski> | (function extensionality says that if two functions give the same output for each possible input, then they behave the same, and are considered to be equal (nothing else than the input-output associations matter, for a function). in the above case, since the function `foo', applied to an arbitrary input `x', is equal to the function `reverse . myfunc', applied to the same input `x', that means that `foo' |
| 2021-05-22 18:08:52 | <ski> | must already be equal to `reverse . myfunc', and `foo = reverse . myfunc' serves as an equivalent definition) |
| 2021-05-22 18:08:55 | <ski> | lwerdna : yes |
| 2021-05-22 18:09:15 | <ski> | (sometimes you also (jokingly) hear the term "pointless" for the same thing) |
| 2021-05-22 18:09:20 | → | dolio joins (~dolio@130.44.130.54) |
| 2021-05-22 18:09:47 | × | Patternm1ster quits (~georg@li1192-118.members.linode.com) (Ping timeout: 272 seconds) |
| 2021-05-22 18:09:51 | <lwerdna> | ski: I see you answered the same question back in January :) https://ircbrowse.tomsmeding.com/day/haskell/2021/01/10 sorry to make you repeat |
| 2021-05-22 18:10:26 | → | zot joins (sid449795@id-449795.stonehaven.irccloud.com) |
| 2021-05-22 18:11:10 | <lwerdna> | so I guess it's not really an operator (when function and argument are juxtaposed), but it's a useful prop to think of it this way |
| 2021-05-22 18:11:19 | → | arahael joins (~arahael@203-206-83-196.tpgi.com.au) |
| 2021-05-22 18:11:21 | → | river joins (~river@user/river) |
| 2021-05-22 18:11:26 | × | ddellacosta quits (~ddellacos@86.106.121.47) (Ping timeout: 252 seconds) |
| 2021-05-22 18:11:26 | → | Raito_Bezarius joins (~Raito@user/raito-bezarius/x-8759638) |
| 2021-05-22 18:11:28 | → | gentauro joins (~gentauro@185.107.12.141) |
| 2021-05-22 18:12:39 | → | Adeon joins (sid418992@id-418992.tooting.irccloud.com) |
| 2021-05-22 18:13:29 | → | unautre_ joins (~unautre@149.91.83.63) |
| 2021-05-22 18:13:49 | × | vito__ quits (sid1962@id-1962.highgate.irccloud.com) () |
| 2021-05-22 18:13:58 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 2021-05-22 18:15:20 | → | monochrm joins (trebla@216.138.220.146) |
| 2021-05-22 18:15:31 | <ski> | lwerdna : no worry |
| 2021-05-22 18:16:01 | → | vito joins (sid1962@user/vito) |
| 2021-05-22 18:16:03 | → | alex2 joins (~Chel@BSN-77-82-41.static.siol.net) |
| 2021-05-22 18:16:26 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@192.252.212.7) |
| 2021-05-22 18:16:33 | → | Ferdirand joins (~somebody@2001:4c78:2012:5000::2) |
| 2021-05-22 18:16:46 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 2021-05-22 18:16:51 | → | haveo_ joins (~haveo@sl35.iuwt.fr) |
| 2021-05-22 18:17:02 | m_shiraeeshi | is now known as shiraeeshi |
| 2021-05-22 18:18:03 | → | space-shell joins (5862f726@107.161.19.109) |
| 2021-05-22 18:18:30 | Zor_ | is now known as Zor |
| 2021-05-22 18:18:34 | × | ac quits (uid2076@brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-22 18:18:37 | Zor | is now known as Zorgon |
| 2021-05-22 18:18:42 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-22 18:19:24 | × | gentauro quits (~gentauro@185.107.12.141) (Quit: leaving) |
| 2021-05-22 18:19:24 | × | GuerrillaMonkey quits (~Jeanne-Ka@192.252.212.7) (Read error: Connection reset by peer) |
| 2021-05-22 18:19:24 | × | alex1 quits (~Chel@BSN-77-82-41.static.siol.net) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | unautre quits (~unautre@149.91.83.63) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | yahb quits (xsbot@178.219.36.155) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | empowerg quits (~empowerg@h081217097243.dyn.cm.kabsi.at) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | 003AAAO6M quits (~river@user/river) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | fendor quits (~fendor@178.115.129.191.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | Putonlalla1 quits (~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 265 seconds) |
| 2021-05-22 18:19:24 | × | haveo quits (~haveo@sl35.iuwt.fr) (Ping timeout: 264 seconds) |
| 2021-05-22 18:19:24 | monochrm | is now known as monochrom |
| 2021-05-22 18:19:30 | → | knyppeldynan joins (~kristina@178.174.136.151) |
| 2021-05-22 18:19:33 | → | arw_ joins (~arw@131.188.40.196) |
| 2021-05-22 18:19:39 | × | arw quits (~arw@impulse.informatik.uni-erlangen.de) (Ping timeout: 265 seconds) |
| 2021-05-22 18:19:50 | → | yahb joins (xsbot@user/mniip/bot/yahb) |
| 2021-05-22 18:20:10 | → | gentauro joins (~gentauro@185.107.12.141) |
| 2021-05-22 18:20:27 | → | empowerg joins (~empowerg@h081217097243.dyn.cm.kabsi.at) |
| 2021-05-22 18:21:02 | → | Patternmaster joins (~georg@li1192-118.members.linode.com) |
| 2021-05-22 18:21:25 | <gentauro> | geekosaur: is it possible to get `unaffiliated` here as well? |
| 2021-05-22 18:21:34 | → | shailangsa joins (~shailangs@host86-186-177-159.range86-186.btcentralplus.com) |
| 2021-05-22 18:21:52 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-05-22 18:22:00 | <geekosaur> | that I don't know. although I see a bunch of people with user/... cloaks, so maybe that's the replacement |
| 2021-05-22 18:22:37 | → | nik0 joins (~if@libera/staff/niko) |
| 2021-05-22 18:23:06 | × | nik0 quits (~if@libera/staff/niko) (Client Quit) |
| 2021-05-22 18:23:51 | → | biberu\ joins (~biberu@user/biberu) |
| 2021-05-22 18:23:54 | → | flounders_ joins (~flounders@173.246.200.33) |
| 2021-05-22 18:23:57 | → | pilcrow4 joins (~pilcrow@45.76.227.43) |
| 2021-05-22 18:24:12 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-22 18:24:28 | → | xax__ joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-22 18:24:30 | → | m_shiraeeshi joins (~shiraeesh@109.166.59.110) |
| 2021-05-22 18:24:31 | → | Gurkenglas__ joins (~Gurkengla@dslb-088-075-022-175.088.075.pools.vodafone-ip.de) |
| 2021-05-22 18:24:40 | → | nnm_ joins (~nnm@2a00:1370:811d:8e45:e6a3:c3d2:f62c:e07) |
| 2021-05-22 18:24:53 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-22 18:25:38 | → | allbery_b joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-05-22 18:26:03 | → | ell7 joins (~ellie@user/ellie) |
| 2021-05-22 18:26:05 | → | haasn` joins (~nand@haasn.dev) |
| 2021-05-22 18:26:38 | → | exzeta_ joins (~exzeta@client-8-84.eduroam.oxuni.org.uk) |
| 2021-05-22 18:26:41 | → | MasseR3 joins (~MasseR@51.15.143.128) |
| 2021-05-22 18:26:48 | → | Lord_of_Life_ joins (~Lord@46.217.217.138) |
| 2021-05-22 18:26:59 | → | Organizers|Robin joins (~Robin_Jad@152.67.64.160) |
| 2021-05-22 18:27:00 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-05-22 18:27:03 | → | dobblego joins (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2021-05-22 18:27:04 | → | pe200012_ joins (~pe200012@120.236.162.14) |
| 2021-05-22 18:27:07 | allbery_b | is now known as geekosaur |
| 2021-05-22 18:27:19 | → | obviyus_ joins (sid415299@user/obviyus) |
| 2021-05-22 18:27:23 | → | Carter_ joins (sid14827@id-14827.brockwell.irccloud.com) |
| 2021-05-22 18:27:24 | → | russruss7 joins (~russruss@my.russellmcc.com) |
All times are in UTC.