В сабже когда-то не было IO, а сабж был

Все делали в REPL

:)

Ну типа можно писать программу как main: RealWorld -> RealWorld. Программа останется чистой

Ну этот ваше репл имеет io >_> просто в неявном виде

не остается

как она возвращает RealWorld?

Ну это REPL, не язык :)

Ну типа можно писать программу как main: RealWorld -> RealWorld. Программа останется чистой

При запуске выяснится что нет свободной памяти, всё упадёт Уже не чисто )

У main был тип String -> String

При запуске выяснится что нет свободной памяти, всё упадёт Уже не чисто )

А ещё компьютер может обрушится

А ещё компьютер может обрушится

именно

Полностью чистые языки существуют там же, где существуют машины тьюринга с бесконечными лентами

У main был тип String -> String

абстракция над приемом аргументов не делает язык чистым

твой код будет выглядеть чистым

Почему не делает?

Но это не значит, что мы не должны стремиться )

твой код будет выглядеть чистым

но это ни на что не влияет

Почему не делает?

потому что компьютеры так работают

Как так?

это не редуцировать на бумаге

Ты наркоман?

Определение дай, епта!

Почему не делает?

Потому что значение понятий можно менять в ходе спора лишь бы победить

Это очень удобно: можно вывести любое понятие за гранмцы применимости и попасть в противоречивую логическую систему. А там можно доказать что угодно. ПРОФИТ

ну он сам решил про старые версии хаскеля говорить

причем тут я

А причем тут старые версии хаскеля?

полемика...

ну он сам решил про старые версии хаскеля говорить

Он привёл пример чистого языка, который попадает под изначальное определение чистоты. А вы тут такие, уууупс, надо срочно обратиться к чему-то вне изначальных абстракций, чтобы одержать победу. Вспомним что компьютер вообще реальная железка и у неё конечное количество памяти. Абстракции порушились когда мы вышли за их пределы применимости? Какая печалька, значит они ничтожны

Но вот увы и ах, если абстракции рушатся, то это не от ничтожности их самих, а от безумных спекуляций и издевательств над ними

ты ищешь скрытый смысл

я просто даю примеры причин

Вычисление на листке записал - чистоту потерял, лол

я просто даю примеры причин

Нет, я объясняю с точки зрения формальной логики происходящее. Абстрагировавшись от конкретных высказываний. Так что в определённом смысле я вообще никакого смысла не ищу, я анализирую форму, а не содержание

Вычисление на листке записал - чистоту потерял, лол

Дао, которое может быть выражено словами, не есть истинное дао, ага

я такие сообщения и в /r/iamverysmart почитать могу

я такие сообщения и в /r/iamverysmart почитать могу

Очень грустно, что современных быдлокодеров не учат матлогике. На матобесе СПбГУ матлогика была когда-то фильтрующим предметом во время экватора

да есть она, вроде)

можно на prolog защищать

а можно и руками

i guess в 2017 быдлокодеры это те кого волнует как эффективно делать программы заботясь о памяти пользователя

У нас хардкор был: секвенциальное исчисление, гильбертовское, интуиционизм, параконсистентная логика, многозначные логикм

это где так?!)

В спбгу жеж

На КТ например

норм

У нас ещё теория типов была и теория категорий опционально

итмо?

У нас ещё теория типов была и теория категорий опционально

Крутт

ИТМО, ага Кафедра КТ на фитип

Вот бы мне такой хардкор. А то все пытаюсь сам, но чет медленно. Про интуиционизм читаю

да в курсе

Зря я не пошёл в КТ итмо когда-то, когда меня приглашали

там ребята упарываются

Ещё не сдал матлог (практику) @ 4 курс @ Ещё не отчислили

а у меня ничего этого не было ^_^

у меня было много физики

а у меня ничего этого не было ^_^

Потому ты жадные вычисления и императивность путаешь :)

мне лень продолжать спор и объяснять что я все правильно сказал

Хотя физика это круто

Потому ты жадные вычисления и императивность путаешь :)

я думаю, он знает вещи интереснее

Ещё не сдал матлог (практику) @ 4 курс @ Ещё не отчислили

Ммм, я у тебя хаскель буду читать в этом году

ааааа :D

Я знаю)

Я на нём подовину матлога сдал

У меня есть знакомый, который на хускеле ММФ сдавал

С визуализациями по ГОСТу

Так що оно по разному бывает

Тут люди с ВМ хотят слушать хаскель с КТ

а волльные слушатели в понедельник не запрещены?

йеп, те люди на связи

Нет конечно Обычно только вольные слушатели долго не ходят, забивают

спасибо

ноис

мне лень продолжать спор и объяснять что я все правильно сказал

Я завтра напишу тебе лямбда терм, который в случае жадных вычислений работает как точка с запятой. Типа f a b будет сначала вычислять а, а потом b.

до завтра 15 минут, можно и сегодня написать

я думаю, он знает вещи интереснее

Конечно знает, он крут в плане написания кода на хаскеле, я так не умею :( Но типа специалист в одном не значит специалист во всём