1 [Feature request] Modularize machine representation of types

Joel Berkeley edited this page 2022-09-22 16:28:01 +01:00

Table of Contents

• Problem
• Solution and its goals

Problem

Machine types are baked into the compiler and we provide no API to be able to chose what Int means or what other primitive types are available on the target platform.

This has the following two problems:

• we can't replace the interpretation of machine types easily
• The compiler is hardcoding a lot of the machine types, which makes working with them in the compiler tedious.

Solution and its goals

1. Split up code generation into 2 phases:

   • computing machine representation of types
   • generating code using the chosen type representation

2. Make the machine representation of types programmable depending on the compiler target

• Wiki Home Page
• Using Idris
  • Resources
  • Editor Support
  • Third-party Libraries
  • External Backends
• Working on Idris
  • Getting Started
  • What Contributions are Needed
  • Map of the Source Code
  • FAQ
• Proposed changes
  • Contrib Organisation
  • The State of Idris Documentation
  • Compiler API
  • Networking Primitives
  • Types Metaprogramming Manifesto
  • TypeScript and ECMAScript interfacing
  • Modularize Machine Representation of Types