@haskellru - страница 1452 - Telegram web archive

Alexander

А вот это годно. Спасибо

Да на здоровье 😊

Кирилл

Возможно нужно kind ограничить, но это не точно

на выходных попробую

Alexander

Кстати говоря, была одна девушка знакомая здесь, в Новосибирске. Сама она студент-математик старших курсов, но ей было интересно поизучать Haskell. Я ей несколько занятий провел, что-то около 4. Схватывала налету! Все-таки, базовый Haskell очень простой.

ena

Кстати говоря, была одна девушка знакомая здесь, в Новосибирске. Сама она студент-математик старших курсов, но ей было интересно поизучать Haskell. Я ей несколько занятий провел, что-то около 4. Схватывала налету! Все-таки, базовый Haskell очень простой.

Угу. У меня мировоззрение круто поменялось после слов "без циклов" и "свертка"

ena

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

ena

После пары базовых теорем начала легче пониматт некоторые вещи в хаскеле

Alexander

Я не совсем понял, зачем бы системотехнику знать лямбда-исчисление? Ну то есть, это очень прикольно, а для чего могло бы пригодиться?

Alexander

И чем вообще эти инженеры занимаются?

ena

Я не совсем понял, зачем бы системотехнику знать лямбда-исчисление? Ну то есть, это очень прикольно, а для чего могло бы пригодиться?

Ну.. моя профильная тема матстат, тау и это тоже не помешает наверное

ena

Я хочу что-нибудь по ии запилить. Но не знаю что именно. И я на первом курсе. Может в электронику ударюсь через год

ena

У меня специальность "управление в технических системах"

Alexander

Первый курс 😊 Даже завидно.

ena

В МЭИ немного тяжело. Я иногда бы хотела тихо учиться в Чите и заниматься своими делами

Alexander

Не, точно не хотела бы. Что угодно, только не Чита.

Grigory

а что такого в чите? извините за оффтоп :D

Ilya

А что если создать аналог википедии, где будут статьи по различных программистским темам. Алгоритмы, паттерны и так далее. Что угодно. Только переключение языков статьи будет не по естественным языкам, а по языкам программирования. Таким образом у популярных языков постепенно будут некие эталонные реализации всех достаточно общих задач, с которыми встречаются люди в нашей сфере. И можно легко будет изучать новые языки, просто сравнивая версии статей на интересующем (новом) ЯП и на уже знакомом.

Alexander

а что такого в чите? извините за оффтоп :D

Да не извиняйся, админы все равно не видят. Да в принципе, ничего такого, не Колыма же. Просто город на 300К человек с очень низким уровнем жизни и безнадегой

Leonid 🦇

А что если создать аналог википедии, где будут статьи по различных программистским темам. Алгоритмы, паттерны и так далее. Что угодно. Только переключение языков статьи будет не по естественным языкам, а по языкам программирования. Таким образом у популярных языков постепенно будут некие эталонные реализации всех достаточно общих задач, с которыми встречаются люди в нашей сфере. И можно легко будет изучать новые языки, просто сравнивая версии статей на интересующем (новом) ЯП и на уже знакомом.

Тык вроде было Rosetta code или типа того

Alexander

А что если создать аналог википедии, где будут статьи по различных программистским темам. Алгоритмы, паттерны и так далее. Что угодно. Только переключение языков статьи будет не по естественным языкам, а по языкам программирования. Таким образом у популярных языков постепенно будут некие эталонные реализации всех достаточно общих задач, с которыми встречаются люди в нашей сфере. И можно легко будет изучать новые языки, просто сравнивая версии статей на интересующем (новом) ЯП и на уже знакомом.

👍 О более продвинутой системе базы знаний я тоже грезил, но в разрезе математики

Andrey

Вольфрам уже нарезал

ena

А что если создать аналог википедии, где будут статьи по различных программистским темам. Алгоритмы, паттерны и так далее. Что угодно. Только переключение языков статьи будет не по естественным языкам, а по языкам программирования. Таким образом у популярных языков постепенно будут некие эталонные реализации всех достаточно общих задач, с которыми встречаются люди в нашей сфере. И можно легко будет изучать новые языки, просто сравнивая версии статей на интересующем (новом) ЯП и на уже знакомом.

Как человек после плюсов узнает что такое свертка?

Alexander

Вольфрам хорош, но можно лучше

Alexander

А что если создать аналог википедии, где будут статьи по различных программистским темам. Алгоритмы, паттерны и так далее. Что угодно. Только переключение языков статьи будет не по естественным языкам, а по языкам программирования. Таким образом у популярных языков постепенно будут некие эталонные реализации всех достаточно общих задач, с которыми встречаются люди в нашей сфере. И можно легко будет изучать новые языки, просто сравнивая версии статей на интересующем (новом) ЯП и на уже знакомом.

rosetta code чтоли?

Ilya

Тык вроде было Rosetta code или типа того

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

Grigory

Как человек после плюсов узнает что такое свертка?

в спп17 есть

Ilya

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

и там вроде только код. а на SO ещё и объяснят, что к чему.

Ilya

Как человек после плюсов узнает что такое свертка?

в плюсах же есть свёртка

Andrey

котоморфизм в смысле?

ena