Domain Specific Languages

Download Domain Specific Languages full books in PDF, epub, and Kindle. Read online Domain Specific Languages ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Domain-Specific Languages

Author : Martin Fowler
Publisher : Pearson Education
ISBN 13 : 0131392808
Total Pages : 796 pages
Book Rating : 4.1/5 (313 download)

DOWNLOAD NOW!

Book Synopsis Domain-Specific Languages by : Martin Fowler

Download or read book Domain-Specific Languages written by Martin Fowler and published by Pearson Education. This book was released on 2010-09-23 with total page 796 pages. Available in PDF, EPUB and Kindle. Book excerpt: When carefully selected and used, Domain-Specific Languages (DSLs) may simplify complex code, promote effective communication with customers, improve productivity, and unclog development bottlenecks. In Domain-Specific Languages, noted software development expert Martin Fowler first provides the information software professionals need to decide if and when to utilize DSLs. Then, where DSLs prove suitable, Fowler presents effective techniques for building them, and guides software engineers in choosing the right approaches for their applications. This book’s techniques may be utilized with most modern object-oriented languages; the author provides numerous examples in Java and C#, as well as selected examples in Ruby. Wherever possible, chapters are organized to be self-standing, and most reference topics are presented in a familiar patterns format. Armed with this wide-ranging book, developers will have the knowledge they need to make important decisions about DSLs—and, where appropriate, gain the significant technical and business benefits they offer. The topics covered include: How DSLs compare to frameworks and libraries, and when those alternatives are sufficient Using parsers and parser generators, and parsing external DSLs Understanding, comparing, and choosing DSL language constructs Determining whether to use code generation, and comparing code generation strategies Previewing new language workbench tools for creating DSLs

Domain-Specific Languages in Practice

Author : Antonio Bucchiarone
Publisher : Springer Nature
ISBN 13 : 3030737586
Total Pages : 336 pages
Book Rating : 4.0/5 (37 download)

DOWNLOAD NOW!

Book Synopsis Domain-Specific Languages in Practice by : Antonio Bucchiarone

Download or read book Domain-Specific Languages in Practice written by Antonio Bucchiarone and published by Springer Nature. This book was released on 2021-06-24 with total page 336 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers several topics related to domain-specific language (DSL) engineering in general and how they can be handled by means of the JetBrains Meta Programming System (MPS), an open source language workbench developed by JetBrains over the last 15 years. The book begins with an overview of the domain of language workbenches, which provides perspectives and motivations underpinning the creation of MPS. Moreover, technical details of the language underneath MPS together with the definition of the tool’s main features are discussed. The remaining ten chapters are then organized in three parts, each dedicated to a specific aspect of the topic. Part I “MPS in Industrial Applications” deals with the challenges and inadequacies of general-purpose languages used in companies, as opposed to the reasons why DSLs are essential, together with their benefits and efficiency, and summarizes lessons learnt by using MPS. Part II about “MPS in Research Projects” covers the benefits of text-based languages, the design and development of gamification applications, and research fields with generally low expertise in language engineering. Eventually, Part III focuses on “Teaching and Learning with MPS” by discussing the organization of both commercial and academic courses on MPS. MPS is used to implement languages for real-world use. Its distinguishing feature is projectional editing, which supports practically unlimited language extension and composition possibilities as well as a flexible mix of a wide range of textual, tabular, mathematical and graphical notations. The number and diversity of the presented use-cases demonstrate the strength and malleability of the DSLs defined using MPS. The selected contributions represent the current state of the art and practice in using JetBrains MPS to implement languages for real-world applications.

Software Language Engineering

Author : Anneke Kleppe
Publisher : Pearson Education
ISBN 13 : 0321606469
Total Pages : 376 pages
Book Rating : 4.3/5 (216 download)

DOWNLOAD NOW!

Book Synopsis Software Language Engineering by : Anneke Kleppe

