Type-Driven Development with Idris
Stop fighting type errors! Type-driven development is an approach to coding that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase. Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages. ...
Stop fighting type errors! Type-driven development is an approach to coding that embraces types as the foundation of your code - essentially as built-in documentation your compiler can use to check data relationships and other assumptions. With this approach, you can define specifications early in development and write code that's easy to maintain, test, and extend. Idris is a Haskell-like language with first-class, dependent types that's perfect for learning type-driven programming techniques you can apply in any codebase. Type-Driven Development with Idris teaches you how to improve the performance and accuracy of your code by taking advantage of a state-of-the-art type system. In this book, you'll learn type-driven development of real-world software, as well as how to handle side effects, interaction, state, and concurrency. By the end, you'll be able to develop robust and verified software in Idris and apply type-driven development methods to other languages. ...
Coding with Minecraft
You've mined for diamonds, crafted dozens of tools, and built all sorts of structures - but what if you could program robots to do all of that for you in a fraction of the time? In Coding with Minecraft, you'll create a virtual robot army with Lua, a programming language used by professional game developers. Step-by-step coding projects will show you how to write programs that automatically dig mines, collect materials, craft items, and build anything that you can imagine. Along the way, you'll explore key computer science concepts like data types, functions, variables, and more. Program robots that make smart decisions with flow control; Reuse code so that your robots can farm any crop you want, including wheat, sugar cane, and even cacti; Program a factory that generates infinite building supplies; Design an algorithm for creating walls and buildings of any size; Code yourself a pickaxe-swinging robotic lumberjack; Create a robot that digs mine shafts with stairs so you can exp ...
You've mined for diamonds, crafted dozens of tools, and built all sorts of structures - but what if you could program robots to do all of that for you in a fraction of the time? In Coding with Minecraft, you'll create a virtual robot army with Lua, a programming language used by professional game developers. Step-by-step coding projects will show you how to write programs that automatically dig mines, collect materials, craft items, and build anything that you can imagine. Along the way, you'll explore key computer science concepts like data types, functions, variables, and more. Program robots that make smart decisions with flow control; Reuse code so that your robots can farm any crop you want, including wheat, sugar cane, and even cacti; Program a factory that generates infinite building supplies; Design an algorithm for creating walls and buildings of any size; Code yourself a pickaxe-swinging robotic lumberjack; Create a robot that digs mine shafts with stairs so you can exp ...
Practical SQL
Practical SQL is an approachable and fast-paced guide to SQL (Structured Query Language), the standard programming language for defining, organizing, and exploring data in relational databases. The book focuses on using SQL to find the story your data tells, with the popular open-source database PostgreSQL and the pgAdmin interface as its primary tools. You'll first cover the fundamentals of databases and the SQL language, then build skills by analyzing data from the U.S. Census and other federal and state government agencies. With exercises and real-world examples in each chapter, this book will teach even those who have never programmed before all the tools necessary to build powerful databases and access information quickly and efficiently. Create databases and related tables using your own data; Define the right data types for your information; Aggregate, sort, and filter data to find patterns; Use basic math and advanced statistical functions; Identify errors in data and cle ...
Practical SQL is an approachable and fast-paced guide to SQL (Structured Query Language), the standard programming language for defining, organizing, and exploring data in relational databases. The book focuses on using SQL to find the story your data tells, with the popular open-source database PostgreSQL and the pgAdmin interface as its primary tools. You'll first cover the fundamentals of databases and the SQL language, then build skills by analyzing data from the U.S. Census and other federal and state government agencies. With exercises and real-world examples in each chapter, this book will teach even those who have never programmed before all the tools necessary to build powerful databases and access information quickly and efficiently. Create databases and related tables using your own data; Define the right data types for your information; Aggregate, sort, and filter data to find patterns; Use basic math and advanced statistical functions; Identify errors in data and cle ...
Exam Ref 70-761 Querying Data with Transact-SQL
Prepare for Microsoft Exam 70-761 - and help demonstrate your real-world mastery of SQL Server 2016 Transact-SQL data management, queries, and database programming. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Filter, sort, join, aggregate, and modify data; Use subqueries, table expressions, grouping sets, and pivoting; Query temporal and non-relational data, and output XML or JSON; Create views, user-defined functions, and stored procedures; Implement error handling, transactions, data types, and nulls. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with SQL Server as a database administrator, system engineer, or developer; Includes downloadable sample database and code for SQL Serve ...
Prepare for Microsoft Exam 70-761 - and help demonstrate your real-world mastery of SQL Server 2016 Transact-SQL data management, queries, and database programming. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Filter, sort, join, aggregate, and modify data; Use subqueries, table expressions, grouping sets, and pivoting; Query temporal and non-relational data, and output XML or JSON; Create views, user-defined functions, and stored procedures; Implement error handling, transactions, data types, and nulls. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with SQL Server as a database administrator, system engineer, or developer; Includes downloadable sample database and code for SQL Serve ...
Exam Ref 70-779 Analyzing and Visualizing Data with Microsoft Excel
Prepare for Microsoft Exam 70-779 - and help demonstrate your real-world mastery of Microsoft Excel data analysis and visualization. Designed for BI professionals, data analysts, and others who analyze business data with Excel, this Exam Ref focuses on the critical thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Consume and transform data by using Microsoft Excel; Model data, from building and optimizing data models through creating performance KPIs, actual and target calculations, and hierarchies; Visualize data, including creating and managing PivotTables and PivotCharts, and interacting with PowerBI. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have a strong understanding of how to use Microsoft Excel to perform data analysis. ...
Prepare for Microsoft Exam 70-779 - and help demonstrate your real-world mastery of Microsoft Excel data analysis and visualization. Designed for BI professionals, data analysts, and others who analyze business data with Excel, this Exam Ref focuses on the critical thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Consume and transform data by using Microsoft Excel; Model data, from building and optimizing data models through creating performance KPIs, actual and target calculations, and hierarchies; Visualize data, including creating and managing PivotTables and PivotCharts, and interacting with PowerBI. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have a strong understanding of how to use Microsoft Excel to perform data analysis. ...
Learning Spark
Data in all domains is getting bigger. How can you work with it efficiently? Recently updated for Spark 1.3, this book introduces Apache Spark, the open source cluster computing system that makes data analytics fast to write and fast to run. With Spark, you can tackle big datasets quickly through simple APIs in Python, Java, and Scala. This edition includes new information on Spark SQL, Spark Streaming, setup, and Maven coordinates. Written by the developers of Spark, this book will have data scientists and engineers up and running in no time. You'll learn how to express parallel jobs with just a few lines of code, and cover applications from simple batch jobs to stream processing and machine learning. Quickly dive into Spark capabilities such as distributed datasets, in-memory caching, and the interactive shell; Leverage Spark's powerful built-in libraries, including Spark SQL, Spark Streaming, and MLlib; Use one programming paradigm instead of mixing and matching tools like Hiv ...
Data in all domains is getting bigger. How can you work with it efficiently? Recently updated for Spark 1.3, this book introduces Apache Spark, the open source cluster computing system that makes data analytics fast to write and fast to run. With Spark, you can tackle big datasets quickly through simple APIs in Python, Java, and Scala. This edition includes new information on Spark SQL, Spark Streaming, setup, and Maven coordinates. Written by the developers of Spark, this book will have data scientists and engineers up and running in no time. You'll learn how to express parallel jobs with just a few lines of code, and cover applications from simple batch jobs to stream processing and machine learning. Quickly dive into Spark capabilities such as distributed datasets, in-memory caching, and the interactive shell; Leverage Spark's powerful built-in libraries, including Spark SQL, Spark Streaming, and MLlib; Use one programming paradigm instead of mixing and matching tools like Hiv ...
Learning PHP, MySQL & JavaScript, 5th Edition
Build interactive, data-driven websites with the potent combination of open source technologies and web standards, even if you have only basic HTML knowledge. In this update to this popular hands-on guide, you'll tackle dynamic web programming with the latest versions of today's core technologies: PHP, MySQL, JavaScript, CSS, HTML5, and key jQuery libraries. Web designers will learn how to use these technologies together and pick up valuable web programming practices along the way—including how to optimize websites for mobile devices. At the end of the book, you'll put everything together to build a fully functional social networking site suitable for both desktop and mobile browsers. Explore MySQL, from database structure to complex queries; Use the MySQLi extension, PHP's improved MySQL interface; Create dynamic PHP web pages that tailor themselves to the user; Manage cookies and sessions and maintain a high level of security; Enhance the JavaScript language with jQuery and j ...
Build interactive, data-driven websites with the potent combination of open source technologies and web standards, even if you have only basic HTML knowledge. In this update to this popular hands-on guide, you'll tackle dynamic web programming with the latest versions of today's core technologies: PHP, MySQL, JavaScript, CSS, HTML5, and key jQuery libraries. Web designers will learn how to use these technologies together and pick up valuable web programming practices along the way—including how to optimize websites for mobile devices. At the end of the book, you'll put everything together to build a fully functional social networking site suitable for both desktop and mobile browsers. Explore MySQL, from database structure to complex queries; Use the MySQLi extension, PHP's improved MySQL interface; Create dynamic PHP web pages that tailor themselves to the user; Manage cookies and sessions and maintain a high level of security; Enhance the JavaScript language with jQuery and j ...
Exam Ref 70-740 Installation, Storage and Compute with Windows Server 2016
Prepare for Microsoft Exam 70-740 - and help demonstrate your real-world mastery of Windows Server 2016 installation, storage, and compute features and capabilities. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Install Windows Servers in host and compute environments; Implement storage solutions; Implement Hyper-V; Implement Windows containers; Implement high availability; Maintain and monitor server environments. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with Windows Server in an enterprise environment; are familiar with core networking infrastructure, topologies, architectures, and protocols; and have experience with Windows clients and virtualization. ...
Prepare for Microsoft Exam 70-740 - and help demonstrate your real-world mastery of Windows Server 2016 installation, storage, and compute features and capabilities. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Install Windows Servers in host and compute environments; Implement storage solutions; Implement Hyper-V; Implement Windows containers; Implement high availability; Maintain and monitor server environments. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with Windows Server in an enterprise environment; are familiar with core networking infrastructure, topologies, architectures, and protocols; and have experience with Windows clients and virtualization. ...
Exam Ref 70-741 Networking with Windows Server 2016
Microsoft Exam 70-741 is for IT Pros interested in enhancing their skills for the latest version of Windows Server. This exam validates skills and knowledge for configuring advanced tasks required to deploy, manage, and maintain a Windows Server 2016 infrastructure, such as fault tolerance, certificate services, and identity federation. Passing this exam along with two other exams is required for MCSA and MCSE certifications. The Exam Ref is the official study guide for Microsoft certification exam 70-741. Featuring concise, objective-by-objective reviews and strategic case scenarios and Thought Experiments, exam candidates get professional-level preparation for the exam. The Exam Ref helps candidates maximize their performance on the exam and sharpen their job-role skills. It organizes material by the exam's objective domains Focus is on the skills measured on the exam: Implement Domain Name System (DNS); Implement DHCP; Implement IP Address Management (IPAM); Implement network ...
Microsoft Exam 70-741 is for IT Pros interested in enhancing their skills for the latest version of Windows Server. This exam validates skills and knowledge for configuring advanced tasks required to deploy, manage, and maintain a Windows Server 2016 infrastructure, such as fault tolerance, certificate services, and identity federation. Passing this exam along with two other exams is required for MCSA and MCSE certifications. The Exam Ref is the official study guide for Microsoft certification exam 70-741. Featuring concise, objective-by-objective reviews and strategic case scenarios and Thought Experiments, exam candidates get professional-level preparation for the exam. The Exam Ref helps candidates maximize their performance on the exam and sharpen their job-role skills. It organizes material by the exam's objective domains Focus is on the skills measured on the exam: Implement Domain Name System (DNS); Implement DHCP; Implement IP Address Management (IPAM); Implement network ...
Exam Ref 70-742 Identity with Windows Server 2016
Prepare for Microsoft Exam 70-742 - and help demonstrate your real-world mastery of Windows Server 2016 identity features and functionality. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Install and configure Active Directory Domain Services (AD DS); Manage and maintain AD DS; Create and manage Group Policy; Implement Active Directory Certificate Services (AD CS); Implement identity federation and access solutions. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with Windows Server, Windows clients, and virtualization; are familiar with core networking technologies, and are aware of basic security best practices. ...
Prepare for Microsoft Exam 70-742 - and help demonstrate your real-world mastery of Windows Server 2016 identity features and functionality. Designed for experienced IT professionals ready to advance their status, Exam Ref focuses on the critical-thinking and decision-making acumen needed for success at the MCSA level. Focus on the expertise measured by these objectives: Install and configure Active Directory Domain Services (AD DS); Manage and maintain AD DS; Create and manage Group Policy; Implement Active Directory Certificate Services (AD CS); Implement identity federation and access solutions. This Microsoft Exam Ref: Organizes its coverage by exam objectives; Features strategic, what-if scenarios to challenge you; Assumes you have experience working with Windows Server, Windows clients, and virtualization; are familiar with core networking technologies, and are aware of basic security best practices. ...