@haskellru

Страница 1203 из 1551
Евгений
16.05.2018
20:01:46
Я устроился на втором курсе первый раз. Судя по всему у вас небедные родители

Leonid
16.05.2018
20:02:00
Кибербуллинг опять пошел

J
16.05.2018
20:02:03
16 лет. PHP.

Google
J
16.05.2018
20:02:06
Beat this.

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

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

Mr.
16.05.2018
20:02:28
Я устроился на втором курсе первый раз. Судя по всему у вас небедные родители
Наоборот бедные Но я не в программирование больше на первом курсе ударилась

Александр
16.05.2018
20:02:29
Вот да, давайте на родителей не переходить

Leonid
16.05.2018
20:02:46
От работы кони дохнут

Александр
16.05.2018
20:02:47
J
16.05.2018
20:02:57
Три минуты как, вроде.

Александр
16.05.2018
20:03:07
По Москве? Нет еще

Mr.
16.05.2018
20:03:18
Три минуты как, вроде.
57 минут по москве

J
16.05.2018
20:03:26
Временные зоны такие временные.

Евгений
16.05.2018
20:03:30
16 лет. PHP.
Вот классово верный персонаж

Google
Евгений
16.05.2018
20:03:47
Вот да, давайте на родителей не переходить
Ленин мне как отец. Считается?

J
16.05.2018
20:04:07
Так, теперь про мертвых родителей пошло.

Leonid
16.05.2018
20:04:12
А мне леннон

Александр
16.05.2018
20:04:12
Ленин мне как отец. Считается?
Считается. Ты забанен.

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

A64m
16.05.2018
20:04:53
про голанг и плюсы можно - офтоп же

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

Ilya
16.05.2018
20:05:45
а какие они — эти остальные?

Александр
16.05.2018
20:05:59
Хайпа вокруг зав типов не вижу в упор

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

Ilya
16.05.2018
20:07:21
а где ты смотришь?:)

Антон
16.05.2018
20:07:25
Ilya
16.05.2018
20:07:44
на небе^W лоре только и разговоров, что о расте

Александр
16.05.2018
20:07:49
а где ты смотришь?:)
В чатике по функциональному программированию (fprog_spb)

Евгений
16.05.2018
20:08:11
Google
Leonid
16.05.2018
20:08:23
Раст не фп

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

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

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

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

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

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

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

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

Антон
16.05.2018
20:11:06
Александр
16.05.2018
20:12:06
Можно напомнить про этот вопрос?
Конечно, даже нужно. Но, кажется, никто не знает, чем помочь. Но ты все равно спрашивай ;)

Mr.
16.05.2018
20:14:12
A64m
16.05.2018
20:14:16
прекрасное будущее (без токсичной маскулинности) это возвращение со звезд, а в туманности антиутопия какая-то

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

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

Leonid
16.05.2018
20:16:08
KDeveloper ??
16.05.2018
20:16:46
Google
Leonid
16.05.2018
20:17:08
class RoleVal a where roleVal :: proxy a -> Role
Возможно нужно kind ограничить, но это не точно

Александр
16.05.2018
20:17:12
KDeveloper ??
16.05.2018
20:17:31
Александр
16.05.2018
20:18:50
Кстати говоря, была одна девушка знакомая здесь, в Новосибирске. Сама она студент-математик старших курсов, но ей было интересно поизучать Haskell. Я ей несколько занятий провел, что-то около 4. Схватывала налету! Все-таки, базовый Haskell очень простой.

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

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

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

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

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

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

Александр
16.05.2018
20:25:39
Первый курс ? Даже завидно.

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

Александр
16.05.2018
20:27:28
Не, точно не хотела бы. Что угодно, только не Чита.

Grigory
16.05.2018
20:27:56
а что такого в чите? извините за оффтоп :D

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

Александр
16.05.2018
20:28:58
а что такого в чите? извините за оффтоп :D
Да не извиняйся, админы все равно не видят. Да в принципе, ничего такого, не Колыма же. Просто город на 300К человек с очень низким уровнем жизни и безнадегой

Google
Андрей
16.05.2018
20:30:16
Вольфрам уже нарезал

Александр
16.05.2018
20:30:27
Вольфрам хорош, но можно лучше

Ilya
16.05.2018
20:30:38
Тык вроде было Rosetta code или типа того
да, натыкался на него как-то. но его редко можно встретить в результатах поисковой выдачи (обычно там StackOverflow), откуда следует, что он недостаточно популярен

Андрей
16.05.2018
20:31:45
котоморфизм в смысле?

Mr.
16.05.2018
20:31:51
в спп17 есть
Ну так это стандарт 17 года Нас в универе учат максимум по 14 года стандарту

Ilya
16.05.2018
20:32:52
rosetta code чтоли?
примеры кода там хорошие, но текста очень мало. хотя можно прочитать википедию, и потом уже розетту, да.

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

Александр
16.05.2018
20:33:03
в спп17 есть
std::accumulate в С++11 появился, вроде

Alexander
16.05.2018
20:33:09
или розетту потом википедию

Grigory
16.05.2018
20:33:49
так то плюсы оч большие, мне кажется там можно все

Александр
16.05.2018
20:34:09
Сидите в своём уютном профессионализме и не видите окружающий мир :D
Ну почему ж. Я плюсовикам хаскеллем в плюсовой оболочке на мозги капаю ?

Андрей
16.05.2018
20:34:56
так то плюсы оч большие, мне кажется там можно все
да, например написать компилятор нормального языка и на нем уже делать это все

Mr.
16.05.2018
20:35:15
Ну почему ж. Я плюсовикам хаскеллем в плюсовой оболочке на мозги капаю ?
Я начала изучать хаскель ибо моя задница сгорела с реализации алгоритмов на плюсах

Андрей
16.05.2018
20:35:31
Даже сабж полжизни в си компилировался

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