Jira (PUP-2026) Add a LambdaType to the type system

[Henrik Lindberg (JIRA)]

Title: Message Title

Henrik Lindberg commented on an issue   Re: Add a LambdaType to the type system Decided against using the name "Lambda" since the same type applies to Function - implemented it using the name Callable. The Callable type is parameterized as a Tuple type, and supports an additional Callable at the end after size constraints to denote that the callable accepts a block. Thus a full Callable type for a function like foo(String $x, Integer $y) that accepts a block with a Scalar argument looks like this: Callable[String, Integer, Callable[Scalar]] That is, a Callable placed last means it is supported using the "pass lambda to function" syntax in the language. Add Comment   Puppet / PUP-2026 Add a LambdaType to the type system The type system lacks a type to describe a Puppet Lambda. This is needed when the type system is used to describe function type signatures. Suggest that this type is called Lambda in the puppet language, and it is parameterized the same way a TupleType is parameterized (to allow it to describe required, optional, and variable number of arguments. This message was sent by Atlassian JIRA (v6.1.4#6159-sha1:44eaede) -- You received this message because you are subscribed to the Google Groups "Puppet Bugs" group. To unsubscribe from this group and stop receiving emails from it, send an email to puppet-bugs+unsubscr...@googlegroups.com. To post to this group, send email to puppet-bugs@googlegroups.com. Visit this group at http://groups.google.com/group/puppet-bugs. For more options, visit https://groups.google.com/d/optout.