referential transparency
Usually means that an expression always evaluates to the same result in any context.
referential transparency
Usually means that an expression always evaluates to the same result in any context.
purely functional programming
Purely functional programming appoints a programming paradigm that treats all computation as the evaluation of mathematical functions.
metavariables
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and stands for elements of some object language. For instance, in the sentence Let A and B be two sentences of a language ℒ
Function applications
In mathematics, function application is the act of applying a function to an argument from its domain so as to obtain the corresponding value from its range.
uncomplicated syntax
λ-calculus treats functions "anonymously", without giving them explicit names.
or example, i
if(x==true) { return y; else { return (z+x); }
abstract syntax
In computer science, the abstract syntax of data is its structure described as a data type (possibly, but not necessarily, an abstract data type), independent of any particular representation or encoding.
NoamChomsky
Avram Noam Chomsky is an American linguist, philosopher, cognitive scientist, historian, social critic, and political activist.
Wren.
Wren • Small Imperative Language • Control Structures: if, while • Types: integer, boolean • Strongly typed language • Keywords are reserved
metalanguage
a form of language or set of terms used for the description or analysis of another language.
coerce
Many programming languages support the conversion of a value into another of a different data type. This kind of type conversions can be implicitly or explicitly made. Implicit conversion, which is also called coercion, is automatically done. And the explicit conversion is known as Casting.
Show that in Java or Scala different lists can have different types, but that's not the case in Python.
Lists in Python are not hashable because Python does not permit mutable data to be keys to dictionaries.
Java ArrayLists are hashable because Java, one, does not have any language-level support for immutability, and two forces all objects to be hashable. Whether the hash is "useful" depends on the class's implementation.
An object begins with { (left brace) and ends with }
Similar to Java and C
biological computers.
"How MIT’s new biological ‘computer’ works, and what it could do in the future"
Niklaus Wirth
"Niklaus Emil Wirth is a Swiss computer scientist, best known for designing several programming languages, including Pascal, and for pioneering several classic topics in software engineering."
making it quite easy to learn.
COBOL usage is steadily decreasing.
Institute for Advanced Study.
The Institute for Advanced Study "has served as a model for protecting and promoting independent inquiry, prompting the establishment of similar institutes around the world, and underscoring the importance of academic freedom worldwide."
could only be “programmed” by presetting switches and rewiring the entire system for each new “program” or calculation.
We have come so far in programming where such a task as this takes so little time now a days.