Search Results for "types"

Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. 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. ...

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

...For more, also historical information please visit (http://www.pearl90.de/). In 1998 PEARL-90 was standardized by the Deutsches Institut für Normung e.V. in DIN 66253-2. PEARL provides the standard data types and structures known from other procedural languages like e.g. PASCAL. Additionally PEARL brings special language constructs for managing real-time and multitasking tasks.

Kopi provides a development environment for interactive database applications using Java, JDBC and Swing. It extends the Java language with money, date and time types, adds operator overloading and allows seamless integration of SQL.

cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved!

New object-oriented programming language based on Java, with the following advanced features: parametric types, anonymous functions, multi-methods, tuples, optional parameters. Nice also detects more errors during compilation (null pointers, casts).

...A collection of the ASN.1/ECN parser, XDR-to-ASN.1 converter and pretty-printer scripts for ASN.1/ECN specifications. Contains also a formal definition of the ASN.1 built-in types, ECN encoding classes and XDR encodings.

A branch of Scala at Rice University that looks for adding support for Runtime Types (ala NextGen), and eventually components (ala CGen).

...Using simple project definition files, it generates powerful build scripts (such as ANT) while hiding their complexity. Invicta is a modular framework that allows developing additional components and output types.

This is an Error Class Generator. It takes a text file that defines the error types, constant names and messages, levels and responses associated with it and generates classes in the supported languages that can be used to consistently handle errors

Ownership and Immutability Generic Java (OIGJ) is a programming language based on Java with generic types. OIGJ supports deep ownership, confinement, object- and reference-immutability.

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