4 ms·
> A model is desirable, and putting programming practice on a sound logical footing is a fine idea. Many functional programming languages are based on formal l
by grumpyprole 4y ago
> A model is desirable, and putting programming practice on a sound logical footing is a fine idea.
Many functional programming languages are based on formal logic. For example, Haskell is based on an augmented System-F.
- SkyMarshal 4y agoIndeed, most functional languages, along with relational and graph databases, already meet the objective of having sound logical footing.