Download or read book Software Language Engineering written by Anneke Kleppe and published by Pearson Education. This book was released on 2008-12-09 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: Software practitioners are rapidly discovering the immense value of Domain-Specific Languages (DSLs) in solving problems within clearly definable problem domains. Developers are applying DSLs to improve productivity and quality in a wide range of areas, such as finance, combat simulation, macro scripting, image generation, and more. But until now, there have been few practical resources that explain how DSLs work and how to construct them for optimal use. Software Language Engineering fills that need. Written by expert DSL consultant Anneke Kleppe, this is the first comprehensive guide to successful DSL design. Kleppe systematically introduces and explains every ingredient of an effective language specification, including its description of concepts, how those concepts are denoted, and what those concepts mean in relation to the problem domain. Kleppe carefully illuminates good design strategy, showing how to maximize the flexibility of the languages you create. She also demonstrates powerful techniques for creating new DSLs that cooperate well with general-purpose languages and leverage their power. Completely tool-independent, this book can serve as the primary resource for readers using Microsoft DSL tools, the Eclipse Modeling Framework, openArchitectureWare, or any other DSL toolset. It contains multiple examples, an illustrative running case study, and insights and background information drawn from Kleppe’s leading-edge work as a DSL researcher. Specific topics covered include Discovering the types of problems that DSLs can solve, and when to use them Comparing DSLs with general-purpose languages, frameworks, APIs, and other approaches Understanding the roles and tools available to language users and engineers Creating each component of a DSL specification Modeling both concrete and abstract syntax Understanding and describing language semantics Defining textual and visual languages based on object-oriented metamodeling and graph transformations Using metamodels and associated tools to generate grammars Integrating object-oriented modeling with graph theory Building code generators for new languages Supporting multilanguage models and programs This book provides software engineers with all the guidance they need to create DSLs that solve real problems more rapidly, and with higher-quality code.

DSL Engineering

Author : Markus Voelter
Publisher : Createspace Independent Pub
ISBN 13 : 9781481218580
Total Pages : 558 pages
Book Rating : 4.2/5 (185 download)

DOWNLOAD NOW!

Book Synopsis DSL Engineering by : Markus Voelter

Download or read book DSL Engineering written by Markus Voelter and published by Createspace Independent Pub. This book was released on 2013 with total page 558 pages. Available in PDF, EPUB and Kindle. Book excerpt: The definitive resource on domain-specific languages: based on years of real-world experience, relying on modern language workbenches and full of examples. Domain-Specific Languages are programming languages specialized for a particular application domain. By incorporating knowledge about that domain, DSLs can lead to more concise and more analyzable programs, better code quality and increased development speed. This book provides a thorough introduction to DSL, relying on today's state of the art language workbenches. The book has four parts: introduction, DSL design, DSL implementation as well as the role of DSLs in various aspects of software engineering. Part I Introduction: This part introduces DSLs in general and discusses their advantages and drawbacks. It also defines important terms and concepts and introduces the case studies used in the most of the remainder of the book. Part II DSL Design: This part discusses the design of DSLs - independent of implementation techniques. It reviews seven design dimensions, explains a number of reusable language paradigms and points out a number of process-related issues. Part III DSL Implementation: This part provides details about the implementation of DSLs with lots of code. It uses three state-of-the-art but quite different language workbenches: JetBrains MPS, Eclipse Xtext and TU Delft's Spoofax. Part IV DSLs and Software Engineering: This part discusses the use of DSLs for requirements, architecture, implementation and product line engineering, as well as their roles as a developer utility and for implementing business logic. The book is available as a printed version (the one your are looking at) and as a PDF. For details see the book's companion website at http: //dslbook.org

Implementing Domain-Specific Languages with Xtext and Xtend

Author : Lorenzo Bettini
Publisher :
ISBN 13 : 9781782160304
Total Pages : 342 pages
Book Rating : 4.1/5 (63 download)

DOWNLOAD NOW!

Book Synopsis Implementing Domain-Specific Languages with Xtext and Xtend by : Lorenzo Bettini

Download or read book Implementing Domain-Specific Languages with Xtext and Xtend written by Lorenzo Bettini and published by . This book was released on 2013 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: A step-by-step guide that enables you to quickly implement a DSL with Xtext and Xtend in a test-driven way with the aid of simplified examples.This book is for programmers who want to learn about Xtext and how to use it to implement a DSL (or a programming language) together with Eclipse IDE tooling. It assumes that the user is familiar with Eclipse and its functionality. Existing basic knowledge of a compiler implementation would be useful, though not strictly required, since the book will explain all the stages of the development of a DSL.

