vein-lang / vein

🔮⚡️Vein is an open source high-level strictly-typed programming language with a standalone OS, arm and quantum computing support.

Vein

Documentation   •   Issues   •   Roadmap   •   Contributing

Read the docs →

What is Vein?

Vein is under active development. We're working on more complete std and integration with multiple part of life. And at the moment we are stabilizing the state of the compiler and the set of language features

Vein is an all-in-one language for quantum computing and general purpose apps.

Install

View install docs

#[windows]
irm "https://vein-lang.org/install.ps1" | iex

#[macOS/Linux]
curl -fsSL https://vein-lang.org/install.sh | bash 

License

Vein Lang is primarily distributed under the terms of both the MIT license and the Apache License (Version 2.0), with portions covered by various BSD-like licenses.

Check LICENSE files for more information.

vein's Issues

Implementation of Array

• opcodes, NEWARR, LDLEN, STELEM_S, LDELEM_S
• syntax, ast support
• gc allocation
• unit tests
• il generation
• optimization generator for value_types (static array initializer)
• ast->il

Migrate from Sprache engine to Superpower token engine

Implementation of foreach syntax

• opcodes
• syntax, ast support
• ast->il <- blocked
• detect implementation of IYieldable <- blocked, need (#61)

foreach (auto i in arr)
{
}

blocked by #103

Syntax conditional for statement

• Proposed
• Triage: Completed
• Prototype: not started
• Implementation: not started
• Specification: not started

Syntax

public foo(obj: FooObject): void
{
   for (auto i = 0; i != 10; i++) when obj != null
       obj.Action(i);
}

Ishtar view (transformation result)

public foo(obj: FooObject): void
{
   if (obj != null)
   {
       for (auto i = 0; i != 10; i++) when 
           obj.Action(i);
    }
}

Add language support into github

Need send PR into github/linguist after reach :user/:repo 200+

Link to check indexed files: *.vein

[EPIC] Quantum Computing

This issue will be a kind of collection of all necessary issues for the implementation of quantum computing

What is it? Quantum computing? 🤨

Yes, exactly!
Next in plans:

• first of all, support for "operations" by syntax and compiler (#21)
• next, support for running as a child processor of quantum processor emulator "MS Quantum Simulator"
• So, in future, when expansion cards appear (PCIeX128 😃), add support for cross-process interaction with a QPU and CPU.

Issues list:

• #14
• #21

[backend] qasm translation

[vtable improvement] Class bitmap in vtable initialization

[EPIC] Generics on Generics

Multiple inheritance

[backend] LLVM support

How to use it with React together

Discussed in #52

^{Originally posted by urumo June 21, 2021}
Please add a way to integrate a library made by Mana into React

Used-defined aspects

• Proposed
• Triage: Completed
• Prototype: in process
• Implementation: not started
• Specification: not started

define custom aspect

public aspect customAspect(arg1: String, arg2: String);

[customAspect("foo", "bar")]
public fn(): void {}

std api for reflection of custom aspect

[customAspect("foo", "bar")]
public FooMethod(): void 
{
    auto aspect = getType(this)
              .getMethod(nameof(FooMethod))
              .getAspects()
              .first()
              .as<customAspect>();
    
    Out.println(aspect.arg1); // "foo"
    Out.println(aspect.arg2); // "bar"
}

Ishtar view (transformation result)

[aspect]
public class customAspect: vein/lang/Aspect
{
    public new(arg1: String, arg2: String): this
    { 
        // ...
    }
}

Application Vault - main storage of modules

[EPIC] Threading

This issue will be a kind of collection of all necessary issues for the implementation of Threading and ThreadManagementLibrary parts.

Plans:

• implementation of Synchronization сontext in Ishtar kernel
• implementation of base threading api in corlib (thread.start, thread.stop and etc)
• implementation of sync api in corlib (monitor.enter, monitor.impulse, semaphore and etc)
  Optional plans:
• implementation async\await threading.
• implementation parallel coroutine threading.

Issues list:

• #19

[backend] Light ishtar migration to no-runtime CLR-AOT

[EPIC] Support interfaces

• syntax, ast support
• unit tests
• ast->il
• vtables test
• #64
• #65
• #66
• #77
• #67
• #68
• #274

public interface IFooBar
{
   method1(): void;
   method2(arg: Int32): void;
}

annotation arguments, improvement extern imports

Improvement vtables, initial support virtual\override

up code coverage to 10%

[LSP] Find Reference

[EPIC] pattern-matching

Duplicate Class instance protection

• Only in DEBUG mode

vein build task (i.e. custom build script)

<project sdk="Ishtar.SDK.Standalone">
    <target>project_name</target>
    <packages>
        <ref name="corlib, 1.0.0.0"/>
    </packages>
    <tasks>
        <task src="./scripts/copy.csx" name="copy">
        <task src="./scripts/sign.csx" name="sign">
    <tasks/>
</project>

call task:

veinc run copy
veinc run sign

Setup CI for build linux-arm32

[backend] Hashlink support

Can't import React

Describe the bug
import React from 'react' doesn't work.

To Reproduce
Try to import React

** Code To Reproduce **

import React from 'react'

Expected behavior
React being imported.

Platform (please complete the following information):

• (required) OS: MacOS 11.4
• (optional) VSCode Version: 1.57.1

Additional context
I want pizza

[EPIC] Cast operation

• syntax, ast support
• unit tests
• ast->il
• vtables test
• cast opcode
• #67

up code coverage to 50%

[syntax] inline IL

• Proposed
• Triage: Completed
• Prototype: not started
• Implementation: not started
• Specification: not started

Inline function aspect

aspect declaration

public aspect @inline();

syntax

public Mul(x: Int32, y: Int32): Int32
{
   return x * y;
}
[inline]
public Foo(x: Int32, y: Int32): Int32
{
   return Mul(x, y);
}
// call
public master(): Void
{
    Foo(2, 3);
}

Ishtar view (transformation result)

public master(): Void
{
    Mul(2, 3);
}

up code coverage to 60%

Improvement LD_TOKEN, RuntimeToken and etc

Migrate from xunit to nunit

Due to the problem of undefined behavior during the execution of tests and getting the error There is no currently active test., it is necessary to migrate from xunit to nunit.

The research of problem did not reveal a solution:
xunit/xunit/issues/2146
xunit/xunit/issues/2003
xunit/xunit/issues/1540

• ishtar test
• compiler test
• parser test

[backend] implementation ishtar rust variant

Garbage Collector

Sync-method syntax support

• Proposed
• Triage: Completed
• Prototype: not started
• Implementation: not started
• Specification: not started

define sync in method declaration

public class Foo
{
   public sync fn(): void 
   { } 
}

Ishtar view (transformation result)

// non-static variant
public class Foo
{
   public fn(): void 
   { 
        Synchronicity.For(this);
        try
        {
            // ...
        }
        finally
        {
            Synchronicity.Release(this);
        }
   } 
}
// static variant
public static class Foo
{
   private static guarder: Object = new Object();
   public static fn(): void 
   { 
        Synchronicity.For(guarder);
        try
        { 
            // ...
        }
        finally
        {
            Synchronicity.Release(guarder);
        }
   } 
}

Implementation STSF, LDSF

[EPIC] Support for Language Server Protocol

• #73
• #80
• #81
• #82
• #83

[backend] implementation ishtar C++ variant

Syntax support for quantum operation

EPIC: #20

• Proposed
• Triage: Completed
• Prototype: not started
• Implementation: not started
• Specification: not started

define quantum operation in code

#use "mana/lang/quantum"

operation Teleportation(): Unit
{
    body
    {
       auto msg = QPU.AllocCleared();
       auto p1 = QPU.AllocCleared();
       auto p2 = QPU.AllocCleared();
       
       {.H p1};
       {.CNOT p1, p2};
       
       if ({.MRZ msg} == One}
           {.Z p2};
       if ({.MRZ p1} == One)
           {.X p2}

       auto result = QPU.Measure(p2);       
       QPU.Reset(p2);
       return result;
    }
    gc auto;
    sync auto;
    control auto;
}

Ishtar view (transformation result)

TODO

Single file compilation

[backend] ARM support

Setup CI for build VeinSDK, installers and etc

[LSP] Goto Definition

Light JIT implementation

• #147
• #146
• #145
• #144
• #113
• #114
• #115
• #116
• #117
• #118
• #119
• #120

[EPIC] Method Contracts

[LSP] HoverInformation implementation

Implementation remapping field offset with using Native aspect

Setup CI for build win-arm64