Technical FAQ
Technical questions
How do Luego decision models relate to DMN?
Common concept like a dependency diagram
Key differences: - strong point of the Luego language comparted to FEEL: expressiveness, type safety - ability to identify missing information, therefore to drive a questionnaire or a chatbot - derivation models allow to define decision models with explicitly drawing links between decision nodes: this is very useful for complex decisions that would not be manageable using a dependency diagram (DMN diagrams become hard to manage when you have more than 15-20 nodes) - composability
Why have you chosen the name 'Luego'?
In Spanish, "luego" can be used to express logical consequences, i.e. that something is a logical consequence of some known facts.
| Spanish | English |
|---|---|
| Esta lloviendo, luego usa tu paraguas | It's raining, thus use your umbrella. |
The Luego language provides ways to describe known facts (as data elements) and to describe functions and decision models to deduce the logical conclusions of the known facts.
What is the programming paradigm proposed by the Luego language?
Total functional programming
We have removed some common but unsafe programming language constructs to make the language very robust at runtime.
The goal of the Luego language is to let you write programs that are very unlikely to fail at runtime.
Programs as logical proofs
If a Luego program can be proved as correct, is there still a need to test programs?
Yes, testing is still important. The Luego compiler can guarantee that programs will produce a well-typed result in a finite amount of time. But, formal verification cannot check that a program implements the right business logic.
If VAT must be calculated as 21% of a product price, then the expression 0.22 * productPrice is incorrect. Formally, it is a "valid" program, i.e. provided with a numeric input value, it will produce a numeric output. But, the logic does not match the business requirements for the application, i.e. it is not faithfull to the intention that was expressed by business analysts.