а содержание этих лекций есть в виде текста?

https://www.youtube.com/channel/UCKjg3udGxUrfI1T1pEiyQYg

Этих? Насколько я знаю - нет

да, их самых

Прям конспектов нет, а так содержание в https://homotopytypetheory.org/book/

спасибо за ссылку!

спасибо за ссылку!

Но это наверное не то, с чего нужно начинать. Тут все очень зависит от целей и уже имеющегося бэкграунда.

бэкграунд топологический

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

бэкграунд топологический

Тогда сильно проще конечно

Всем привет! Может кто углядит паттен на строках 21-35? Что-то чуство что там монада

тебе надо какой-то handleError

https://www.haskell.org/hoogle/?hoogle=catchError

и туда передать функцию которая Left обрабатывает

Да согласен

господа, а какая типичная причина у вот такого? Undefined symbols for architecture x86_64: "_servezu7sLfkCWl9jb3sQfYhzzIDiv_TestData_testTickets1_closure", referenced from: _servezu7sLfkCWl9jb3sQfYhzzIDiv_State_getWaitQueue5_closure ?

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

все модули внутри одного stack-проекта

а, я идиот, забыл его вписать в exposed-modules в *.cabal

А кто знает, умеет ли IxSet что-то типа unique constraint?

Кто нибудь с сервантом реально работал?Как куки брат с ответа?

Я куков не видел там, но не особо искал конечно

type API = BasicAuth "foo-realm" () :> Get '[PlainText] (Headers '[Header "Set-Cookie" String] String)

через wreq всё ок - но servant интересно

Кто знает как выдрать header

?

Я куков не видел там, но не особо искал конечно

Ты говорил про проект с элмом - ну как получается?

Что напрягает в хаске это отсутствие внятной документации - со спринга взяли бы пример?

hoogle? ;-)

hoogle? ;-)

Не советую я со стакаджа беру

о прикольно, спасибо

Ты говорил про проект с элмом - ну как получается?

У меня тут инкремент произошёл, поэтому я мне на работу времени мало, не говоря уже о пет проектах?

У меня тут инкремент произошёл, поэтому я мне на работу времени мало, не говоря уже о пет проектах?

Понятно - )

fork?

Но опыт в проде с 20 тыс сток проекта без единого рантайм эксепшн - впечатляет

Это я про элм

Ого. А элм реально используется? мне его на конфе год назад один приятель показывал

fork?

Ага?

поздравляю

форки они клёвые

fork?

Извени - Не понял что это? fork?

Извени - Не понял что это? fork?

fork: create child process ж-)

поздравляю

Спасибо, да дети это очень круто

Спасибо, да дети это очень круто

А аа - поздравляю)

Спасибо?

https://cdepillabout.github.io/haskell-type-families-presentation

https://cdepillabout.github.io/haskell-type-families-presentation

Простенько и понятно:) Спасибо

Что напрягает в хаске это отсутствие внятной документации - со спринга взяли бы пример?

Не хватает не только доков, но и best practices. Да и код пишут все как хотят, нет каких-то рекомендаций.

Кстати, быстрый код писать тоже очень проблематично.

Не хватает не только доков, но и best practices. Да и код пишут все как хотят, нет каких-то рекомендаций.

+++

Зато статьи есть

Недавно подкаст переслушивал и там как раз обсуждали этот вопрос

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

Помойку как раз Саша и говорил это

Не очень хотелось бы что бы в хаскеле появилось бы вот эти спрингхибернейт

Вот да

Я точно говорил, я почти всегда против one true way

И.к. он нифига не тру почти всегда

Исключения всякие специфические DSL/edsl

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

Я с тобой согласен

Эти тру вэй рассчитаны на большой поток людей

Когда они за одним приходят

Чтобы можно было по шурику понять что происходит

Ну кароче для энтерпрайзоа

Ну а как тогда работать ))) Собираются например люди в команду и каждый со своими предпочтениями - как их фрагматичные знания или уменя объединять? ( один любит со скобочками , другой с точками итп) - это же очень сильно тормозит процесс!

Должен быть Тим лид

Который задаст направление

Вот этому всему

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

понятие

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

Чтото у меня идея утилиты появилась (если есть подобная скиньте ссылку на такую) - на вход указываешь начальный тип , конечный тип , ограничения на пакеты(например строго определённый набор) и утила показывает цепочки от нач типа до исходного

подскажите, как объявлять дата-конструкторы в собственных модулях "правильно"

чет я не могу их видеть дальше одного модуля =(

Это же те же самые функции, в чем разница?

ну я объвил новый тип, записал его вmodule Navigation ( ...), но при импортировании модуля в другом модуле мой тип не распознается в функции

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

А в ghci оба модуля загружено?

я редактирую второй модуль, в ghci его и читаю через :l Filters.hs, а первый в нем прописан через import

Может, попробовать ":m имя первого модуля"? У ghci с контекстами как-то странно все, я сам не до конца понял.

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

модуль загружается

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

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

А если :reload? Пальцем в небо тыкаю)

не работаит

та же ошибка

добавил функцию win a b c d = W a b c d и она загружается норм, а сам тип не хочет восприниматься =(

А из модуля указал что он экспортируется Window(...)?