Смотрите видео ниже, чтобы узнать, как установить наш сайт в качестве веб-приложения на домашнем экране.
Примечание: В настоящее время эта функция требует доступа к сайту с помощью встроенного браузера Safari.
Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
This book is an introduction to thinking about programming and the ML Programming Language. It introces those new to programming, as well as those experienced in other programming languages, to the principles of types, computation, and program construction. Most important, it helps the reader to think recursively with types about programs.
Functional languages such as ML, Hope and Lisp allow us to develop programs which will submit logical analysis relatively easily. Using a functional language we can make assertions about programs and prove these assertions to be correct. It is possible to do the same for traditional, imperative...
This book uses the Standard ML programming language as a vehicle to study functional programming. Learn about type deduction, pattern matching, currying, partial application, composition of functions, and why variables and loops really aren't needed!
This book is intended primarily as a text for a one-semester course for beginners, it uses the functional language ML (Meta Language).
The book is well written and the author admirably simplifies a number of topics not ordinarily presented in an introductory text. It provides some exercises, but probably not enough; most of them are rather mechanical. It also provides at least partial...
Standard ML is a general-purpose programming language designed for large projects. This book provides a formal definition of Standard ML for the benefit of all concerned with the language, including users and implementers.
This book is an introduction to programming with the Standard ML programming language. It began life as a set of lecture notes for Computer Science 15-212: Principles of Programming, the second semester of the introductory sequence in the undergraduate computer science curriculum at Carnegie Mellon University. It has subsequently been used in many other courses at Carnegie Mellon, and at a number of universities...
SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and functions defined in the library and discusses in depth the library's design and use. This manual will be an indispensable reference for students, professional programmers, and language designers.
This book is for students and professionals who are intrigued by the prospect of learning and using a powerful language that provides a rich infrastructure for creating programs. No programming knowledge is necessary to benefit from this book except for the section on Lua bindings, which requires some familiarity with the C programming language. A certain comfort level with command-line operations, text editing, and directory structures is assumed.
You need surprisingly little in the way of computer resources to learn and use Lua. This book focuses on Windows and Unix-like (including Linux) systems, but any operating system that...
Starting from first principles, this book covers all of the foundational material needed to develop a clear understanding of the Mathematica® language, with a practical emphasis on solving problems. Concrete examples throughout the text demonstrate how Mathematica language, can be used to solve problems in science, engineering, economics/finance, computational linguistics, geoscience, bioinformatics, and a range of other fields.
The book will appeal to students, researchers and programmers wishing to further their understanding of Mathematica language. Designed to suit users of any ability, it assumes no formal knowledge of...
This is an unofficial and free Lua ebook created for educational purposes. All the content is extracted from Stack Overflow Documentation, which is written by many hardworking individuals at Stack Overflow. It is neither affiliated with Stack Overflow nor official Lua.
This book is the easiest way to learn Lua. It introduces you to the basics of Lua and helps you to understand the problems it solves. It's a solid starting point for those who want to learn Lua.
This collection of articles record some of the existing wisdom and practice on how to program well in Lua. In well-written articles that go much beyond the brief informal exchange of tips in the mailing list or the wiki, the authors share their mastery of all aspects of Lua programming, elementary and advanced. The articles cover a wide spectrum of areas and approaches, with authors from both the industry and academia and titles about game programming, programming techniques, embedding and extending, algorithms and data structures, and design techniques.
This reference manual describes the syntax and the semantics of Lua, the standard libraries, and the C API. Lua combines simple procedural syntax with powerful data description constructs based on associative arrays and extensible semantics.
About the Authors:
Roberto Ierusalimschy is a Brazilian computer scientist, known for creating the Lua programming language.
Create mods using the popular game Farming Simulator with Lua, a versatile scripting language that can run on various platforms and applications. This open access book is best suited for programmers who want to learn how to use Lua to write scripts that can enhance and extend the gameplay experience.
You'll start by reviewing the basics of programming in Lua and then move on to advanced topics, such as object-oriented programming, vehicle and placeable specializations, network synchronization, and creating custom user interfaces. With step-by-step instructions and detailed explanations, you'll see how to create scripts that modify...
Power Programming with Mathematica: The Kernel offers you a self-contained overview of this high-level language, featuring real-world programming tips and techniques - plus an accompanying disk with an array of advanced programming examples, utilities, and supported exercises.
Filled with programming-related examples and illustrations, this complete tutorial contains everything you need to harness all the power of the "industrial-strength" Mathematica language - and greatly expand your programming potential.
The author trying to convince readers that the technology of program verification is mature enough today that it makes senes to use it in a support role in many kinkds of research projects in computer science. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.This book is generated automatically from Coq (format proof managment system) source files. The lastest PDF version is available
This series is for peopleadults and teenagerswho are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is also used when appropriate.
This series is for peopleadults and teenagerswho are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is also used when appropriate.
This series is for people--adults and teenagers--who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of computer science from the perspective of symbolic computation and artificial intelligence. Logo is a dialect of Lisp, a language used in the most advanced research projects in computer science, especially in artificial intelligence. Throughout the series, functional programming techniques (including higher order functions and recursion) are emphasized, but traditional sequential programming is also used when appropriate.
Lua is the language of choice for anyone who needs a scripting language that is simple, efficient, extensible, portable, and free. Currently, Lua is being used in areas ranging from embedded systems to Web development and is widely spread in the game industry, where knowledge of Lua is an indisputable asset. Lua also has established itself as a major language in software development for mobile devices.
About the Authors
Roberto Ierusalimschy is a Brazilian computer scientist, known for creating the Lua programming language.
Icon is a very high-level programming language based on the concept of "goal-directed execution" in which code returns a "success" along with valid values, or a "failure", indicating that there is no valid data to return.
Icon is a mature, general-purpose programming language which is available for free on many platforms. It has a rich set of types: integers (of arbitrary size), reals, strings, lists, sets, tables, and records, together with an interesting goal-directed evaluation mechanism. The book is clear and user-friendly. Some prior programming experience necessary.
This book teaches the programming language ReasonML by Facebook. It is also an introduction to functional programming. Especially people familiar with C-style languages (Java, JavaScript, C#, etc.) will profit from ReasonML's familiar syntax.
In short, ReasonML is a new dialect of OCaml with a toolset that’s more suitable for Javascript developers. It was initiated by Facebook as a way to improve how front end developers write code by avoiding lots of bugs caused by Javascript not having a sound type system.
The target audience of this book is web developers who are somewhat familiar with ReactJS and who want to learn why ReasonML is...
Scratch, the colorful drag-and-drop programming language, is used by millions of first-time learners, and in Scratch Programming Playground, you’ll learn to program by making cool games. Get ready to destroy asteroids, shoot hoops, and slice and dice fruit!
Each game includes easy-to-follow instructions, review questions, and creative coding challenges to make the game your own. Want to add more levels or a cheat code? No problem, just write some code.
You’ll learn to make games like:
–Maze Runner: escape the maze!
–Snaaaaaake: gobble apples and avoid your own tail
–Asteroid Breaker: smash space rocks
–Fruit Slicer: a Fruit...
While systems programming languages have greatly evolved since the introduction of C more than 40 years ago, our capacity for dumb mistakes with enormous consequences has remained unchanged, with vivid examples regularly in the news. This O'Reilly report examines Rust, a new systems programming language that combines safety and security with performance on a par with C and C++.
This book explains how Rust achieves this combination via a sophisticated and flexible type system, working together with a novel "borrow checker." Rust promises:
No null pointer dereferences. Programs won’t crash because you forgot to check whether a...
The Wolfram Language represents a major advance in programming languages that makes leading-edge computation accessible to everyone. Unique in its approach of building in vast knowledge and automation, the Wolfram Language scales from a single line of easy-to-understand interactive code to million-line production systems. This book provides an elementary introduction to the Wolfram Language and modern computational thinking. It assumes no prior knowledge of programming, and is suitable for both technical and non-technical college and high-school students, as well as anyone with an interest in the latest technology and its practical...
This book introduces the concepts of functional and symbolic programming, applies these techniques to some problems of varying complexity, and eventually discusses the implementation of an abstraction layer for solving problems in an abstract, architecture-neutral way by the example of a purely symbolic LISP interpreter.
About the Authors
Nils M. Holm is attracted by anything that is beautiful: math, nature, little insects, and the bright sun rays that fill the sky in the summer days, but most of all by the fragile reflection of empathy and sensitivity in the eyes of beings that are similar to himself.
For weeks, months—nay!—from the very moment you were born, you’ve felt it calling to you. At long last you’ll be united with the programming language you’ve been longing for: Clojure!
As a Lisp-style functional programming language, Clojure lets you write robust and elegant code, and because it runs on the Java Virtual Machine, you can take advantage of the vast Java ecosystem. Clojure for the Brave and True offers a "dessert-first" approach: you’ll start playing with real programs immediately, as you steadily acclimate to the abstract but powerful features of Lisp and functional programming. Inside you’ll find an offbeat, practical...
Зеркала PirateHUB на случай блокировки основного адреса. Эти ссылки безопасны для использования.
Также всегда актуальная ссылка доступна на этом сайте.
This site is one of the most reliable site ever to get account that are working effectively...
They made everything absolutely easy. ..
You have earned my respect.. BRAVO....
1. Нормальное качество звука и видео.
2. Можно смотреть в любое время, большое внимание к решению практических задач.
3. Нужно иметь достаточный уровень знаний. Для меня на данный момент это было сложно.
В целом понравилось. В первую очередь практические задачи. Более наглядно увидел возможности применения алгоритмов.