HeadlinesBriefing HeadlinesBriefing.com

Máquinas impossíveis: programação declarativa para o mundo

Hacker News •
×

Um usuário do Hacker News compartilhou um experimento mental que questiona como seria a programação declarativa no mundo físico. A premissa se baseia em uma ideia familiar do software, como o SQL, em que os usuários declaram o resultado desejado e o mecanismo de execução descobre como produzi-lo.

Sem acesso a um atuador físico, o autor simulou o conceito em software. Os usuários demonstram o efeito desejado, e o sistema descobre como alcançá-lo. No exemplo, um usuário quer tocar um sino e tem uma manivela disponível. O sistema identifica uma forma de conectar os dois. Se obstáculos forem adicionados, um solucionador de restrições que funciona nos bastidores encontra um caminho para contorná-los.

O autor argumenta que a abordagem é interessante porque permite raciocinar sobre problemas em um nível mais alto de abstração, deixando que o sistema determine a mecânica necessária para produzir o efeito pretendido.

A publicação convidava a reações, feedback e ideias para ampliar o conceito. No momento da captura, tinha 26 pontos e 3 comentários.

Fonte: Hacker News · Resumido por HeadlinesBriefing