Introducing PCode types and constructors
The name may be a bit confusing. The long name is parameter code blocks but we will be using the short one – PCode functions. So, a PCode function is a special type and value in Bosque that is similar to lambda functions in other popular languages. The difference is that PCode functions cannot be stored in any variables or entity fields – they must be used as literals in the place of invocation.
It is worth separating this section into two topics, that is, PCode types and PCode constructors.
The former refers to the way we define a PCode function and its signature, while the latter refers to how we actually use PCode functions, that is, how to create a PCode function of a specified type. The syntax is a little bit different when defining PCode and using it.
In order to better understand what we are talking about, let's see an example right away and discuss it later. Let's get back to our previous example, where...