tbh I don't remember, if I ever knew, what features the formalism that name got borrowed from requires for functions
Conversation
To your mind, does a "lambda function" intuitively require the possibility of closure?
1
None of the languages I use day to day use that term, so I would mentally translate it into something more familiar like "closure" or "block" and then be a little startled when I couldn't capture anything.
Swift calls these "thin closures", but I think that's one we made up.
2
2
unfortunately, the language I'm implementing calls functions "procedures", so things get hairy fast
1
1
(the original language does not allow return values, but I added it on top)
1
1
Tbh if the functions are side-effecty, I'm completely on board with the 'procedure' naming!
I tried to get rid of all greek-letter-named stuff in Pikelet and just call things 'functions' and 'pairs' etc.
1
1
If I had it my way (tuples and non-primitive return types) there'd be no need for side effects, but alas...
1
1
(I don't have anywhere near enough time to implement these 🤣)
1
Deadline is tomorrow evening. I think I shall have to accept that closures, tuples, and ADTs aren't gonna make the cut
1
but, but, what about dependent types, ; ____ ;
1
Show replies



