@haskellru

Страница 382 из 1551
Мерлин
01.09.2017
20:10:41
Так Покажите мне сейчас современный язык без элементов функциональщины, кроме Go

Евгений
01.09.2017
20:10:56
учитывая что lambda calculus и MT выражаются друг через друга я не понимаю этот агрумент
Ну конечно. МТ на входе имеет целый континуум значений, а лямбда только счётное число

illiatshurotshka❄️
01.09.2017
20:11:04
Мерлин
01.09.2017
20:11:32
Google
Евгений
01.09.2017
20:11:41
Но вообще суть спора изначально другая была

Вопрос шёл о возможности чистого императивного программирования

Alexander
01.09.2017
20:12:07
lf

я и не вижу причин почему оно невозможно

Евгений
01.09.2017
20:12:18
Правильный ответ: не умея лямбды чистоту не построить

Alexander
01.09.2017
20:12:20
все ещё

Мерлин
01.09.2017
20:12:24
так в го есть анонимные функции, это все что нужно
в го можно писать в функциональном стиле, но это такая жопа (с рефлексией и прочими радостями жизни), что лучше забудь

Alexander
01.09.2017
20:12:46
у меня могут быть функции без сайд эффектов с ссылочной целостностью

Евгений
01.09.2017
20:12:51
я и не вижу причин почему оно невозможно
Потому что ты называешь чистый функуциональный язык императивным

Alexander
01.09.2017
20:13:18
я уже выше написал, что я называю императивным, а что функциональным

Мерлин
01.09.2017
20:13:21
Вопрос шёл о возможности чистого императивного программирования
что такое чистое императивное программирование Это как "экологически чистый вулкан"

Google
Мерлин
01.09.2017
20:13:32
Евгений
01.09.2017
20:14:08
я уже выше написал, что я называю императивным, а что функциональным
Alexander Vershilov: императивность обозначает что я пишу последовательность инструкций, которые компилятор исполнит.

illiatshurotshka❄️
01.09.2017
20:14:36
Потому что ты называешь чистый функуциональный язык императивным
императивность настолько же чиста насколько и функциональное программирование

Мерлин
01.09.2017
20:14:54
што

Евгений
01.09.2017
20:14:56
Любой чистый функциональный язык с call-by-value в твоём определении императивный

Alexander
01.09.2017
20:14:58
вот возьмем ats

illiatshurotshka❄️
01.09.2017
20:15:00
(потому что эта мера не имеет смысла)

Евгений
01.09.2017
20:15:18
Хаскель не даёт последовательности потому что он ЛЕНИВЫЙ

ML даёт последовательность инструкций

Можно сделать чистый ML, но он будет всё равно чистым функциональным языком.

illiatshurotshka❄️
01.09.2017
20:16:20
не будет он чистым

Евгений
01.09.2017
20:16:35
Даже идрис даёт последовательность. Идрис ИМПЕРАТИВНЫЙ?

Открытие века

Мерлин
01.09.2017
20:17:09
@marblegarden имеет в виду что нам всё равно придётся сделать io, а он не может быть чистым просто потому что так мир устроен

illiatshurotshka❄️
01.09.2017
20:17:27
да все проще

Мерлин
01.09.2017
20:17:31
но зато мы можешь всё inpure загнать под коврик монад и сделать что вид что всё ок

Abbath
01.09.2017
20:17:34
IO делать не нужно

illiatshurotshka❄️
01.09.2017
20:17:51
пока твоя редукция происходит бинарник проводит очень много действий над памятью

Мерлин
01.09.2017
20:18:05
IO делать не нужно
ну это уже терминальный случай когда мы хотим например квартиру погреть от процессора

Google
Мерлин
01.09.2017
20:18:24
google linear types
Причём тут линейные типы? Это вообще другая степь

Abbath
01.09.2017
20:18:28
В сабже когда-то не было IO, а сабж был

Все делали в REPL

:)

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

