Conversation

Notices

1. Embed this notice
   veer66 (veer66@mstdn.in.th)'s status on Monday, 07-Apr-2025 01:40:48 JST veer66

   • clacke@libranet.de is my main

   @notclacke "The unbound variables are called free variables." 🤔

   https://www-formal.stanford.edu/jmc/recursive.pdf

   • Embed this notice
     veer66 (veer66@mstdn.in.th)'s status on Sunday, 30-Mar-2025 21:52:08 JST veer66

     "a free variable is any variable used in a namespace which is not a local variable in that namespace." 😅

   • Embed this notice
     veer66 (veer66@mstdn.in.th)'s status on Monday, 07-Apr-2025 01:40:48 JST veer66

     in reply to

     • clacke@libranet.de is my main

     @notclacke However, the definition of "bound" is quite straightforward:

     "The variables occurring in the list of variables of a λ-expression are dummy
     or bound, ..."

     clacke@libranet.de is my main likes this.