Лента

DESCRIPTION:

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...

DESCRIPTION:

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...

DESCRIPTION:

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.

INFORMATION PAGE: ...

DESCRIPTION:

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...

DESCRIPTION:

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...

DESCRIPTION:

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.

INFORMATION PAGE:

DOWNLOAD:

DESCRIPTION:

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.

INFORMATION PAGE:

DOWNLOAD:

DESCRIPTION:

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.

INFORMATION PAGE:

DESCRIPTION:

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.

INFORMATION PAGE:

DOWNLOAD:

DESCRIPTION:

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...

DESCRIPTION:

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.

INFORMATION PAGE:

DOWNLOAD:...

DESCRIPTION:

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

INFORMATION PAGE:

DOWNLOAD:

DESCRIPTION:

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.

In the second...

DESCRIPTION:

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.

In the second...

DESCRIPTION:

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.

In the second...

DESCRIPTION:

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.

INFORMATION PAGE: ...

ОПИСАНИЕ:

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.

About the Authors

• Ralph E. Griswold was a...

ОПИСАНИЕ:

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...

ОПИСАНИЕ:

This book is an authoritative and comprehensive introduction to D Programming Language. Reflecting the author's signature style, the writing is casual and conversational, but never at the expense of focus and precision. It covers all aspects of the language (such as expressions, statements, types, functions, contracts, and modules), but it is much more than an enumeration of features.

The main aim of this book is to teach D to readers who are new to computer programming. Although having experience in other programming languages is certainly helpful, this book starts from the basics.

D is a multi-paradigm system programming language...

ОПИСАНИЕ:

This is a collaborative project that aims to provide for Common Lisp something similar to the Perl Cookbook published by O'Reilly.

It is aimed at programmers who are already familiar with Common Lisp to a certain extent but do not yet have the experience you typically only get from years of hacking in a specific computer language. It is written in a style that mixes hands-on no-frills pragmatism with precise information and prudent mentorship.

ПРОДАЖНИК:

СКАЧАТЬ: