Haskell: The Ultimate Beginner's Guide to Learn Haskell Programming Step by Step

В этом материале разберём тему: haskell.

If you don't know, logicians create models to describe and define human reasoning, for example, problems in mathematics, computer science, and philosophy. First, the Haskell programming language is not named after Eddie Haskell, the sneaky double-dealing neighbor kid in the ancient TV sitcom, Leave It To Beaver.Haskell is named after Haskell Brooks Curry, an American mathematician and logician. Haskell’s main work was in combinatory logic, a notation designed to eliminate the need for variables in mathematical logic. Haskell has three programming languages named after him: Haskell, Brooks, and Curry.Haskell the language is built around functions, useful blocks of code that do specific tasks. Combinatory logic captures many key features of computation and, as a result, is useful in computer science. They are called and used only when needed.Another interesting feature of functional languages like Haskell: functions are treated as values like integers (numbers) and strings. Perhaps the best way to describe this quality is a spreadsheet: in a cell in the spreadsheet, you can add numbers as well as a combination of functions to work on numbers. You can add a function to another function the way you can add an integer to an integer, 1 + 1 or 35 + 53. For example, you might specify each number in cells 1-10 be added up as a sum. The primary control construct is the function. In Excel, at least, you also can use SUMIF to look for a pattern in cells 1-10 and, if the pattern is found, perform an action on any cells with the pattern.What Makes Haskell Special?Technically, Haskell is a general-purpose functional programming language with non-strict semantics and strong static typing. (Say that fast ten times!) Here's what it means:- Every language has a strategy to evaluate when to process the input arguments used in a call to a function. Non-strict semantics means the input arguments are not evaluated unless the arguments passed into the function are used to evaluate what is in the body of the function.- Programming languages have rules to assign properties — called a type — to the components of the language: variables, functions, expressions, and modules. The simplest strategy is to evaluate the input arguments passed then run the function with the arguments. A type is a general description of possible values the variable, function, expression, or module can store. Strong static typing evaluates the code before runtime, when the code is static and possibly as code is written.- The order in which statements, instructions and functions are evaluated and executed determines the results of any piece of code. Typing helps minimize bugs, for example, when a calculation uses a string ("house” or "cat”) instead of a number (2 or 3). Control constructs define the order of evaluation. Initial keywords might be "if” or "do” or "loop” while final keywords might be "end if” or "enddo” or "end loop”. Constructs use an initial keyword to flag the type of control structure used. Instead of a final keyword, Haskell uses indentation level (tabs) or curly brackets, or a mix, to indicate the end of a control structure.Perhaps what makes Haskell special is how coders have to think when they use the language. While it is true all languages have things in common, it’s also true languages are mostly functional or mostly imperative, the way people are mostly right handed or left handed. Functional programming languages work in very different ways than imperative languages where the coder manages many low-level details of what happens in their code and when. Except functional programming languages require a different way of thinking about software as you code.

Файл доступен для загрузки ниже.