2021/06/23

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 +0200TheRAt(~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 +0200TheRAt(~TheRAt@user/therat) (Read error: Connection reset by peer)
2021-06-24 01:36:47 +0200lavaman(~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 +0200waleee(~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 250 seconds)
2021-06-24 01:34:47 +0200justsomeguy(~justsomeg@user/justsomeguy)
2021-06-24 01:34:27 +0200Erutuon(~Erutuon@user/erutuon)
2021-06-24 01:31:33 +0200jmcarthur(~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 +0200xsperry(~as@user/xsperry) (Excess Flood)
2021-06-24 01:29:32 +0200xsperry(~as@user/xsperry)
2021-06-24 01:26:49 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 246 seconds)
2021-06-24 01:21:12 +0200involans(~alex@cpc92718-cmbg20-2-0-cust157.5-4.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-24 01:19:49 +0200shiraeeshi(~shiraeesh@109.166.57.36) (Ping timeout: 265 seconds)
2021-06-24 01:17:19 +0200DNH(~DNH@8.43.122.6) (Quit: Textual IRC Client: www.textualapp.com)
2021-06-24 01:17:08 +0200hnOsmium0001(uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-24 01:13:14 +0200trent2(~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-24 01:08:20 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds)
2021-06-24 01:08:01 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3-dev)
2021-06-24 01:02:08 +0200hseg(~gesh@195.192.229.14) (Quit: WeeChat 3.2)
2021-06-24 01:00:21 +0200sekun(~sekun@180.190.208.125)
2021-06-24 00:55:39 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:a50f:dc97:cbbc:9783)
2021-06-24 00:53:01 +0200lavaman(~lavaman@98.38.249.169)
2021-06-24 00:51:46 +0200zeenk(~zeenk@2a02:2f04:a106:9600:82fb:aed9:ca9:38d3) (Quit: Konversation terminated!)
2021-06-24 00:51:02 +0200derelict(~derelict@user/derelict)
2021-06-24 00:50:38 +0200BosonCollider(~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds)
2021-06-24 00:48:33 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-24 00:47:32 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2021-06-24 00:45:50 +0200jlamothe(~jlamothe@198.251.57.81) (Quit: leaving)
2021-06-24 00:45:18 +0200azeem(~azeem@dynamic-adsl-94-34-50-190.clienti.tiscali.it)
2021-06-24 00:44:42 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:70b4:9739:defc:32cb) (Quit: Leaving)
2021-06-24 00:44:22 +0200azeem(~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 +0200azeem(~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 +0200ephemient(uid407513@id-407513.tooting.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-24 00:35:11 +0200Morrow(~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 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-24 00:33:32 +0200vicentius(~vicentius@user/vicentius) (Ping timeout: 252 seconds)