тут тип зависит не от значения, а от типа значения

это круто и хорошо конечно

и лучше, чем в 90% языков

вот если бы val value =42 и val value=43 давали бы разные типы, то это уже то

вот прям так умеет компилятор в своих кишках, но в языке нет ишью висит с 2012года и уже год как обещали "вот точно добавить" есть либа shapeless, где можно это сделать двумя способами: типы натуральных чисел и синглтон типы, но это строго компайл тайм и в рантайме ничего не поделать

ну этого все равно ж будет мало?

ясно, спасибо за объяснения

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

ну поидее это будет уровень haskell в лучшем случае

где уже появились библиотеки и люди научились страдать

и до какого-то момента это не очень отвратно выглядит

ну поидее это будет уровень haskell в лучшем случае

многое тайплевел, если не большую часть, тащут калькой с хаскелля как раз коллега делал доклад о том как он писал тайплевельную либу для генерации сваггер схемы по роутам (вдохновлялся сервантом), теперь периодически при поиске джунов слышу "а это же придется с ним работать? я такого не хочу" =)

=)

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

просто зависимые типы это не haskell это дальше

вон недавно в очередной раз игрался тут ещё спрашивал можно ли улучшить

это ж треш и угар

при этом что это "ограниченные зависимые типы"

а сервант вообще не зависимые типы, а type-level программирование

там только путь из типов в типы и из типов в значения

на свежих синглтонах норм еще

раньше вообще жесть была

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

а я правильно понимаю, что Хаскелл — единственный язык с претензиями на завтипы, в котором в типы можно поднимать значения только богоизбранных типов? String можно, а Char — фигушки?

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

я темный, не смогу объяснить нормально что там и либу не юзал

а я правильно понимаю, что Хаскелл — единственный язык с претензиями на завтипы, в котором в типы можно поднимать значения только богоизбранных типов? String можно, а Char — фигушки?

по-моему ты про хаканные тайп-литералы сейчас, а не про честные ЗТ

по-моему ты про хаканные тайп-литералы сейчас, а не про честные ЗТ

а в Хаскелле разве есть честные?

остальные честные в общем-то

за исключением уродливой кодировки

но это не про честность, а про удобство

а хотя в принципе норм, я и с тайп-литералами много проблем не вижу

все равно пользоваться нормально невозможно

ну да, если не пользоваться, то и проблем не будет видно

богоизбранных типов эффективно

не понял

а остальные вообще можно?

ну своих можно через синглтоны

просто готовые нахаляву нельзя

как сделать тип из '©'?

что значит "сделать тип из (c)"?

'(c) ?

TypeOperators

data (©) = ...

“©”

data Copyrighted

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

я вот не очень понимаю в каком виде его хочется

как параметр типа своего кайнда тип своего кайнда или что ещё

речь, видимо, о том, что на тайплевеле нету литералов для символов

мне показалось, что о том, что мы у нас есть строка <-> Symbol и Integre <-> Nat (или как их в TypeLits звали)

но для других типов нету, например Char - у в соотвествие что поставить

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

но это ж не совсем то

ну если бы литералы для символов были то и машинерию соотвествующую KnownChar и т.д. делали бы

кстати обидно, что magicDict и т.п. не выставлены

через которые литералы сделаны

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

речь, видимо, о том, что на тайплевеле нету литералов для символов

нет литералов для всего

блин вообще ничего не понимаю.. ну или это просто не допилено

В прошлом году видео с ICFP уже месяц как выкладывали

Добрый день,здесь кто-нибудь в Делфи шарит?

@haskellru -- специалисты по всему. Ждём когда придут спрашивать как починить холодильник

— Здравствуйте, это канал об аниме?

в аниме тоже шарят

оно уже появилось в питоночате

но еще не в емаксочате

кто из СПб не хотите доклад на fprpg-spb сделать?

30 ноября

А много ожидается вообще докладов?

я пока только один заявленный видел

но обычно люди вконце под

подтягиваются

Господа, а где можно посмотреть паттерны, если можно так выразиться, в качественном изложении? Не обязательно применительно к хаскеллю, в целом по ФП. А то результаты поиска выглядят либо скудно, либо практическая ценность вызывает сомнения.

Сейчас, вроде, осилил самое необходимое, но что-то всё написанное вызывает больше вопросов, чем было в начале.

https://habrahabr.ru/post/337880/ ?

функция высшего порядка

вот и все паттерны

https://www.haskell.org/tutorial/patterns.html

должно быть, имеется в виду что-то вроде https://www.schoolofhaskell.com/user/meiersi/the-service-pattern

Спасибо, кажется, то что надо. Если оно, конечно, не ведет по ложному пути.

ну есть паттерн интерпретатор где АлгТД - это язык, а паттерн-матчинг - интерпретатор. И соотвествующие паттерны вроде параметризации АлгТД, параметризации для исключения рекурсии и рекурсивные схемы, types a la carte, tagless final, TTG наконец