DSLs in Boo

Author : Ayende Rahien
Publisher : Manning Publications
ISBN 13 : 9781933988603
Total Pages : 0 pages
Book Rating : 4.9/5 (886 download)

DOWNLOAD NOW!

Book Synopsis DSLs in Boo by : Ayende Rahien

Download or read book DSLs in Boo written by Ayende Rahien and published by Manning Publications. This book was released on 2010 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Provides information on creating DSLs for Microsoft .NET using Boo.

Formal and Practical Aspects of Domain-specific Languages

Author : Marjan Mernik
Publisher :
ISBN 13 : 9781466620926
Total Pages : 0 pages
Book Rating : 4.6/5 (29 download)

DOWNLOAD NOW!

Book Synopsis Formal and Practical Aspects of Domain-specific Languages by : Marjan Mernik

Download or read book Formal and Practical Aspects of Domain-specific Languages written by Marjan Mernik and published by . This book was released on 2013 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book presents current research on all aspects of domain-specific language for scholars and practitioners in the software engineering fields, providing new results and answers to open problems in DSL research"--

DSLs in Action

Author : Debasish Ghosh
Publisher : Simon and Schuster
ISBN 13 : 1638351171
Total Pages : 544 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis DSLs in Action by : Debasish Ghosh

Download or read book DSLs in Action written by Debasish Ghosh and published by Simon and Schuster. This book was released on 2010-11-30 with total page 544 pages. Available in PDF, EPUB and Kindle. Book excerpt: Your success—and sanity—are closer at hand when you work at a higher level of abstraction, allowing your attention to be on the business problem rather than the details of the programming platform. Domain Specific Languages—"little languages" implemented on top of conventional programming languages—give you a way to do this because they model the domain of your business problem. DSLs in Action introduces the concepts and definitions a developer needs to build high-quality domain specific languages. It provides a solid foundation to the usage as well as implementation aspects of a DSL, focusing on the necessity of applications speaking the language of the domain. After reading this book, a programmer will be able to design APIs that make better domain models. For experienced developers, the book addresses the intricacies of domain language design without the pain of writing parsers by hand. The book discusses DSL usage and implementations in the real world based on a suite of JVM languages like Java, Ruby, Scala, and Groovy. It contains code snippets that implement real world DSL designs and discusses the pros and cons of each implementation. Purchase of the print book comes with an offer of a free PDF, ePub, and Kindle eBook from Manning. Also available is all code from the book. What's Inside Tested, real-world examples How to find the right level of abstraction Using language features to build internal DSLs Designing parser/combinator-based little languages

Language Implementation Patterns

Author : Terence Parr
Publisher : Pragmatic Bookshelf
ISBN 13 : 168050374X
Total Pages : 456 pages
Book Rating : 4.6/5 (85 download)

DOWNLOAD NOW!

Book Synopsis Language Implementation Patterns by : Terence Parr

Download or read book Language Implementation Patterns written by Terence Parr and published by Pragmatic Bookshelf. This book was released on 2009-12-31 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: Learn to build configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. You don't need a background in computer science--ANTLR creator Terence Parr demystifies language implementation by breaking it down into the most common design patterns. Pattern by pattern, you'll learn the key skills you need to implement your own computer languages. Knowing how to create domain-specific languages (DSLs) can give you a huge productivity boost. Instead of writing code in a general-purpose programming language, you can first build a custom language tailored to make you efficient in a particular domain. The key is understanding the common patterns found across language implementations. Language Design Patterns identifies and condenses the most common design patterns, providing sample implementations of each. The pattern implementations use Java, but the patterns themselves are completely general. Some of the implementations use the well-known ANTLR parser generator, so readers will find this book an excellent source of ANTLR examples as well. But this book will benefit anyone interested in implementing languages, regardless of their tool of choice. Other language implementation books focus on compilers, which you rarely need in your daily life. Instead, Language Design Patterns shows you patterns you can use for all kinds of language applications. You'll learn to create configuration file readers, data readers, model-driven code generators, source-to-source translators, source analyzers, and interpreters. Each chapter groups related design patterns and, in each pattern, you'll get hands-on experience by building a complete sample implementation. By the time you finish the book, you'll know how to solve most common language implementation problems.

