ПС
Понял, большое спасибо
Size: a a a
Типы в языках программирования, моделирования, представления знаний и жизни
505 membersпожаловаться на группу
2022 January 24
K
Я, впрочем, видел решение, когда в компайл-тайме это прозрачно превращалось в бинарное дерево из 2-кортежей
K
Я думаю, что чем проще и локальнее трансляция языка, тем лучше. Производительность становится предсказуемой.
Oℕ
в скале, как я сказал в рантайме массивы
Oℕ
в идрисе это становится списками, а дальше их оптимизирует chez
Oℕ
но кому интересен рантайм, мы же о языке говорим
ПС
Truest type theory enjoyer
ПС
Про упаковку я говорил к тому, что если в кортеже не используются указатели, а данные лежат подряд, то от порядка расстановки скобок ничего не значит
ПС
Про предсказуемость да, валидный поинт
2022 January 28
KR
А почему этот Шилдик по-английски пишет?
AC
Lingua Franca... 🤷♀
E
китайский пора всем учить, путунхуа
KR
Ну так давайте переведём его на китайский. Кто не понял - явно недостоин.
KR
Заодно тест на разумность.
YR
На латынь сразу) Но только не на вульгарную
KR
https://www.cambridge.org/core/elements/theoretical-computer-science-for-the-working-category-theorist/5F3499D1F326D2D77567AA1041627699#
Книга Theoretical Computer Science for the Working Category Theorist, автор Noson S. Yanofsky.
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.
Доступно для скачивания с сайта Cambridge Press до 8 февраля. Не то, чтобы это было серьёзным ограничением, конечно.
При скачивании подписывает именной экземпляр (вашим ip адресом) в подвале каждой страницы.
Книга Theoretical Computer Science for the Working Category Theorist, автор Noson S. Yanofsky.
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. In this Element, readers will meet some of the deepest ideas and theorems of modern computers and mathematics, such as Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. The concepts come alive with many examples and exercises.
Доступно для скачивания с сайта Cambridge Press до 8 февраля. Не то, чтобы это было серьёзным ограничением, конечно.
При скачивании подписывает именной экземпляр (вашим ip адресом) в подвале каждой страницы.
2022 January 29
[
Зачем предсказуемую медлительность, если можно непредсказуемую скорость?
AC
Некоторые пишут (hard) real-time системы, например. У других -- SLA и планирование ресурсов.