Oℕ
Нельзя формализовать язык X и доказать все его свойства в языке X
Size: a a a
2020 February 11
Oℕ
Ни для какого непротиворечивого X
AV
В твоём определении-лисп не более базовый
Oℕ
(см. теорему Тарского о невыразимости истины)
AV
Но наш эксперт имел в виду, видимо, исторически более ранний/примитивный?
OO
эм, вот два языка, где разница только в порядке редукции термов, например
они одинаково выразимы друг через друга
они одинаково выразимы друг через друга
Oℕ
В твоём определении-лисп не более базовый
Именно так. Лисп противоречивый, и не содержит никаих термов, в которых можно было бы выразить "свойства"
AV
Бля, я "не" пропустил
AV
Исправил
AV
Не заводись
Oℕ
поэтому лисп, хаскель скала и тому подобное нелогическое беззавтипное говно вообще не рассматривается
OO
Но наш эксперт имел в виду, видимо, исторически более ранний/примитивный?
я вообще вбросил, но пошло серьезнее, чем я ожидал
ZH
The very classic of this is https://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf
But it isn't focused on technical details.
I'm not quite an expert in compiler books and all people I'd like to mention in this group are gone.
You can go https://t.me/CompilerDev there might me more help
But it isn't focused on technical details.
I'm not quite an expert in compiler books and all people I'd like to mention in this group are gone.
You can go https://t.me/CompilerDev there might me more help
Appreciate it :)
N
Скажите , а есть аналог хистрикса для скалы и что бы он был в функциональном стиле
DM
Nikolay
Скажите , а есть аналог хистрикса для скалы и что бы он был в функциональном стиле
придется рассказать что это
ᛒ
здравствуйте подскажите пожалуйста хорошую библиотеку для доступа к бд
ᛒ
для postgre пожалуйста
iu
здравствуйте подскажите пожалуйста хорошую библиотеку для доступа к бд
Смотря для каких целей, а так slick, doobie, scalalike-jdbc
ᛒ
Смотря для каких целей, а так slick, doobie, scalalike-jdbc
я еще про квил слышал, как он по сравнению с остальными?