Practical Scala DSLs

Author : Pierluigi Riti
Publisher : Apress
ISBN 13 : 1484230361
Total Pages : 232 pages
Book Rating : 4.4/5 (842 download)

DOWNLOAD NOW!

Book Synopsis Practical Scala DSLs by : Pierluigi Riti

Download or read book Practical Scala DSLs written by Pierluigi Riti and published by Apress. This book was released on 2017-11-30 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Build domain specific languages (DSLs) using Java's most popular functional programming language: Scala. This book introduces the basics of Scala and DSLs using a series of practical examples. In Practical Scala DSLs, you’ll learn to create pragmatic and complete code examples that explain the actual use of DSLs with Scala: a web API and microservices; a custom language; a mobile app; a Forex system; a game; and cloud applications. At the end of this unique book, you’ll be able to describe the differences between external and internal DSLs; understand when and how to apply DSLs; create DSLs using Scala; and even create a DSL using another programming language. What You'll Learn Build DSLs in Scala Write a web API and microservices Create a custom language Apply DSLs to mobile apps development, a Forex trading system, game development, and more Discover the role of DSLs in cloud development Integrate DSLs as part of a DevOps program or structure Build internal and external DSLs Who This Book Is For Experienced Java coders with at least some prior experience with Scala. You may be new to DSLs.

Domain-Specific Modeling

Author : Steven Kelly
Publisher : John Wiley & Sons
ISBN 13 : 0470249250
Total Pages : 445 pages
Book Rating : 4.4/5 (72 download)

DOWNLOAD NOW!

Book Synopsis Domain-Specific Modeling by : Steven Kelly

Download or read book Domain-Specific Modeling written by Steven Kelly and published by John Wiley & Sons. This book was released on 2008-04-11 with total page 445 pages. Available in PDF, EPUB and Kindle. Book excerpt: "[The authors] are pioneers. . . . Few in our industry have their breadth of knowledge and experience." —From the Foreword by Dave Thomas, Bedarra Labs Domain-Specific Modeling (DSM) is the latest approach to software development, promising to greatly increase the speed and ease of software creation. Early adopters of DSM have been enjoying productivity increases of 500–1000% in production for over a decade. This book introduces DSM and offers examples from various fields to illustrate to experienced developers how DSM can improve software development in their teams. Two authorities in the field explain what DSM is, why it works, and how to successfully create and use a DSM solution to improve productivity and quality. Divided into four parts, the book covers: background and motivation; fundamentals; in-depth examples; and creating DSM solutions. There is an emphasis throughout the book on practical guidelines for implementing DSM, including how to identify the necessary language constructs, how to generate full code from models, and how to provide tool support for a new DSM language. The example cases described in the book are available the book's Website, www.dsmbook.com, along with, an evaluation copy of the MetaEdit+ tool (for Windows, Mac OS X, and Linux), which allows readers to examine and try out the modeling languages and code generators. Domain-Specific Modeling is an essential reference for lead developers, software engineers, architects, methodologists, and technical managers who want to learn how to create a DSM solution and successfully put it into practice.

Programming DSLs in Kotlin

Author : Venkat Subramaniam
Publisher : Pragmatic Bookshelf
ISBN 13 : 1680508261
Total Pages : 104 pages
Book Rating : 4.6/5 (85 download)

DOWNLOAD NOW!

Book Synopsis Programming DSLs in Kotlin by : Venkat Subramaniam

