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

Влод

я сначал хотел написать го. но кажется тебе нравится го и шутка не пройдёт

A64m

можно, но там будет очень туго с оптимизациями

да с ФП оптимизациями даже и в ФЯ обычно туго

ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝

да с ФП оптимизациями даже и в ФЯ обычно туго

мне, например, очень сложно представить фьюжн оптимизацию на си хотя может на кложуре её можно сделать

Quet

я сначал хотел написать го. но кажется тебе нравится го и шутка не пройдёт

не скажу что нравится, но своя ниша у него есть

A64m

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

мы говорим про ФП, с практикой у ФП не очень

Quet

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

Quet

пусть это даже фп код

Aliester

Для эстетического удовольствия

A64m

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

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

Quet

ну кложа это явно не bleeding edge фп

Quet

так что если ты к ней за этим то точно мимо

Quet

но писать в продакшен код который сильно более фп чем да же джава -- без проблем

Quet

типов вот нехватает конечно

ᛏᚺᛖ ᛚᛖᛋᛒᛁᚨᚾ ᛗᚨᚾ ᚷᛁᚱᛚ 🐝

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

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

A64m

кстати, кто тут инересовался llvm страданиаями в гхц, там и про это доклад есть https://www.youtube.com/watch?v=lzuD6ga-rAI

A64m

но писать в продакшен код который сильно более фп чем да же джава -- без проблем

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

Влод

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

Влод

такой думаешь - ладно, не понял особо поинт. бедабеда и тут оператор решает поиграться с фокусом

A64m

1960-е непараметризованные модули, классы 1970-е миксины (в смысле ООП) 1980-е параметрические модули, тайпклассы, полиморфные рекорды, трейты 1990-е имплициты (если в ЯП, в пруверах раньше), миксины (в смысле модулей) 2000-е, 2010-е ??? обленились изобретатели совсем

Евгений

В 2000'ые изобрели OTT, а 2010'ые изобрели HoTT

Aliester

LLVM

A64m

В 2000'ые изобрели OTT, а 2010'ые изобрели HoTT

это другое

Евгений

Почему другое?

Anonymous

Js с 2000 заметно шагнул вперёд, не?

A64m

ну это с другим надо сравнивать, типа изобрели CoC, изобрели system F и т.д.

A64m

я не говорю, что перестали вообще что-то делать. именно вот средства организации кода такого типа перестали изобретать

Aliester

а можно ли вечно развивать средства организации?

Евгений

ну это с другим надо сравнивать, типа изобрели CoC, изобрели system F и т.д.

Ну типа "System F" это абстрактный полиморфизм, выражаясь языком двоего предыдущего сообщения

A64m

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

Aliester

мы постарели, перестали делать глупости

A64m

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

Aliester

юзать goto, писать на Коболе, считать С++ вменяемым языком

A64m

что-то не так

Кабачок

ох, мне бы универ с секвенциями и теоркатом, но я туда тупо не поступлю

имеется ввиду исчисление секвенций?

кана

имеется ввиду исчисление секвенций?

да, именно, это полезная вещь в свете современной моды на линейные типы

A64m

ох, прямо уж моды

кана

ну сейчас я вижу очень много упоминаний этого: в идрис хотели завести, в хаскель есть пропосал, популяризация раста (с его аффинными типами)

Кабачок

было бы достаточно, чтобы я мог задавать вопросы. И чтобы был кто-нибудь, кто может проверить правильность суждений/доказательств Потому что осваивать это самому выглядит полунереальным

ты всегда можешь воспользоватся услугами пруф ассистанта :trollface:

Кабачок

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

женские роды — u made my day

Aliester

женские роды — u made my day

а вдруг роженица гендерфлюид

Кабачок

> роженица тогда невежливо ассумить xer (гзер/ксер) гендер

Aliester

роженицо

Aliester

человеческое существо, осуществляющее операцию родов

Евгений

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

Интересно. А почему модули ML'ные это рекорд? Только если compile-time record

A64m

Интересно. А почему модули ML'ные это рекорд? Только если compile-time record

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

A64m

но это рекорд в актуальных энкодингах вроде f-ing да и в имплементациях часто

Mi Shа

Привет! Подскажите, есть ли эффективные способы взять хеш от картинки, закодированной в base64? Чтобы два раза не сохранять одну и ту же на диск. Будет ли от этого профит?

Mi Shа

Или время на взятие хеша будет равносильно сжатию?

A64m

> эффективные > хаскель

Cheese

почему 2 раза?

Cheese

просто бери байты, бери хэш и вычисляй

Cheese

зачем вообще что-то сохранять на диск?

A64m

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

Mi Shа

> эффективные > хаскель

Тут вопрос скорее об алгоритме. Проблема в следующем: мне нужно парсить сайты и доставать от туда превью картинку. Картинку нужно хостить с диска. Можно, прежде чем сохранять картинку, проверить, есть ли уже такая. Вот и вопрос: будет ли профит, если проверять это по хешу?