Talk:FOSMOL
Jump to navigation
Jump to search
Does this language allow "full" lambda calculus? can you pass lambdas to other lambdas an curry and so on?
- no —aadenboy (talk|contribs) 17:53, 6 January 2026 (UTC)
- Ok, but then where does the line go? --Yayimhere2(school) (talk) 17:54, 6 January 2026 (UTC)
- what line? —aadenboy (talk|contribs) 17:58, 6 January 2026 (UTC)
- The line of what is and isnt a valid lambda? --Yayimhere2(school) (talk) 17:59, 6 January 2026 (UTC)
- it's just in the form
λ<args>.<expr>and is only used to transform the values in the list (you'll only see them either as a fold or map operation, or in a list itself). as far as I'm aware (of my own language), there isn't a way to transform lambdas with lambdas like in regular lambda calculus —aadenboy (talk|contribs) 18:31, 6 January 2026 (UTC)
- it's just in the form
- The line of what is and isnt a valid lambda? --Yayimhere2(school) (talk) 17:59, 6 January 2026 (UTC)
- what line? —aadenboy (talk|contribs) 17:58, 6 January 2026 (UTC)
- Ok, but then where does the line go? --Yayimhere2(school) (talk) 17:54, 6 January 2026 (UTC)