dependabot[bot] on npm_and_yarn
Bump lodash from 4.17.11 to 4.1… (compare)
We say the operation is declarative if, whenever called with the same arguments, it returns the same results independent of any other computation state. Figure 3.1 illustrates the concept. A declarative operation is independent (does not depend on any execution state outside of itself), stateless 1 (has no internal execution state that is remembered between calls), and deterministic (always gives the same results when given the same arguments). We will show that all programs written using the computation model of the last chapter are declarative.
Miking (Meta vIKING) is a meta language system for creating embedded domain-specific and general-purpose languages.
Miking is not a programming language, but rather a language system for creating languages and generating efficient compilers.
checkfunction, you can quite flexibly add more cases to one or the other. Specifically for inferring lambdas, you can invent two meta variables and then check the lambda against
m1 -> m2(or just invent one for the parameter and infer the body assuming that, which is the HM way to do it). You can do the same with dependent types but then you'll only infer non-dependent functions because
m2can't depend on the argument. If you want to allow inferring dependent functions, you make it
(x : m1) -> m2 x.