Мерлин
01.09.2017
20:19:35
Ну этот ваше репл имеет io >_> просто в неявном виде

illiatshurotshka❄️
01.09.2017
20:19:41
не остается

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

Abbath
01.09.2017
20:19:56
Ну это REPL, не язык :)

Мерлин
01.09.2017
20:20:11
Ну типа можно писать программу как main: RealWorld -> RealWorld. Программа останется чистой
При запуске выяснится что нет свободной памяти, всё упадёт Уже не чисто )

Abbath
01.09.2017
20:20:20
У main был тип String -> String

Евгений
01.09.2017
20:20:43
Мерлин
01.09.2017
20:20:51
Полностью чистые языки существуют там же, где существуют машины тьюринга с бесконечными лентами

illiatshurotshka❄️
01.09.2017
20:21:27
У main был тип String -> String
абстракция над приемом аргументов не делает язык чистым

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

Abbath
01.09.2017
20:21:41
Почему не делает?

Мерлин
01.09.2017
20:21:42
Но это не значит, что мы не должны стремиться )

illiatshurotshka❄️
01.09.2017
20:21:52
твой код будет выглядеть чистым
но это ни на что не влияет

Google
illiatshurotshka❄️
01.09.2017
20:22:14
Почему не делает?
потому что компьютеры так работают

Abbath
01.09.2017
20:22:20
Как так?

illiatshurotshka❄️
01.09.2017
20:22:23
это не редуцировать на бумаге

Abbath
01.09.2017
20:22:23
Ты наркоман?

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

Евгений
01.09.2017
20:22:42
Почему не делает?
Потому что значение понятий можно менять в ходе спора лишь бы победить

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

illiatshurotshka❄️
01.09.2017
20:24:03
ну он сам решил про старые версии хаскеля говорить

причем тут я

Abbath
01.09.2017
20:24:44
А причем тут старые версии хаскеля?

Denis
01.09.2017
20:26:29
полемика...

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

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

illiatshurotshka❄️
01.09.2017
20:28:13
ты ищешь скрытый смысл

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

Abbath
01.09.2017
20:28:46
Вычисление на листке записал - чистоту потерял, лол

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

Мерлин
01.09.2017
20:30:28
Вычисление на листке записал - чистоту потерял, лол
Дао, которое может быть выражено словами, не есть истинное дао, ага

illiatshurotshka❄️
01.09.2017
20:30:39
я такие сообщения и в /r/iamverysmart почитать могу

Евгений
01.09.2017
20:33:44
я такие сообщения и в /r/iamverysmart почитать могу
Очень грустно, что современных быдлокодеров не учат матлогике. На матобесе СПбГУ матлогика была когда-то фильтрующим предметом во время экватора

Google
Sleeping
01.09.2017
20:34:40
да есть она, вроде)

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

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

illiatshurotshka❄️
01.09.2017
20:35:11
i guess в 2017 быдлокодеры это те кого волнует как эффективно делать программы заботясь о памяти пользователя

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

Sleeping
01.09.2017
20:35:59
это где так?!)

Евгений
01.09.2017
20:36:11
В спбгу жеж

Arseniy
01.09.2017
20:36:12
На КТ например

Sleeping
01.09.2017
20:36:33
норм

Arseniy
01.09.2017
20:36:54
У нас ещё теория типов была и теория категорий опционально

Sleeping
01.09.2017
20:37:03
итмо?

Arseniy
01.09.2017
20:37:22
ИТМО, ага Кафедра КТ на фитип

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

Sleeping
01.09.2017
20:37:33
да в курсе

Евгений
01.09.2017
20:37:37
Зря я не пошёл в КТ итмо когда-то, когда меня приглашали

Sleeping
01.09.2017
20:37:38
там ребята упарываются

Валерий
01.09.2017
20:37:38
Ещё не сдал матлог (практику) @ 4 курс @ Ещё не отчислили

Alexander
01.09.2017
20:37:41
а у меня ничего этого не было ^_^

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

Страница 382 из 1551