Newest at the top
| 2021-06-24 01:44:40 +0200 | <dolio> | And in combinator calculi, there aren't any other constants that could go in the body of a combinator. |
| 2021-06-24 01:44:38 +0200 | <justsomeguy> | In functions that aren't combinators, there is also the possibility of using a variable that is defined in an enclosing scope, which is known as a free variable. So, you can use a variable that isn't in the head of a lambda within a function body. |
| 2021-06-24 01:43:07 +0200 | <dolio> | So, if it only uses application and previously defined combinators, it's a combinator. |
| 2021-06-24 01:42:51 +0200 | <dolio> | The things usable in the body of a combinator are the parameters, application, and previously defined combinators, in the usual formal definition I'm familiar with. |
| 2021-06-24 01:41:42 +0200 | TheRAt | (~TheRAt@user/therat) |
| 2021-06-24 01:41:12 +0200 | <dolio> | The description. |
| 2021-06-24 01:41:11 +0200 | <monochrom> | I propose the name "dependency hell". :) |
| 2021-06-24 01:40:07 +0200 | <justsomeguy> | Do you mean that my description doesn't sound like the opposite of a combinator, or that a constant function doesn't sound like the opposite of a combinator? |
| 2021-06-24 01:38:41 +0200 | <dolio> | That doesn't sound like the opposite of a combinator. |
| 2021-06-24 01:38:17 +0200 | <hpc> | a constant function? |
| 2021-06-24 01:37:13 +0200 | TheRAt | (~TheRAt@user/therat) (Read error: Connection reset by peer) |
| 2021-06-24 01:36:47 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 01:36:43 +0200 | <justsomeguy> | In lambda calculus, is there a name for something that is the opposite of a combinator? (By "opposite of a combinator" I mean a function that does not use any of its bound arguments, or parameters, but only uses free variables, instead.) |
| 2021-06-24 01:36:04 +0200 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 250 seconds) |
| 2021-06-24 01:34:47 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-06-24 01:34:27 +0200 | Erutuon | (~Erutuon@user/erutuon) |
| 2021-06-24 01:31:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 01:29:33 +0200 | xsperry | (~as@user/xsperry) (Excess Flood) |
| 2021-06-24 01:29:32 +0200 | xsperry | (~as@user/xsperry) |
| 2021-06-24 01:26:49 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2021-06-24 01:21:12 +0200 | involans | (~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-06-24 01:19:49 +0200 | shiraeeshi | (~shiraeesh@109.166.57.36) (Ping timeout: 265 seconds) |
| 2021-06-24 01:17:19 +0200 | DNH | (~DNH@8.43.122.6) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-06-24 01:17:08 +0200 | hnOsmium0001 | (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-24 01:13:14 +0200 | trent2 | (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-24 01:08:20 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-24 01:08:01 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev) |
| 2021-06-24 01:02:08 +0200 | hseg | (~gesh@195.192.229.14) (Quit: WeeChat 3.2) |
| 2021-06-24 01:00:21 +0200 | sekun | (~sekun@180.190.208.125) |
| 2021-06-24 00:55:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783) |
| 2021-06-24 00:53:01 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-06-24 00:51:46 +0200 | zeenk | (~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!) |
| 2021-06-24 00:51:02 +0200 | derelict | (~derelict@user/derelict) |
| 2021-06-24 00:50:38 +0200 | BosonCollider | (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds) |
| 2021-06-24 00:48:33 +0200 | jmcarthur | (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 00:47:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-24 00:45:50 +0200 | jlamothe | (~jlamothe@198.251.57.81) (Quit: leaving) |
| 2021-06-24 00:45:18 +0200 | azeem | (~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it) |
| 2021-06-24 00:44:42 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:70b4:9739:defc:32cb) (Quit: Leaving) |
| 2021-06-24 00:44:22 +0200 | azeem | (~azeem@176.201.6.138) (Read error: Connection reset by peer) |
| 2021-06-24 00:42:57 +0200 | <hseg> | oh ffs. is there a reason the (unordered-)containers haddocks don't show role annotations? |
| 2021-06-24 00:38:14 +0200 | <hseg> | hrm... experimenting more shows this isn't what's going wrong, getting more data |
| 2021-06-24 00:36:47 +0200 | azeem | (~azeem@176.201.6.138) |
| 2021-06-24 00:36:14 +0200 | <hseg> | coerce :: Sorted [a] -> [a] is forbidden? |
| 2021-06-24 00:36:00 +0200 | <hseg> | so given e.g. data family Sorted f; newtype instance Sorted [a] = SortedList {getSorted :: [a]} |
| 2021-06-24 00:35:19 +0200 | ephemient | (uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-24 00:35:11 +0200 | Morrow | (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-24 00:35:05 +0200 | <hseg> | are newtype family instances not representationally equal to what they wrap? |
| 2021-06-24 00:34:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 00:33:32 +0200 | vicentius | (~vicentius@user/vicentius) (Ping timeout: 252 seconds) |