Ну, типа, у тебя есть видение хорошего синтаксиса? У меня нет.

Если есть, то написал бы пропозал.

Че у всех идеи-то только в чате

ни у кого нет, надо обсуждать поэтому

Я не могу писать пропозалы - плохо знаю английский для этого

а как в кондуитах сделать правильное разделение на чанки?

т.е. что-то вроде Conuit i (Conduit i m r) m r

через isolate i ?

Ну вообще есть куча самых разных языков, про которых что-то не получается однозначно сказать что лучше, что хуже, потому что критериев сравнения очень много.

Но порог входа вообще нельзя считать критерием, ибо за один семестр студента можно трем хаскелям научить.

Это смотря каких студентов. Вот моим одногруппникам целый семестр Сишки (без плюсов) не особо помог если честно

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

Это смотря каких студентов. Вот моим одногруппникам целый семестр Сишки (без плюсов) не особо помог если честно

Ну одной сишке за семестр не научить, это да.

Ну одной сишке за семестр не научить, это да.

Ну нет. Сишка вообще довольно простой для изучения язык.

Язык, но не программирование на оном

Вот уж типичный парадокс знания

Язык, но не программирование на оном

да

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

До того, как студент где-нибудь год за деньги в прод не попишет он в любом случае будут больше вреда приносить.

к чему тогда набросы про легкий порог?

Ну нет. Сишка вообще довольно простой для изучения язык.

Если уже знаешь другой алгол, то да, не слишком сложная, но за семестр все равно сложно научить.

Потому что unsound

Нет. За семестр вполне можно выучить, там никаких особо сложных фич нет.

В отличии от хаскеля к примеру

Потому что unsound

И UB через UB ехал

В отличии от хаскеля к примеру

Хаскель без тайплевела лютого проще сишки

И UB через UB ехал

На UB забивают обычно, и так как компиляторы тоже немножко забивают.

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

Хаскель без тайплевела лютого проще сишки

Бред. У хаскеля даже концепций куда больше, параметрический полиморфизм, тайпклассы, HKT, не говоря уже про сопутствующие вещи вроде монад. Про ленивость ещё тоже забывать нельзя.

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

Да

Бред. У хаскеля даже концепций куда больше, параметрический полиморфизм, тайпклассы, HKT, не говоря уже про сопутствующие вещи вроде монад. Про ленивость ещё тоже забывать нельзя.

В сишке даже аналогов такому нет

В сишке не в синтаксисе дело

Да

Тогда ты должен знать, что у человека мозг ломается на x = x + 1

Так что это совсем не простой язык .

Так что это совсем не простой язык .

Про какую простоту речь идёт?

Тогда ты должен знать, что у человека мозг ломается на x = x + 1

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

Ну нет. Сишка вообще довольно простой для изучения язык.

правда, как следует ее мало кто изучил

Тогда ты должен знать, что у человека мозг ломается на x = x + 1

Да не ломается особо

ломается, вот прям пример

а надо с паскаля начинать, как и принято. тогда и ужаса от x := х + 1 не будет

ну и обучение присваиванию тоже происходит довольно долго (но быстрее конечно, чем разобучение)

мы о разных поломках походу говорим

да, я прочитал не вникая

и в школе и в шараге стабильно больше моих одноклассиников-одногруппников осваивало матешу, а не императивное программирование, так что в его понятности я как-то сомневаюсь

и в школе и в шараге стабильно больше моих одноклассиников-одногруппников осваивало матешу, а не императивное программирование, так что в его понятности я как-то сомневаюсь

Вот только даже всякие хардкорные математики на хаскель как-то не особо рвутся

Вот только даже всякие хардкорные математики на хаскель как-то не особо рвутся

какие математики? речь про школьников и студентов (не матфака)

а надо с паскаля начинать, как и принято. тогда и ужаса от x := х + 1 не будет

x := !x + 1 о ужас!

Вот только даже всякие хардкорные математики на хаскель как-то не особо рвутся

haskell - промышленный язык математикам нужны именно пруверы agda, coq, cubicaltt, etc

какие математики? речь про школьников и студентов (не матфака)

я не думаю что школьникам и студентам будет так легко изучить параметрический полиморфизм к примеру

хотя зачатки пруверов в хаскель тоже есть (но в основном через плагины)

