Телеграмм чат группы proelixir страница 7667

2020 October 27

ŹR

Źmićer Rubinštejn in pro.elixir

Можно decimal запихнуть в stdlib по хорошему

источник

14:36пожаловаться #1

AR

Andrew Rudenko in pro.elixir

Alex Bubnov

кстати, тут вроде были любители webassembly, я вчера нашел несколько issue, про фичи для реализации нормальных языков поверх него.
ожидаемо, всё сложно
https://github.com/WebAssembly/design/issues/1252 - continuations
https://github.com/WebAssembly/design/issues/919 - tagged pointers

и, кажется, небезынтересное видео, которое я пока не посмотрел - https://www.youtube.com/watch?v=pq-Pa2Fj4nE россберг про всякое, в том числе про эффекты, через которые предположительно будут continuations
и слайды чисто про continuations, там всё довольно понятно https://github.com/WebAssembly/meetings/blob/master/main/2020/presentations/2020-02-rossberg-continuations.pdf

кмк, куда интереснее (и важнее?) для WASM не имплементация "нормальных" языков, в конце концов платформ / таргетов для них есть, а интероп с хостом / между языками. и там с этим все еще все грустно, interface types уже давно в предложениях, но вроде как-то не особо движется https://github.com/webassembly/interface-types

GitHub

WebAssembly/interface-types

Contribute to WebAssembly/interface-types development by creating an account on GitHub.

источник

14:39пожаловаться #2

AB

Alex Bubnov in pro.elixir

Źmićer Rubinštejn

Можно decimal запихнуть в stdlib по хорошему

спорно - они вот только что выкатили 2.0, где удалили дофига депрекейшенов
то есть, они его зачем-то продолжают разрабатывать

источник

14:40пожаловаться #3

ŹR

Źmićer Rubinštejn in pro.elixir

Ну datetime они тоже туда сюда деприкейтят, это не мешает ему быть в стдлиб

источник

14:41пожаловаться #4

AB

Alex Bubnov in pro.elixir

Andrew Rudenko

кмк, куда интереснее (и важнее?) для WASM не имплементация "нормальных" языков, в конце концов платформ / таргетов для них есть, а интероп с хостом / между языками. и там с этим все еще все грустно, interface types уже давно в предложениях, но вроде как-то не особо движется https://github.com/webassembly/interface-types

GitHub

WebAssembly/interface-types

Contribute to WebAssembly/interface-types development by creating an account on GitHub.

вот в эту часть я не смотрел вообще, потому что не понимаю проблематики, она очень wasm-специфична.
меня еще вот какая вещь интересует - есть ли у них планы на поддержку кодогенерации байткода в рантайме. может ли либа наэмитить нового байткода и вызвать его.

источник

15:29пожаловаться #5

AR

Andrew Rudenko in pro.elixir

Alex Bubnov

вот в эту часть я не смотрел вообще, потому что не понимаю проблематики, она очень wasm-специфична.
меня еще вот какая вещь интересует - есть ли у них планы на поддержку кодогенерации байткода в рантайме. может ли либа наэмитить нового байткода и вызвать его.

какая либа? рантаймы динамические конечно существуют, генери, запускай, пожалуйста https://github.com/bytecodealliance/wasmtime

GitHub

bytecodealliance/wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift - bytecodealliance/wasmtime

источник

15:33пожаловаться #6

AR

Andrew Rudenko in pro.elixir

собственно и не только байткод можно выполнять динамически, но и aot-компиляцию в машинный код в рантайме запускать

источник

15:34пожаловаться #7

AR

Andrew Rudenko in pro.elixir

https://github.com/bytecodealliance/lucet как раз через cranelift работает например https://github.com/bytecodealliance/wasmtime/tree/main/cranelift

GitHub

bytecodealliance/lucet

Lucet, the Sandboxing WebAssembly Compiler. Contribute to bytecodealliance/lucet development by creating an account on GitHub.

источник

15:35пожаловаться #8

AB

Alex Bubnov in pro.elixir

Andrew Rudenko

какая либа? рантаймы динамические конечно существуют, генери, запускай, пожалуйста https://github.com/bytecodealliance/wasmtime

GitHub

bytecodealliance/wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift - bytecodealliance/wasmtime

что-то я не уверен, что донес мысль.
на примерах:
в нативном коде можно написать исполняемого кода в аллоцированную память и сделать туда call/jump
в beam можно in-memory собрать ast модуля и скомпилить его в память, после чего вызвать функцию из него
в jvm можно пихнуть шмат байткода в Classloader.defineClass, и опять же дергать полученные функции.

в wasm что-то подобное в планах есть, ты не в курсе?

источник

15:41пожаловаться #9

AR

Andrew Rudenko in pro.elixir

ну сам wasm это просто спецификация, в основном на формат байткода и его семантику

источник

15:45пожаловаться #10

AR

Andrew Rudenko in pro.elixir

есть разные рантаймы с разными характиеристиками

источник

15:45пожаловаться #11

AR

Andrew Rudenko in pro.elixir

ссылки что я тебе скинул это рантаймы / компиляторы, которые позволяют запускать / компилировать wasm код динамически

источник

15:46пожаловаться #12

AB

Alex Bubnov in pro.elixir

м, кажется я понял, куда смотреть - это должно быть частью wasi

источник

15:50пожаловаться #13

AR

Andrew Rudenko in pro.elixir

Alex Bubnov

м, кажется я понял, куда смотреть - это должно быть частью wasi

wasi это интерфейс во внешний мир из рантайма wasm, при чем тут он?

источник

15:55пожаловаться #14

AB

Alex Bubnov in pro.elixir

Andrew Rudenko

wasi это интерфейс во внешний мир из рантайма wasm, при чем тут он?

так рантайм же такой же внешний мир для исполняемого кода

источник

15:56пожаловаться #15

AR

Andrew Rudenko in pro.elixir

Alex Bubnov

что-то я не уверен, что донес мысль.
на примерах:
в нативном коде можно написать исполняемого кода в аллоцированную память и сделать туда call/jump
в beam можно in-memory собрать ast модуля и скомпилить его в память, после чего вызвать функцию из него
в jvm можно пихнуть шмат байткода в Classloader.defineClass, и опять же дергать полученные функции.

в wasm что-то подобное в планах есть, ты не в курсе?

вот продолжая твои примеры:

> в jvm можно пихнуть шмат байткода в Classloader.defineClass, и опять же дергать полученные функции.

(один вариант) в wasm ты можешь пихунть шмат кода в интерпретатор и дерать полученные функции. типа так https://pkg.go.dev/github.com/bytecodealliance/wasmtime-go

pkg.go.dev

wasmtime package · pkg.go.dev

Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.

источник

15:57пожаловаться #16

AR

Andrew Rudenko in pro.elixir

Andrew Rudenko

вот продолжая твои примеры:

> в jvm можно пихнуть шмат байткода в Classloader.defineClass, и опять же дергать полученные функции.

(один вариант) в wasm ты можешь пихунть шмат кода в интерпретатор и дерать полученные функции. типа так https://pkg.go.dev/github.com/bytecodealliance/wasmtime-go

pkg.go.dev

wasmtime package · pkg.go.dev

Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.

там вот прям примеры

источник

15:58пожаловаться #17

AB

Alex Bubnov in pro.elixir

ну да, именно это, только в wasi, чтобы рантайм гарантированно выставлял апи к самому себе

источник

15:58пожаловаться #18

VK