Leader badge

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
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it 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