[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
On 2017-12-06 14:40, Halley Young <[email protected]> writes: > I have had trouble finding formal research regarding languages with all or > most of the properties of core python. Python has the following properties: > > 1. It is often used in a purely imperative style, and has side effects and > pointers. > 2. Functions are first class variables, and can be higher-order or > anonymous. > 3. One can define objects with subclasses and inheritance, but not > everything is wrapped in a class. > 4. There is dynamic "duck typing," and branches based on runtime checks of > types. > > Even though obviously research on any one of these properties exist, > research on languages combining them all, or even just programming with > side-effects/pointers and higher order functions, seem to be much rarer. > Do you know of any work that has been done formalizing languages with all > or most of these features? Would JavaScript count (it seems to only be missing pointers)? If so, there are several formalizations of it. http://cs.brown.edu/research/plt/dl/s5/ http://fsl.cs.illinois.edu/index.php/KJS:_A_Complete_Formal_Semantics_of_JavaScript http://jscert.org/ Best, Alan -- OpenPGP Key ID : 040D0A3B4ED2E5C7 Monthly Athmospheric CO₂, Mauna Loa Obs. 2017-11: 405.14, 2016-11: 403.53
