Review and plan the library sharing discussion

[jdunkerley]

Pick up the design from @radeusgd: https://github.com/orgs/enso-org/discussions/7692

Aim of this ticket is to agree the design and add follow tickets for implementation as needed.

Tasks

Preview Give feedback

1. Prepare sample project and provide instructions to package it as a library
2. Upload sample edition with at the single library to local server
3. Create a sample project and show it can download the library

[JaroslavTulach]

I have created a small project with a Rand type. Now I will turn it into a library:

from Standard.Base import all

polyglot java import java.util.Random as R

type Rand
    Value value:Float ~next:Rand

    new : (Integer|Nothing) -> Rand
    new seed=Nothing =
        next generator = Rand.Value generator.nextDouble (next generator)

        init s =
            g = if s.is_nothing then R.new else R.new s
            next g

        init seed

    take : Integer -> Vector Float
    take self n = Vector.collect self .value .next n

main =
    r = Rand.new
    [ r.value, r.next.value, r.next.next.value ]

btw. the generator is completely private field in the atom inaccessible from outside of Rand.new. By using lazy atom field any implementation detail can be hidden behind them. Similar trick to private JavaScript that hides private stuff in local closures.

[JaroslavTulach]

Upload Sample Library

There is a Simple Library Server written by @radeusgd. Run the server as:

enso/tools/simple-library-server$ ./main.js --port 1273 --upload no-auth --root ~/enso/repository/

then upload here in provided Library_Rand library with enso-engine-*/enso-*/bin/enso using following command:

$ enso --upload http://localhost:1273/upload --in-project Library_Rand

the server will print:

Uploading library [local.Library_Rand:0.0.1].
Upload complete.

the uploaded files will appear as:

~/enso/repository$ find libraries/
libraries/
libraries/Jaroslav
libraries/Jaroslav/Library_Rand
libraries/Jaroslav/Library_Rand/0.0.1
libraries/Jaroslav/Library_Rand/0.0.1/manifest.yaml
libraries/Jaroslav/Library_Rand/0.0.1/package.yaml
libraries/Jaroslav/Library_Rand/0.0.1/main.tgz

Define Edition

Now it is time to register this library as part of demo-oct-2023.yaml edition. Following the instructions describing editions, let's create two files in the editions subdirectory of the server:

~/enso/repository$ find editions/
editions/
editions/demo-oct-2023.yaml
editions/manifest.yaml
~/enso/repository$ cat editions/manifest.yaml
editions:
  - "demo-oct-2023"
~/enso/repository$ cat editions/demo-oct-2023.yaml
extends: 0.0.0-dev
repositories:
  - name: demo-oct-2023
    url: http://localhost:1273/libraries
libraries:
  - name: Jaroslav.Library_Rand
    version: 0.0.1
    repository: demo-oct-2023

the engine-version and extends may not be 0.0.0-dev in your case. Depends what's your engine version!

Use it!

Define pointer to your editions server in global-config.yaml (located in ENSO_CONFIG_DIRECTORY which defaults to $HOME/.config/enso on Linux) with following content:

edition-providers:
  - http://localhost:1273/editions/

Extract Use_Rand.zip and just execute with enso-engine-*/enso-*/bin/enso using following command:

$ enso --run Use_Rand
[0.775797284541735, 0.9978377545435057, 0.10628009155666762, 0.6415067077162341, 0.8467575391411488]

vector with five random floating numbers from zero to one shall be printed.

Troubleshooting

You may want to delete $HOME/.local/share/enso/editions when they download something corrupted.

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-10-16):

Progress: - #7955: using package library tutorial: #7955 (comment)

• fixing NPE: Avoid null values in constant node #8061
• discovered private atom fields: Review and plan the library sharing discussion #7955 (comment)
• converting runtime-parser into JavaScript
• standup & discussions & demo meetings It should be finished by 2023-10-19.

Next Day: runtime parser in browser, prepare presentation for GeeCON

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-10-17):

Progress: - simplify code PR: #8092

• draft running parser in a browser: PoC: Running Enso parser in the browser #8094
• testing Enso behind proxy: Test backend startup when user is behind a proxy #7693 (comment)
• meeting about node connections & other meetings It should be finished by 2023-10-19.

Next Day: start faster, prepare presentation for GeeCON

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-10-18):

Progress: - using Kaz's WASM parser: #8094 (comment)

• Got demo of IR in browser working: http://xelfi.cz/enso/parser/
• standups, meetings, retro
• evaluation of Map slowness: Improving performance of Map.insert #8090 (comment) It should be finished by 2023-10-19.

Next Day: Lo/No Code presentation at GeeCON

Enso Parser Demo

[enso-bot]

Jaroslav Tulach reports a new STANDUP for yesterday (2023-10-19):

Progress: - towards GeeCON...

• presentation at GeeCON
• discussing https://github.com/openjdk/jcstress It should be finished by 2023-10-19.

Next Day: GeeCON & bugfixing

GitHub

GitHub - openjdk/jcstress: https://openjdk.org/projects/code-tools/jcstress

https://openjdk.org/projects/code-tools/jcstress. Contribute to openjdk/jcstress development by creating an account on GitHub.