!BrOouUOucaGdxbaRca:nixos.org

NixOS Portuguese

351 Members
Sala de Conversação sobre o ecossistema Nix em português. Ponteada com o grupo do Telegram: https://t.me/nixosbrasil/ Link Matrix: https://matrix.to/#/!BrOouUOucaGdxbaRca:nixos.org23 Servers

Load older messages


SenderMessageTime
28 Dec 2022
@telegram_5282903774:t2bot.ioLeonardo NeumannJá que é para ter mais safeness22:32:26
@telegram_155706732:t2bot.ioLucas EduardoRust é mais difícil ainda de se achar22:32:32
@telegram_155706732:t2bot.ioLucas EduardoE tem mta coisa implícita22:32:48
@telegram_97488386:t2bot.ioGALLY
In reply to Lucas Eduardo
E se o nix fosse portado pra zig?
Primeiro, nix é feito em C++. Acho que daria mais trabalho.

Segundo, Zig ainda não chegou na 1.0. Casseta, nem conseguimos buildar o Zig mais recente (por causa do LLVM)!

Terceiro, eu acho mais vantagem formalizar a linguagem para que se possam fazer outros evaluadores.
22:32:54
@telegram_155706732:t2bot.ioLucas Eduardo
In reply to Lucas Eduardo
E tem mta coisa implícita
BTW esse é o meu principal problema com qq linguagem funcional
22:33:05
@telegram_155706732:t2bot.ioLucas Eduardo
In reply to GALLY
Primeiro, nix é feito em C++. Acho que daria mais trabalho.

Segundo, Zig ainda não chegou na 1.0. Casseta, nem conseguimos buildar o Zig mais recente (por causa do LLVM)!

Terceiro, eu acho mais vantagem formalizar a linguagem para que se possam fazer outros evaluadores.
Boa
22:33:27
@telegram_97488386:t2bot.ioGALLY
In reply to Leonardo Neumann
Porque não usar Rust logo?
Aprender Rust é bem mais chato imho.

E, de novo, o bootstrap path de Rust é enorme, incluindo uma suite Ocaml.
22:33:48
@telegram_155706732:t2bot.ioLucas EduardoMas dá pra um meter o louco e já tentar implementar pra quando sair a 1.0 já ter meio caminho andado22:34:04
@telegram_155706732:t2bot.ioLucas Eduardo
In reply to GALLY
Aprender Rust é bem mais chato imho.

E, de novo, o bootstrap path de Rust é enorme, incluindo uma suite Ocaml.
KKKKJ isso eu n sabia
22:34:15
@telegram_155706732:t2bot.ioLucas EduardoPelo que eu vi de doc velha basicamente mudou coisa na std de ligar22:35:00
@telegram_155706732:t2bot.ioLucas Eduardo* Pelo que eu vi de doc velha basicamente mudou coisa na std de lugar22:35:06
@telegram_155706732:t2bot.ioLucas EduardoA linguagem em si é basicamente a mesma22:35:13
@telegram_97488386:t2bot.ioGALLYTem o mrustc, que é uma tentativa de fazer um compilador de Rust em C++ puro. Mas ele não tem pretensão de ser um compilador full. Só o suficiente para compilar o rustc.22:35:16
@telegram_155706732:t2bot.ioLucas Eduardo BTW teve ajuste no fluxo de bootstrap do zig, tanto que nukaram a versão em c++ do repo https://ziglang.org/news/goodbye-cpp/ 22:36:37
@telegram_5282903774:t2bot.ioLeonardo Neumann
In reply to GALLY
Aprender Rust é bem mais chato imho.

