Questions tagged [runtime]

For questions relating to the runtime, or the stage where the code is running.

Filter by
Sorted by
Tagged with
7 votes
1 answer
379 views

Possible ways for a system interface in a lazy LC language?

I'm writing a backend for lazy lambda calculus. Now I'm curious about how it could interface with the system. As an experiment, I managed to write READ and WRITE primitives, each of which does the ...
Bubbler's user avatar
  • 703
15 votes
5 answers
3k views

Do you need an "Any" type when implementing a statically typed programming language?

As per the comment about Swift having an Any type here (and my related question in that post, on how to access type metadata at runtime without increasing the ...
Lance's user avatar
  • 695
5 votes
3 answers
251 views

How to avoid output build bloat when wanting to access type metadata information at runtime?

In my answer to the question What are the advantages and disadvantages of making types as a first class value?, I point out that for the language I'm working on, I wanted to have the ability to do ...
Lance's user avatar
  • 695
11 votes
1 answer
193 views

Runtime/Backend for a lazy, pure functional, lambda-calculus-based language?

I'm thinking of writing a toy language based on lambda calculus. I want it to be lazily evaluated. I/O is not a concern for now; main will be a pure function that ...
Bubbler's user avatar
  • 703