Параметрический полиморфизм чего изучать-то, подстановки

Так же как и лямбда-исчисление — я его школьником изучил по PDF-ке в несколько страниц

я не думаю что школьникам и студентам будет так легко изучить параметрический полиморфизм к примеру

а что сложного в обобщении операции с соблюдением некого контракта?

я не думаю что школьникам и студентам будет так легко изучить параметрический полиморфизм к примеру

не думаю, что человек, который не может освоить параметрический полиморфизм сможет сдать матешу на хорошо

а что сложного в обобщении операции с соблюдением некого контракта?

а что сложного в присваивании (изменении определённого значения в памяти)?

Так же как и лямбда-исчисление — я его школьником изучил по PDF-ке в несколько страниц

ну если конечно не вглубляться в какую нибудь книгу Барендрехта

Я про UTLC

Параметрический полиморфизм чего изучать-то, подстановки

Не совсем

а что сложного в присваивании (изменении определённого значения в памяти)?

концепция памяти?

концепция памяти?

нет

да

Не очень сложная концепция для человека, который когда-либо Excel открывал

Я про UTLC

ну это еще Черч в 30-х описал, да там особо сложности нет 2 метаопреции, несколько законов и свойств меньше только в комбинаторах Шойнфинкеля

в реальной жизни такого не встретишь

а что сложного в присваивании (изменении определённого значения в памяти)?

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

Вон ячейки, у них адреса, в них значения

Excel. Память. Вау.

И указатели даже понятны.

Не очень сложная концепция для человека, который когда-либо Excel открывал

эксель-то не так работает

Так он работает, если только константы в ячейки класть.

в реальной жизни такого не встретишь

действительно, бумага и карандаш с ластиком во истину нетривиальные концепции

эксель-то не так работает

эксель вообще реактивный граф/дерево

а что сложного в присваивании (изменении определённого значения в памяти)?

1. Изменение 2. Значение 3. Память

действительно, бумага и карандаш с ластиком во истину нетривиальные концепции

и бумага с ластиком не так работают

ну вообще фп прекрасно тем, что меньше точек управления, меньше точек явного управления - лучше работа

переменные зло по большей степени

Не очень сложная концепция для человека, который когда-либо Excel открывал

вдесятером, на 6 листах, которые не очень быстро синхронизируются

Это что-то advanced, я на Си писал с такой ментальной моделью памяти и у меня все работало.

Это что-то advanced, я на Си писал с такой ментальной моделью памяти и у меня все работало.

без явного порядка присваиваний что ли?

так в си мало что получится сделать

Почему без явного порядка присваивания?

потому что в экселе его нет

Эксель как модель памяти, а не модель языка

Я же могу в экселе в ячейке поменять значение, и моя программа в памяти может

а, т.е. модель памяти это человек, редактирующий экселевый спредщит? ну может быть

Да

но это какая-то вымученно сложная модель для памяти уже

И указатели даже понятны.

Вот кстати с указателями у многих проблемы возникают почему то. Хоти фактически они просто числа.

Бред. У хаскеля даже концепций куда больше, параметрический полиморфизм, тайпклассы, HKT, не говоря уже про сопутствующие вещи вроде монад. Про ленивость ещё тоже забывать нельзя.

У хаскеля это всё появляется по мере необходимости. А в Си арифметику указателей нужно уметь прям сразу. Даже строк нет нормальных

в компьютере все фактически просто числа

или биты (кому как удобнее)

Вот кстати с указателями у многих проблемы возникают почему то. Хоти фактически они просто числа.

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

haskell - промышленный язык математикам нужны именно пруверы agda, coq, cubicaltt, etc

Math lab?

но это какая-то вымученно сложная модель для памяти уже

Это самая естественная модель памяти по Тьюрингу, т.к. ЭВМ это электронная версия компьютера-человека (профессия) Моя программа — инструкции для компьютера (он им следует) У него есть память (которую я визуализирую как Excel-таблицу) Мне не важно, я на русском языке напишу что делать человеку-компьютеру или на Си напишу ЭВМ-компьютеру.

Я бы сказал в этом плане императивная модель супер простая для освоения.

Math lab?

матлаб точно макетматикам не нужен

Math lab?

это умерший язык. думаю вы про mat lab

максимум maple и mathematica