Search Results for "type"

...Favor composition over inheritance. Use @link and @part for automatic interface implementation forwarding and delegation. Use the framework to gain direct, type-safe access to any type of resource, such as GraphQL, JSON, XML, YAML, CSV, and even other languages such as JavaScript. Remove the code gen step in your build process. Use types defined in .graphql files directly, no code gen steps! Make GraphQL changes and immediately use them with code completion.

...Network primitives in the language make it simpler to write services and run them in the cloud. Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types, and concurrency safety, combined with a familiar, readable syntax make programs reliable and maintainable. Easy and efficient concurrency with sequence diagrams and language-managed threads without the complexity of asynchronous functions. ...

...You describe the interface in plain YAML: tokens are pictures matched under a discipline, lexemes their spatial arrangements, with OCR for the content that changes. On a match it drives the GUI (click, type, route text); the logic turns a recognized screen into what to do — a watched value with prose rules, or a neighbourhood rule table over a tiled grid. The shipped examples are pure grammar, no Java: a calculator automator and a Minesweeper solver. Java 21, MIT-licensed. See VANGA_DESIGN.md.

...With these, APGAS can express both regular and irregular parallelism, message-passing-style and active-message-style computations, fork-join and bulk-synchronous parallelism. Both its modern, type-safe sequential core and simple programming model for concurrency and distribution contribute to making X10 a high-productivity language in the HPC and Big Data spaces. User productivity is further enhanced by providing tools such as an Eclipse-based IDE (X10DT). Implementations of X10 are available for a wide variety of hardware and software platforms ranging from laptops, to commodity clusters, to supercomputers.

Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules) for languages implemented in Xtext. It then generates Java code that can be used in your language implemented in Xtext for scoping and validation (it can also generate a validator in Java).

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

Multi-language library to deal with multimethod dispatch, disambiguation and type-checking using dispatch tables. This approach yields fast dispatch in constant-time and greatly helps resolving ambiguities.

This project is derived from the dk.brics.automaton DFA library, version 1.11-8. The most significant change is the addition of a 'info' field to automaton states, allowing them to be associated with a token type. A few automaton operations were modified to preserve the value of this field. I have not given much thought to whether it would even make sense to preserve the 'info' field through some of the other operations. This project also includes an extension of RunAutomaton, called TokenAutomaton, that can be used as a lexer, as well as its support classes and examples of its use. ...

XTypeS is a DSL for writing type systems for languages implemented in Xtext.

Javaruntype is a library which offers a runtime objectual representation of the Java type system

The Tree Processing Language allows the specification of an object oriented tree structure, with strong seperation of concerns, which can be compiled into a type safe class hierarchy implementing the tree.

The mesh programming language is a universal styling language that utilizes the Java framework. It contains many novel features, rigorous type checking, and integrated extendability.

C-style, ANT/cmdline preprocessor for java, xml and other files. Designed to run smoothly with IDEs and tools - all directives occur in comments specific to the file's type, making it syntactically valid. Line numbering (debug messages!) is preserved.

Meta-Ja is to Java what C++ was to C - it lets you express Java class hierarchies at a higher level of abstraction, and then writes XML Schema files, constructors, hash-access type-safe lists, get, set, copy, print, and XML parsing/generation functions.

OS based on Agent based Security with a new type of split kernel and agents platform.

Barat is a front-end for Java. It parses source and byte-code, and performs name and type analysis on demand.

TreeScript a next generation Java based language for inserting into and building large (proxy based) XML like object trees. It allows code and diverse data sources to be acted upon is if they were simple atomic and node type values.

State is a programming language for automation control software. Hierarchical, type parametrized systems, controlled by Moore statemachines, are connected with arbitrary precision signals. Code generators for M68HC11 and Java are available.

...In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about asynchronous communications or protocol compliance anymore. The language is based on strong theoretical bases, so that you can let its compiler do the jobs of checking your global programs and generating correct implementing code for you!