Download or read book Programming DSLs in Kotlin written by Venkat Subramaniam and published by Pragmatic Bookshelf. This book was released on 2021-03-23 with total page 104 pages. Available in PDF, EPUB and Kindle. Book excerpt: Creating your own domain-specific languages (DSLs) is both challenging and exhilarating. DSLs give users a way to interact with your applications more effectively, and Kotlin is a fantastic language to serve as a host for internal DSLs, because it greatly reduces the pain and effort of design and development. But implementing DSLs on top of Kotlin requires understanding the key strengths of the language and knowing how to apply them appropriately. Learn to avoid the pitfalls and leverage the language while creating your own elegant, fluent, concise, and robust DSLs using Kotlin. Internal DSLs remove the burdens of implementing a full blown language compiler. The host language quickly becomes your ally to creating DSLs, but the syntax you can choose for your DSLs is limited to what the host language allows. You can work around the limitations by tactfully bending the rules and exploiting the language capabilities. Learn the power of Kotlin and ways to design with it, in the context of crafting internal DSLs Start by learning ways to exploit the flexibilities of Kotlin to make your DSLs fluent, expressive, and concise. Then pick up techniques to extend the language with domain specific properties and functions. Quickly move ahead to tie your DSL snippets into the runtime environment and context of execution of your applications. Design to prevent any non-sensical syntax in your DSL that may otherwise be valid in the host language. Finally, learn techniques to gracefully handle errors. Practice using the multiple examples that are included in each chapter. Fire up your editor and follow along each example to become proficient in designing and implementing your own internal DSLs using Kotlin. What You Need: Kotlin version 1.3 or later and your favorite Kotlin IDE or code editor.

Domain-Specific Languages in R

Author : Thomas Mailund
Publisher : Apress
ISBN 13 : 1484235886
Total Pages : 257 pages
Book Rating : 4.4/5 (842 download)

DOWNLOAD NOW!

Book Synopsis Domain-Specific Languages in R by : Thomas Mailund

Download or read book Domain-Specific Languages in R written by Thomas Mailund and published by Apress. This book was released on 2018-06-23 with total page 257 pages. Available in PDF, EPUB and Kindle. Book excerpt: Gain an accelerated introduction to domain-specific languages in R, including coverage of regular expressions. This compact, in-depth book shows you how DSLs are programming languages specialized for a particular purpose, as opposed to general purpose programming languages. Along the way, you’ll learn to specify tasks you want to do in a precise way and achieve programming goals within a domain-specific context. Domain-Specific Languages in R includes examples of DSLs including large data sets or matrix multiplication; pattern matching DSLs for application in computer vision; and DSLs for continuous time Markov chains and their applications in data science. After reading and using this book, you’ll understand how to write DSLs in R and have skills you can extrapolate to other programming languages. What You'll Learn Program with domain-specific languages using R Discover the components of DSLs Carry out large matrix expressions and multiplications Implement metaprogramming with DSLs Parse and manipulate expressions Who This Book Is For Those with prior programming experience. R knowledge is helpful but not required.

Software Languages

Author : Ralf Lämmel
Publisher : Springer
ISBN 13 : 3319908006
Total Pages : 424 pages
Book Rating : 4.3/5 (199 download)

DOWNLOAD NOW!

Book Synopsis Software Languages by : Ralf Lämmel

Download or read book Software Languages written by Ralf Lämmel and published by Springer. This book was released on 2018-05-17 with total page 424 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book identifies, defines and illustrates the fundamental concepts and engineering techniques relevant to applications of software languages in software development. It presents software languages primarily from a software engineering perspective, i.e., it addresses how to parse, analyze, transform, generate, format, and otherwise process software artifacts in different software languages, as they appear in software development. To this end, it covers a wide range of software languages – most notably programming languages, domain-specific languages, modeling languages, exchange formats, and specifically also language definition languages. Further, different languages are leveraged to illustrate software language engineering concepts and techniques. The functional programming language Haskell dominates the book, while the mainstream programming languages Python and Java are additionally used for illustration. By doing this, the book collects and organizes scattered knowledge from software language engineering, focusing on application areas such as software analysis (software reverse engineering), software transformation (software re-engineering), software composition (modularity), and domain-specific languages. It is designed as a textbook for independent study as well as for bachelor’s (advanced level) or master’s university courses in Computer Science. An additional website provides complementary material, for example, lecture slides and videos. This book is a valuable resource for anyone wanting to understand the fundamental concepts and important engineering principles underlying software languages, allowing them to acquire much of the operational intelligence needed for dealing with software languages in software development practice. This is an important skill set for software engineers, as languages are increasingly permeating software development.

DSLs in Boo

Author : Oren Eini
Publisher : Simon and Schuster
ISBN 13 : 1638354219
Total Pages : 611 pages
Book Rating : 4.6/5 (383 download)

DOWNLOAD NOW!

Book Synopsis DSLs in Boo by : Oren Eini

