Hylo (linguagem do Dave Abrahams)

[Vinícius dos Santos Oliveira]

Achei a talk interessante: https://www.youtube.com/watch?v=5lecIqUhEl4

Ele está projetando uma linguagem com base em “value semantics”, que é
uma intuição da cabeça dele e de umas outras pessoas que tiveram a
mesma ideia, mas não formalizaram ainda (segundo a talk, ele e o grupo
dele finalmente chegou numa definição inicial mais formal e útil).

Essa parte lembra os cultos de orientação a objetos (qual é a
linguagem orientada a objetos de verdade?), mas crítica a parte, ele
parece estar desenvolvendo algo curioso (e é feito por um velho de
longa data do C++!).

[Felipe Magno de Almeida]

Boa noite Vinicius,

Long time no see.

On Thu, Nov 20, 2025 at 9:02 PM Vinícius dos Santos Oliveira
<vini.i...@gmail.com> wrote:
>
> Achei a talk interessante: https://www.youtube.com/watch?v=5lecIqUhEl4
>
> Ele está projetando uma linguagem com base em “value semantics”, que é
> uma intuição da cabeça dele e de umas outras pessoas que tiveram a
> mesma ideia, mas não formalizaram ainda (segundo a talk, ele e o grupo
> dele finalmente chegou numa definição inicial mais formal e útil).

Se tem uma pessoa que eu gostaria de ver criando uma linguagem pra
competir com C++ seria o Dave Abrahams. Foi através dos livros dele e
da convivência com ele e outros no Boost há >20 anos atrás que me fez
entender mais sobre reasoning de corretude e que me levou a estudar
Dijkstra's predicate calculus.

> Essa parte lembra os cultos de orientação a objetos (qual é a
> linguagem orientada a objetos de verdade?), mas crítica a parte, ele
> parece estar desenvolvendo algo curioso (e é feito por um velho de
> longa data do C++!).

Value semantics é vida.


> --
> http://ccppbrasil.github.io/
> https://twitter.com/ccppbrasil

[]'s
--
Felipe Magno de Almeida
Owner @ Expertise Solutions
www: https://expertise.dev
phone: +55 48 9 9681.0157
LinkedIn: in/felipealmeida

[Vinícius dos Santos Oliveira]

Em qui., 20 de nov. de 2025 às 22:20, Felipe Magno de Almeida
<felipe.m...@gmail.com> escreveu:
> Value semantics é vida.

Lembro de uma palestra sua no NativeFloripa (acho que no penúltimo
NativeFloripa) em que você comentou sobre value semantics. Se não me
falha a memória, um de seus comentários foi na linha de que se
colocasse uns 4 ou 5 caras bons de C++ pra explorar esse tema, daria
um resultado interessante. Agora estão alguns caras assim no time aí
do Hylo pra explorar o tema que você gostaria de ver explorado.