E, de novo, o bootstrap path de Rust é enorme, incluindo uma suite Ocaml.
Eu faço a compilação da toolchain do rust no gentoo, nunca precisei de ocaml para nada
22:37:01
@telegram_5282903774:t2bot.ioLeonardo NeumannSobre ser mais chato, é um pouco mesmo, por conta dos conceitos que a linguagem introduz22:37:29
@telegram_97488386:t2bot.ioGALLY
In reply to Leonardo Neumann
Eu faço a compilação da toolchain do rust no gentoo, nunca precisei de ocaml para nada
Porque você já conta com um binário opaco de Rust.
22:37:34
@telegram_5282903774:t2bot.ioLeonardo Neumann
In reply to GALLY
Porque você já conta com um binário opaco de Rust.
Sim, eu uso o rust-bin para fazer o bootstrap. Mas isso seria um problema no nix?
22:38:49
@telegram_5282903774:t2bot.ioLeonardo Neumannimage.jpeg
Download image.jpeg
22:41:55
@telegram_5282903774:t2bot.ioLeonardo NeumannBtw, a implementação em ocaml foi abandonada22:41:55
@telegram_112793910:t2bot.ioHugo Ribeiro
In reply to Lucas Eduardo
E se o nix fosse portado pra zig?
acho que esta mais para portarem para Rust...
22:45:34
@erikrodrgz:matrix.orgerikAcho bem dificil portarem, n seria reinventar uma roda bem grande já? Mais facil Nickel evoluir, que é em rust acho...22:47:26
@anderson_torres:matrix.orgAnderson Torres
In reply to @telegram_5282903774:t2bot.io
Sim, eu uso o rust-bin para fazer o bootstrap. Mas isso seria um problema no nix?

Acho que sim. A "bootstrappability" foi uma das questões abordadas na RFC 132:

https://github.com/NixOS/rfcs/pull/132

22:47:40
@anderson_torres:matrix.orgAnderson Torres
In reply to @telegram_5282903774:t2bot.io
Btw, a implementação em ocaml foi abandonada
A mesma coisa acontece com Java hoje em dia. O bootstrap de Java depende de uma caralhada de abandonware open source.
22:49:59
@telegram_112793910:t2bot.ioHugo Ribeiro
In reply to GALLY
Primeiro, nix é feito em C++. Acho que daria mais trabalho.

Segundo, Zig ainda não chegou na 1.0. Casseta, nem conseguimos buildar o Zig mais recente (por causa do LLVM)!

Terceiro, eu acho mais vantagem formalizar a linguagem para que se possam fazer outros evaluadores.
acho dificil ter outros evaluadores, porque nix não é só o parse, tem uma 'VM', da a única vantagem de ter outra VM (em outra linguagem) seria fazer igual, porque qualquer coisa diferente iria criar incompatibilidade...
além disso nosso mundo (nix) gira em torno do Nixpkgs que é bash pra todo lado... quero dizer não consigo fazer uma evaluador diferente se o script 'que importa' esta em bash...
22:50:13
@telegram_97488386:t2bot.ioGALLY
In reply to Hugo Ribeiro
acho dificil ter outros evaluadores, porque nix não é só o parse, tem uma 'VM', da a única vantagem de ter outra VM (em outra linguagem) seria fazer igual, porque qualquer coisa diferente iria criar incompatibilidade...
além disso nosso mundo (nix) gira em torno do Nixpkgs que é bash pra todo lado... quero dizer não consigo fazer uma evaluador diferente se o script 'que importa' esta em bash...
Tem um evaluador experimental escrito em Haskell.

E, de todo modo, tudo isso pode ser devidamente abstraído - e deveria.
22:52:16
@telegram_171176503:t2bot.ioÁtila Saraiva https://www.reddit.com/r/NixOS/comments/zx09yj/where_to_hire_a_nixos_freelencer/?utm_source=share&utm_medium=android_app&utm_name=androidcss&utm_term=14&utm_content=share_button 22:53:42
@telegram_171176503:t2bot.ioÁtila SaraivaQuem quiser uma granola ai22:53:49
@telegram_112793910:t2bot.ioHugo Ribeirodúvida, Nix (interpretador) tem uma VM (tipo JVM)?22:54:00
@telegram_171176503:t2bot.ioÁtila Saraiva
In reply to Hugo Ribeiro
dúvida, Nix (interpretador) tem uma VM (tipo JVM)?
Acho que nao mas num sei kk
22:54:23

There are no newer messages yet.


Back to Room ListRoom Version: 9