Download or read book DSLs in Boo written by Oren Eini and published by Simon and Schuster. This book was released on 2009-12-31 with total page 611 pages. Available in PDF, EPUB and Kindle. Book excerpt: A general-purpose language like C# is designed to handle all programming tasks. By contrast, the structure and syntax of a Domain-Specific Language are designed to match a particular applications area. A DSL is designed for readability and easy programming of repeating problems. Using the innovative Boo language, it's a breeze to create a DSL for your application domain that works on .NET and does not sacrifice performance. DSLs in Boo shows you how to design, extend, and evolve DSLs for .NET by focusing on approaches and patterns. You learn to define an app in terms that match the domain, and to use Boo to build DSLs that generate efficient executables. And you won't deal with the awkward XML-laden syntax many DSLs require. The book concentrates on writing internal (textual) DSLs that allow easy extensibility of the application and framework. And if you don't know Boo, don't worry-you'll learn right here all the techniques you need. Purchase of the print book comes with an offer of a free PDF, ePub, and Kindle eBook from Manning. Also available is all code from the book.

Domain-specific Development with Visual Studio DSL Tools

Author : Steve Cook
Publisher : Addison-Wesley Professional
ISBN 13 : 9780321398208
Total Pages : 0 pages
Book Rating : 4.3/5 (982 download)

DOWNLOAD NOW!

Book Synopsis Domain-specific Development with Visual Studio DSL Tools by : Steve Cook

Download or read book Domain-specific Development with Visual Studio DSL Tools written by Steve Cook and published by Addison-Wesley Professional. This book was released on 2007 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Domain-Specific Languages (DSLs)--languages geared to specific vertical or horizontal areas of interest--are generating growing excitement from software engineers and architects. DSLs bring new agility to the creation and evolution of software, allowing selected design aspects to be expressed in terms much closer to the system requirements than standard program code, significantly reducing development costs in large-scale projects and product lines. In this breakthrough book, four leading experts reveal exactly how DSLs work, and how you can make the most of them in your environment. With Domain-Specific Development with Visual Studio DSL Tools, you'll begin by mastering DSL concepts and techniques that apply to all platforms. Next, you'll discover how to create and use DSLs with the powerful new Microsoft DSL Tools--a toolset designed by this book's authors. Learn how the DSL Tools integrate into Visual Studio--and how to define DSLs and generate Visual Designers using Visual Studio's built-in modeling technology. In-depth coverage includes Determining whether DSLs will work for you Comparing DSLs with other approaches to model-driven development Defining, tuning, and evolving DSLs: models, presentation, creation, updates, serialization, constraints, validation, and more Creating Visual Designers for new DSLs with little or no coding Multiplying productivity by generating application code from your models with easy-to-use text templates Automatically generating configuration files, resources, and other artifacts Deploying Visual Designers across the organization, quickly and easily Customizing Visual Designers for specialized process needs List of Figures List of Tables Foreword Preface About the Authors Chapter 1 Domain-Specific Development Chapter 2 Creating and Using DSLs Chapter 3 Domain Model Definition Chapter 4 Presentation Chapter 5 Creation, Deletion, and Update Behavior Chapter 6 Serialization Chapter 7 Constraints and Validation Chapter 8 Generating Artifacts Chapter 9 Deploying a DSL Chapter 10 Advanced DSL Customization Chapter 11 Designing a DSL Index

Domain-Specific Languages of Mathematics

Author : Jean-Philippe Bernardy
Publisher :
ISBN 13 : 9781848903883
Total Pages : 268 pages
Book Rating : 4.9/5 (38 download)

DOWNLOAD NOW!

Book Synopsis Domain-Specific Languages of Mathematics by : Jean-Philippe Bernardy

Download or read book Domain-Specific Languages of Mathematics written by Jean-Philippe Bernardy and published by . This book was released on 2022-01-05 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: The main idea behind this book is to encourage readers to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions; to give calculational proofs; to pay attention to the syntax of the mathematical expressions; and, finally, to organize the resulting functions and types in domain-specific languages. The book is recommended for developers who are learning mathematics and would like to use Haskell to make sense of definitions and theorems. It is also a book for the mathematically interested who wants to explore functional programming and domain-specific languages. The book helps put into perspective the domains of Mathematics and Functional Programming and shows how Computer Science and Mathematics are usefully taught together.