Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

2022 January 29

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
если ты будешь что-то транслировать в ллвм, то скорее всего этот кусок займёт у тебя больше времени, чем всё остальное
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
писать рантаймы тяжело больно и обычно не нужно
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
скорее всего, что бы ты ни написал в одиночку за время ресёрча, будет работать менее стабильно, чем трансляция в жаваскрипт
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
я понимаю!
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
но у меня не ресёрч, у меня поиграться
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
тем более
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
мне кажется, котлеты (играться с языками и типами) отдельно, мухи (написание рантаймов) отдельно
источник

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни
тогда, может, интерпретатор для начала сделаете?
источник

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни
раз уж как раз операционная семантика интересует
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
ну я не в одиночку это делаю, надо с другом обсуждать
источник

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни
само собой, я просто предлагаю
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
он именно llvm хочет, потому что увидел что в хаскеле можно ллвм делать как будто это хаскельный код
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
типа dsl написать
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
ну транслируйте в хаскель!!!
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
кекв
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
не кек, нормальное решение
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
агда, например
источник

[

[BRM]White Rabbit in Типы в языках программирования, моделирования, представления знаний и жизни
ну так-то да, быстрее выйдет
источник

ПС

Павел Соколов... in Типы в языках программирования, моделирования, представления знаний и жизни
в хаскеле можно для чего угодно DSL написать и будет как будто хаскельный код...
источник

Oℕ

Oleg ℕizhnik in Типы в языках программирования, моделирования, представления знаний и жизни
спорно
источник