LINUX.ORG.RU

Idris 2 почти готов для интерпрайза

 , , ,


0

2

http://mmhelloworld.github.io/blog/2020/12/30/idris-2-bootstrap-compiler-on-the-jvm-with-a-jvm-backend/

Features

  • Eliminate tail recursion using JVM’s GOTO

  • Trampoline non-self tail calls

  • Support file, directory, array, IORef and buffer primitives.

  • Analyse function dependencies to generate bytecode for only used functions from main

  • Limited type inference on Idris IR to avoid boxing and typecasting in the generated bytecode

  • Static and instance Java FFI method calls.

  • Debug information (Idris source file and line numbers) in the bytecode from Idris IR


Отлично! Спасибо за новость!

AndreyKl ★★★★★ ()
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.