(я тебе верю, просто интересно про что именно речь)

алсо говорите "сложное в хаскеле" как будто это что-то к чему надо стремиться

например

Например - в смысле, о чем говорят, или что в плюсах появилось такого?

о чём говорят

а че кстати самое сложное в хаскеле?

day convolution

Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич

Day Convolution — это всего-навсего тензорное произведение в категории естественного преобразования [C, Set]. (цитата)

Много обсуждают параллельное программирование и все с ним связанное.

Много обсуждают модели памяти (с С++11 модель памяти, наконец-то, определена в стандарте)

Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич

Ага. У лиспа есть фатальный недостаток, очевидно.

Day Convolution — это всего-навсего тензорное произведение в категории естественного преобразования [C, Set]. (цитата)

Да, в чем проблема?

Очень много говорят о метапрограммировании, для которого начиная с С++11 появились пара десятков языковых фич

наверное уже может джсонку сериализовать/десериализовать по определению класса?

а че кстати самое сложное в хаскеле?

У всех по-разному. Но у 99%, вероятно, будут сложности с кметтизмами

наверное уже может джсонку сериализовать/десериализовать по определению класса?

Не в курсе. Замечу, что сами концепции, которые пришли в С++, не новы и существуют в других местах по десять и более лет. Просто в этом языке, сложном в своем ествестве, и концепции реализуются сложно, что и приводит к трудностям, о которых можно говорить на конференциях.

я попрошу! героически преодолеваемым трудностям!

о

я попрошу! героически преодолеваемым трудностям!

Да, уел, именно так.

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

для него потребуется глубокие знания в с++ метапрограммировании

У меня поверхностные знания в С++. Тем более, в метапрограммировании.

ээх

а так рекламировал

Но что прикольно, ряд топовых плюсовиков - нескрывающие сей факт хаскеллисты. И они несут из Haskell разного рода годноту.

да мало что там можно перенести

во всех языках упираешься в отсутствие НКТ

И они на конференциях об этом рассказывают :)

В плюсах есть сорт оф HKT! Там параметром шаблона другой шаблон (неинстанцированный) может быть.

HKT == Higher kinded types?

Ага

(выходя из телефонной будки) - а напомните ссылку на разбор Клапауциусом реализации мапов (функторных) на разных языках?

во всех языках упираешься в отсутствие НКТ

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

о, уже написали

Да, темплит-темплитные параметры

типа можно <F<A>, F<B>> ?

В свое время я запилил простейшие линзы на С++. Пришлось использовать метапрограммную магию с вот этим вот всем. Сейчас не могу понять код

типа можно <F<A>, F<B>> ?

Можно

хотя не так записывалось бы

template <template <typename> class m> struct Monad { template <typename a> static m<a> mreturn(const a&); template <typename a, typename b> static m<b> mbind(const m<a>&, m<b>(*)(const a&)); };

там вообще можно сказать что f<A, B, F> и что F :: * -> *

я так вспоминаю - там констрейнты особо не повыставлять

template <template <typename> class m> struct Monad { template <typename a> static m<a> mreturn(const a&); template <typename a, typename b> static m<b> mbind(const m<a>&, m<b>(*)(const a&)); };

Да. А скоро обещают и концепты завести (== классы типов)

Да. А скоро обещают и концепты завести (== классы типов)

не

ну не скоро же

Не - в смысле, не скоро?

Ну окей. Пусть будет не скоро.

c++20 или -fconcepts

я почему-то думал что уже завезли, год назад видел какой-то пост про сравнение концптов, тайпклассов и трейтов

template <template <typename> class m> struct Monad { template <typename a> static m<a> mreturn(const a&); template <typename a, typename b> static m<b> mbind(const m<a>&, m<b>(*)(const a&)); };

<template <typename> class m> да чёт такого раньше не видел

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

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

Скала не сложнее?

в С++ надо страдать

++ в яблочко

Скала не сложнее?

таргет в джвм сильно упрощает жизнь

Скала не сложнее?

Не знаю, может быть. Я знаю плюсы поверхностно, но Скалу не знаю совсем

Вряд ли для запиливания линз достаточно поверхностных знаний ;)

Вряд ли для запиливания линз достаточно поверхностных знаний ;)

Ничего особенного, настоящие плюсовики найдут здесь кучу неоптимальностей: https://github.com/graninas/cpp_lenses/blob/master/cpp_lenses/lens_stack.h ?

Хуевые знания приобретаются через хуевын линзы

(просто фраза в стиле человека-паука)

все еще не нашел ту заметку про реализацию мапов в разных языках. Может старожилы гиттера помнят где она?

таргет в джвм сильно упрощает жизнь

как связаны джвм и жизнь?

(выходя из телефонной будки) - а напомните ссылку на разбор Клапауциусом реализации мапов (функторных) на разных языках?

@A64m_qb0 пинг

(выходя из телефонной будки) - а напомните ссылку на разбор Клапауциусом реализации мапов (функторных) на разных языках?

https://gist.github.com/klapaucius/1405389#file-_post-md

спасибо. просто нужна наглядная демонстрация танцев с бубнами в строгой скемантике

@IIvana строгость и нищета списков чтоли?

а уже ответили, что-то телеграм тупит с обновлениями диалогов

да. найти в гугле нетривиально - хотя и гитхаб автора нашел

у меня по этому запросу - первый ответ в d-d-g

ну это надо пароль помнить ) я другие запросы писал )))

ох http://lambda-the-ultimate.org/node/5504

Вникаю в функциональное программмирование. Вопрос такой:

Есть две функции

resolveJumps :: [ASMLine] -> [ASMLine]

на какую сам сядешь

computeOffsets :: [ASMLine] -> [ASMLine]

computeBytecode :: [ASMLine] -> [ASMLine] computeBytecode = resolveJumps . computeOffsets . resolveJumps . computeOffsets . resolveJumps

смысл - исполнять их поочередно, пока значение не перестанет меняться

[ASMLine] меняется при каждом вызове

но в один момент перестает

закомпози их в одну для начала, а там антилом можно или сверткой или ручной рекурсией или еще 100500 вариантов

прикольно, не знал про until

это кошерно?

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

сверткой

вот тебе и хорошая задачка - написать это 10-ю различными (не просто именами символов) методами

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

тут мб unfold и когда надо остановиться просто верни там Nothing

у меня сейчас задачка 20 000 строк императивного кода переложить чтоб работал)

переложи их в корзину и перепиши на кложе

о, здесь тот же аватар троллит сообщество? )

мы - Легион

Предположим ваши одногруппники не видели в жизни ничего кроме Pascal или C++ и Python с C#, как вы прорекламируете им Haskell?

посоны, помните матан который вы не поняли?

есть эквивалент этого в языках программирования

круто, да?

если одногруппники, то в этот момент они еще могут понимать матан

тогда так

вижу у вас, айфоны, бороды, рубашки под дровосека и "проблемные" очки