emir burak scala.xml (draft book, updated for Scala 2.6.1) I. Semistructured Syntax and Data 1. Introduction XML, Types and Objects 2. The scala.xml API Nodes and Attributes Elements and Text Embedded expressions Other nodes Matching XML Updates and Queries Names and Namespaces Sharing namespace nodes 3. XPath projection 4. XSLT style transformations 5. XQuery style querying 6. Loading and Saving XML The native Scala parser Pull parsing (experimental) II. Library 7. Overview 8. scala.xml runtime classes 9. Scala's XML syntax, formally 10. Interpretation of XML expressions and patterns
This book is about beliefs---how we get them and how we evaluate them. It takes the form of a fictional conversation makes the following points: 1) in analogy with robots, we humans know by the models we make of reality, 2) these models are always provisional and sometimes unreliable, 3) it is especially important to examine thoroughly those models upon which we base actions, and 4) the scientific method provides an excellent guide for such examination. The level of exposition is neither technical nor deeply philosophical
A type system is a syntactic method for enforcing levels of abstraction in programs. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design, high-performance compilers, and security.This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages. The approach is pragmatic and operational; each new concept is motivated by programming examples and the more theoretical sections are driven by the needs of implementations. Dependencies between chapters are explicitly identified, allowing readers to choose a variety of paths through the material. The core topics include the untyped lambda-calculus, simple type systems, type reconstruction, universal and existential polymorphism, subtyping, bounded quantification, recursive types, kinds, and type operators.
Some of the things you can do with the GrassmannAlgebra software. You can: * Set up your own space of any dimension and metric. The default is a 3D Euclidean * Work basis-free or with a basis * Declare your own scalar symbols * Declare your own vector symbols: * Apply Grassmann operations. A Grassmann operation is any of: the complement operation and the six product operations: the exterior, regressive, interior, generalized Grassmann, hypercomplex and Clifford products. * Manipulate Grassmann expressions and numbers. A Grassmann expression is either a scalar, a Grassmann variable, or the result of a sequence of Grassmann operations or sums on Grassmann expressions. A Grassmann number is a Grassmann expression expressed as a linear combination of basis elements. * Compute the grade of any Grassmann expression. * Query the attributes of any expression. * Extract components of different types