Theme-D download | SourceForge.net

Downloads: 6 This Week

Last Update: 4 days ago

Get an email when there's a new version of Theme-D

Theme-D extends Scheme with static typing.

Features

Static type system
An object system
A module system
Parametrized (type parameters) classes, types, and procedures
Statically and dynamically dispatched multimethods
Signature types resembling Java interfaces but multiply dispatched
Constant variables
Numerical tower

Project Activity

See All Activity >

Follow Theme-D

Theme-D Web Site

Other Useful Business Software

MongoDB Atlas runs apps anywhere Icon

MongoDB Atlas runs apps anywhere

Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of Theme-D!

Additional Project Details

Registered

2014-12-14

Report inappropriate content

Recommended Projects

ats2-lang
ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are...
Ravi Programming Language
Ravi Programming Language is a derivative of Lua 5.3 with limited optional static typing and MIR-based JIT compiler. Ravi is a derivative/dialect of Lua with limited optional static typing and JIT/AOT compilers. The name Ravi comes from the Sanskrit word for the Sun. Lua is perfect as a small...
tRPC
tRPC allows you to easily build & consume fully typesafe APIs, without schemas or code generation. As TypeScript and static typing increasingly become a best practice in web programming, the API presents a major pain point. We need better ways to statically type our API endpoints and share those...
MyPy
mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. The tool...
core.typed
core.typed is an optional static type system for Clojure, providing gradual typing features like type declarations, checking, and inference. It supports modules for development-time checking and runtime typing, though note that it's deprecated as of Clojure 1.11 in favor of Typed Clojure....