Телеграмм чат группы compilerdev страница 2153

laziness в if/else clauses вы, конечно, за laziness не считаете?

18:09пожаловаться #1

suhr in Compiler Development

Чтобы было быстро, требуется совсем немногое:

- Не плодить thunk'и ленивыми вычисляниями
- Не копировать данные на каждый чих (yay линейные типы!)
- По возможности не боксить данные
- Оптимизировать рекурсию

18:10пожаловаться #2

Вот да. А есть уже подобные функциональные языки?

18:11пожаловаться #3

Зато ленивость - это красиво

18:13пожаловаться #4

Если не форсить иммутабельность всего и вся, то декларативно описывая программы, можно добиться производительности не ниже, чем с императивщиной, кмк

18:13пожаловаться #5

ДК

Logical contradictions centred on the difference between natural language and Logic theory

Настолько ничего, что про этот парадокс даже на вики написано: https://en.wikipedia.org/wiki/Paradoxes_of_material_implication

Wikipedia

Paradoxes of material implication

18:13пожаловаться #6

> не форсить иммутабельность
> декларативно

Как эти фразы оказались в одном предложении?

18:14пожаловаться #7

Особенно с profiling guided optimizations, ибо у декларативщины намного больше свободы в том, что может делать рантайм

18:14пожаловаться #8

suhr in Compiler Development

Линейные типы, опять же.

18:14пожаловаться #9

suhr in Compiler Development

Даже Idris так умеет.

18:14пожаловаться #10

Brenoritvrezorkre in Compiler Development

Это не парадокс логики, это "парадокс" как несоответствие некоторой логики и того, как мы используем "если, то" в естественном языке.

18:14пожаловаться #11

Это несвязанные вещи

18:15пожаловаться #12

В логике нет парадоксов, иначе из неё бы выкинули что-нибудь до состояния "парадокса нет"

18:15пожаловаться #13

ДК

Спасибо, я умею читать.

18:16пожаловаться #14

let a = 'A'
a = 'B'

===

const a = 'A'
const b = 'B'

"больше декларативности" не появилось

18:17пожаловаться #15

Появилось, стало проще рассуждать о зависимости значений

18:18пожаловаться #16

ДК

Некоторые логики заигрались в символы и потеряли связь с реальностью. Материальная импликация по сути никакого отношения именно к импликации (причинно следственной связи) не имеет.

18:19пожаловаться #17

Многие алгоритмы можно делать in place, а хаскель без мутабельных дататипов обычно вместо этого запускает GC-мясорубку в RAM

18:19пожаловаться #18

Логика вообще не имеет отношения к реальности, её вместе с математикой используют из-за internal consistency

18:20пожаловаться #19

ДК

Есть чуть менее бесполезные логики, которые основаны на реальности.