Thrust Programming Language

[night needle]

Thrust Programming Language

The Thrush Programming Language. A programming language dedicated to creating maintainable and modular software.

Features

• High level abstraction.
• Non-explicit cast for primitive types.
• Strongly statically typed.
• Strongly in OOP paradigm.
• Automatic memory management.
• Partial memory safety.
• Ahead of time compilation.
• Faster compilation times.
• Faster as C.
• Compiled to machine code.

Shiny Features

• Support for quantum programming for quantum machines using qubits.

Powered by LLVM & Quantum Q# Backend

• With LLVM as the main code generator, GCC planned for the future makes it possible for Thrush to compete with languages like Rust, Swift, Odin, and Jai in its league in the bright future.
• The Quantum Q# backend is used only when the quantum programming language is enabled; compile or interpret it for quantum machines using qubits.

Compilation steps

With the compiler (thrushc)...

thrushc --executable hello.th -o hello && ./output/hello

With the package manager... (Coming soon)

thorium run

public @extern("printf") fn print(fmt :: str, ...): i32;

fn main() {

    for var i: i64 = 0; a < 100; a++; {

        print("%ld %s", i, "Hello World!")
  
    } 

}

https://github.com/thrustlang

[unborn scarab]

Thorium es como cargo no?

[night needle]

Yes

[raven crater]

[night needle]

[raven crater]

qué mecanismo de memoria usa?

gc?

arc?

[unborn scarab]

ten fe

[night needle]

Trata de imitar el funcionamiento del stack para las cosas del heap, pero es como Rust, llevando todo lo posible al stack

También libera de forma recursiva cualquier tipo dentro de una estructura que sea un puntero del heap o estructura. Todo lo demás y la mayoría son del stack, no hay que preocuparse.

Manejo el heap de manera local, ya que llvm ir se reduce a solamente funciones.

Básicamente se recrea el funcionamiento del stack pero para heap.

[empty wedge]

@night needle como es eso bien de la compilación utilizando Q# porque no entiendo muy bien como traducirías un programa en un lenguaje como este a uno de uno de un circuito cuantico, ademas de poder hacer algo como eso no convendria compilarlo a openwasm y utilizar algo como qe-compiler?

https://github.com/openqasm/qe-compiler

[night needle]

LLVM IR, utilizando una bifurcación, como QIR o CIR, que puede utilizarse en ejecutores cuánticos, Q# es una opción, pero también están estos representaciones intermediarías, no se necesita MLIR.

QIR es de QIR Alliance, que es patrocinada por Nvidia, Microsoft y más empresas

https://www.qir-alliance.org/

[night needle]

Bueno como tal no es una bifurcación, sino más bien un IR que se enlaza con un runtime de ejecutores cuánticos, en estos de IBM o Rigetti

Ahora es emularlo en computadores normales, ya que eso es de producción, real con circuitos cúanticos

[night needle]

Se podría hacer obteniendo los compiladores de IBM y Rigetti, para como "interpretar" el IR

No he buscado información sobre ello

[night needle]

Q# lo usa en su backend

[empty wedge]

Ahi te entendi mejor, quiza estaria bueno modificarlo en el readme de backend Q# a QIR directamente, creo que asi como esta escrito queda medio confuso

[night needle]

Seh, debo fijarme mejor, gracias por avisar 👍

Hasta esta publicación debo actualizar 🤣

[empty wedge]

jaja perdon

igual fijate que me parece que lo mas jodido igual mas que como lo compilas va a ser como lo interpretas como bien decias

no se si hay mucho que leer de eso porque simplemente no se si hay un grupo que ya lo haya estudiado

para cuando lo hagas igual seguro esto te re sirve

https://quantumalgorithmzoo.org/

porque si lo que esperas es poder hacer un codigo que sea analogico a una arquitectura comun y una cuantico es un laburazo

[night needle]

https://github.com/qir-alliance/qir-runner

Para adaptarlo de forma general hay que seguir reglas generales de código cuántico, las mismas que sigue Q# en su backend y ya esta. Se emite el IR y se interpreta o bueno esta clase de bytecode runner

Funciona como un VM

[empty wedge]

Sisi, pero tipo entonces no esperas optimizar código en la compilación ni nada parecido, lo llevas a qir y listo?

[night needle]

Hay un optimizador, disponible en QIR, que podes usar, este optimiza el QIR para una modelo especifico, pero no tengo idea si surte efecto en backend del runner

[empty wedge]

Ahhhhh eso está interesante

Lo voy a mirar

Gracias

[night needle]

De algo ha de funcionar esta vaina https://github.com/qir-alliance/qat

[night needle]

Thrust Programming Language

Cambie de nombre porque este proyecto va para largo, y que Thrush no es buen nombre para el futuro, ya que en inglés a veces puede referirse a una enfermedad entonces link actualizado