M
Этот чат в том числе и про оптимизации в компиляторах
Size: a a a
2020 July 06
RB
хм, ок
SM
Очевидно, но мне не нравится сам Раст, поэтому я туда не собираюсь комитить)
Тогда можно в GHC закоммитить, он на хаскеле
AT
А есть какие-то языки которые пилятся на Rust/Haskell активно? Я бы влился куда-то в разработку опенсорса🤔
AT
И на Haskell, и на Rust есть несколько игрушечных языков, компилирующихся в Erlang VM.
E
А есть какие-то языки которые пилятся на Rust/Haskell активно? Я бы влился куда-то в разработку опенсорса🤔
всякие пурескрипты да elm
M
На Haskell:
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
RB
MaxGraey
На Haskell:
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
ещё есть glem
Rust синтаксис
ErlangVM
Rust синтаксис
ErlangVM
E
MaxGraey
На Haskell:
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
idris2 разве не на первом идрисе написан?
M
Eugene
idris2 разве не на первом идрисе написан?
А, тогда только первый idris который уже все
AT
MaxGraey
На Haskell:
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
purescript
elm
eta
На Rust:
rust
gluon
ketos
moss
mun-lang
jonathandturner / rhai
duckscript
PistonDevelopers / dyon
и еще туева куча
IMHO, языков уровня gluon/mun и на Haskell вагон и маленькая тележка...
Кроме того, забыл Agda, ссылку на которую я уже давал. 😉
Кроме того, забыл Agda, ссылку на которую я уже давал. 😉
T
JavaScript, Dart, OCaml, F# -- на выбор. Ещё один язык никому не нужен. 🤷♀😉
Я сново неправильно описал. Ну и ладно. А так очень часто плодят языки))). Microsoft кстати тоже
M
IMHO, языков уровня gluon/mun и на Haskell вагон и маленькая тележка...
Кроме того, забыл Agda, ссылку на которую я уже давал. 😉
Кроме того, забыл Agda, ссылку на которую я уже давал. 😉
Добавил
M
Trimsku
Я сново неправильно описал. Ну и ладно. А так очень часто плодят языки))). Microsoft кстати тоже
Еще есть сабсет питона под названием numba. Тоже llvm jit использует:
https://numba.pydata.org/
Так что советую очень хорошо подумать перед тем как начинать делать очередной numba или julia
https://numba.pydata.org/
Так что советую очень хорошо подумать перед тем как начинать делать очередной numba или julia
DP
Trimsku
Я делаю в целях получить более быстрый ЯП чем python, но с таким более менее лёгким синтаксисом. Он вообще должен быть: ЯОП, ООП, ФП
сначала стоит Nim посмотреть, в т.ч. как язык для написания компилятора, и как пример транслятора
T
Dmitry Ponyatov
сначала стоит Nim посмотреть, в т.ч. как язык для написания компилятора, и как пример транслятора
Я ведь сказал неправильно написал...
RB
MaxGraey
Еще есть сабсет питона под названием numba. Тоже llvm jit использует:
https://numba.pydata.org/
Так что советую очень хорошо подумать перед тем как начинать делать очередной numba или julia
https://numba.pydata.org/
Так что советую очень хорошо подумать перед тем как начинать делать очередной numba или julia
ещё nuitka
AT
MaxGraey
Добавил
Предлагаю ещё добавить https://github.com/dhall-lang/dhall-haskell и https://github.com/Gabriel439/Haskell-Morte-Library для расширения кругозора. 😊
M
Предлагаю ещё добавить https://github.com/dhall-lang/dhall-haskell и https://github.com/Gabriel439/Haskell-Morte-Library для расширения кругозора. 😊
Использование F-алгебры что бы разворачивать рекурсии в циклы. Но я так понимаю такое можно провернуть только для unrestricted pure call by value recursion?
AT
MaxGraey
Использование F-алгебры что бы разворачивать рекурсии в циклы. Но я так понимаю такое можно провернуть только для unrestricted pure call by value recursion?