На работу устройтесь, поработайте полгодика, тогда и поговорим. Чего ж

Мне до этого еще два или три года

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

Кибербуллинг опять пошел

16 лет. PHP.

Beat this.

Продавал свое тело можго сказать.

А оффтоп не пора прекращать?

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

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

Вот да, давайте на родителей не переходить

От работы кони дохнут

А оффтоп не пора прекращать?

Пора.

Вот да, давайте на родителей не переходить

Угу. Это обидно

Три минуты как, вроде.

По Москве? Нет еще

Три минуты как, вроде.

57 минут по москве

Временные зоны такие временные.

16 лет. PHP.

Вот классово верный персонаж

Вот да, давайте на родителей не переходить

Ленин мне как отец. Считается?

Так, теперь про мертвых родителей пошло.

А мне леннон

Ленин мне как отец. Считается?

Считается. Ты забанен.

Внимание, в чате действует неделя воздержания от оффтопа и оффтоп флуда, начиная с 00:00 17.05.2018 MSK (до 00:00 24.05.2018 MSK). Допускаются только разговоры о Haskell и ФП.

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

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

Голанг? Плюсы?

про голанг и плюсы можно - офтоп же

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

Rust?

Давайте лучше обсудим, почему так давно не было новых прорывных идей в проге. Вот сейчас весь хайп вокруг лин. типов, ФП в целом, зав. типов. А ведь им же уже по 20-30 лет, или больше.

Давайте лучше обсудим, почему так давно не было новых прорывных идей в проге. Вот сейчас весь хайп вокруг лин. типов, ФП в целом, зав. типов. А ведь им же уже по 20-30 лет, или больше.

Остальные просто не готовы

а какие они — эти остальные?

Давайте лучше обсудим, почему так давно не было новых прорывных идей в проге. Вот сейчас весь хайп вокруг лин. типов, ФП в целом, зав. типов. А ведь им же уже по 20-30 лет, или больше.

Мне запретили про капитализм говорить :(

Давайте лучше обсудим, почему так давно не было новых прорывных идей в проге. Вот сейчас весь хайп вокруг лин. типов, ФП в целом, зав. типов. А ведь им же уже по 20-30 лет, или больше.

Кстати, хороший вопрос. Я даже спать не пойду ради него

Хайпа вокруг зав типов не вижу в упор

И вокруг лин типов тоже

а где ты смотришь?:)

И вокруг лин типов тоже

Rust же

на небе^W лоре только и разговоров, что о расте

а где ты смотришь?:)

В чатике по функциональному программированию (fprog_spb)

Хайпа вокруг зав типов не вижу в упор

Idris? AST? F*?

В чатике по функциональному программированию (fprog_spb)

спустись к плебсу

Раст не фп

Rust же

Хайп вокруг чего-то внутри раста влечет за собой хайп самого раста. Не вижу. Вот Го, да, хайпует

Причем в случае го хайп вокруг его внутренней вещи происходит, а именно вокруг _ничего_

в куках уже лежит объект с нужной ролью с типом Role

Можно напомнить про этот вопрос?

Здравствуйте, кто-нибудь писал комбинаторы для серванта?

https://vadosware.io/post/trying-and-failing-to-expand-cookie-based-auth-with-roles/

вот тут в статье есть пример, но в нем используется получение строки из типа таким образом: roleStr = symbolVal (Proxy :: Proxy a)

мне же нужно пропихнуть сюда свой тип, например data Role = User | Admin

в куках уже лежит объект с нужной ролью с типом Role

подскажите пожалуйста, как это можно сделать?

Причем в случае го хайп вокруг его внутренней вещи происходит, а именно вокруг _ничего_

Странно, у меня прямо противоположные впечатления

Можно напомнить про этот вопрос?

Конечно, даже нужно. Но, кажется, никто не знает, чем помочь. Но ты все равно спрашивай ;)

Конечно, даже нужно. Но, кажется, никто не знает, чем помочь. Но ты все равно спрашивай ;)

Хм... а про что ты пишешь обычно статьи на хабре?

прекрасное будущее (без токсичной маскулинности) это возвращение со звезд, а в туманности антиутопия какая-то

Хм... а про что ты пишешь обычно статьи на хабре?

Давным-давно писал вводные по Хаскелю. Ну, когда сам его еще не знал, для таких же новичков. Это было года четыре назад. Иногда перечитываю, новые вещи узнаю ?

Haskell Quest Tutorial - задумывался как очень простой туториал для тех, кто вообще с программироваием не знаком.

мне же нужно пропихнуть сюда свой тип, например data Role = User | Admin

class RoleVal a where roleVal :: proxy a -> Role

Haskell Quest Tutorial - задумывался как очень простой туториал для тех, кто вообще с программироваием не знаком.

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

class RoleVal a where roleVal :: proxy a -> Role

спасибо большое!

class RoleVal a where roleVal :: proxy a -> Role

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

rosetta code чтоли?

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

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

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

в спп17 есть

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

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

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

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

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

в спп17 есть

Ну так это стандарт 17 года Нас в универе учат максимум по 14 года стандарту

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

wiki.c2.com

rosetta code чтоли?

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

Сидите в своём уютном профессионализме и не видите окружающий мир :D

в спп17 есть

std::accumulate в С++11 появился, вроде

или розетту потом википедию

std::accumulate в С++11 появился, вроде

я про ... && args

так то плюсы оч большие, мне кажется там можно все

Сидите в своём уютном профессионализме и не видите окружающий мир :D

Ну почему ж. Я плюсовикам хаскеллем в плюсовой оболочке на мозги капаю ?

так то плюсы оч большие, мне кажется там можно все

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

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

в том числе, почему нет

Ну почему ж. Я плюсовикам хаскеллем в плюсовой оболочке на мозги капаю ?

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

Даже сабж полжизни в си компилировался