neva

neva copied to clipboard

[Idea]: Megadump of new components

1

FP and related components that will work together. Please add comments and suggestions inline.

Catya3

[Idea]: Partial structural matching

4

In a structural type system I should expect to use `Match` to do this: ``` ... -> match:data // pass stream to data {last: true} -> match:case[0] -> :stop ```...

Catya3

Any program that uses the same sender (port) twice or more is incorrect

4

Because runtime implements sort-of pub-sub algorithm based on spawning a goroutine per connection where connection is one sender -> multiple receivers. If we have e.g. 2 connections with the same...

emil14

Closure (Implement "visibility scope" via hierarchy of deferred connections)

1

In control flow languages we have concept of _scope_ ```python3 a = foo() b = bar() baz(a) ``` The reason for that is that in a control-flow language you describe...

emil14

# Change Existing Syntax (Sender Side) ## Before ```neva foo:bar.baz.bax -> ... ``` ## After ```neva foo:bar -> .baz.bax -> ... ``` ## Implementation Details 1. Remove `selectors` from `SenderSide`...

emil14

Compiler reinstalls stdlib onto the disk on each compilation

3

It's not clear and should be fixed somehow

emil14

We need to look at - https://axios-http.com/docs/intro - https://pypi.org/project/requests/ - https://pkg.go.dev/net/http And implement more components in `http` package, at least we need to be able to - Send `POST` requests...

emil14

Sometimes we need order not depending on actual timing of events but rather on a topology

emil14

`Has` component

1

Almost same as #647 but simpler, instead of `res T` it produces `res bool`

emil14

`Find` component

1

Almost same as #289 except 1. Emits single elements instead of stream(s) 2. Emits result as soon as first element found and skips other elements # API ```neva pub interface...

emil14