Спасибо… Но вот я как-то тоже не нашел нормальных вариантов.

(1 :: 2 :: Nil) equiv (2 :: 3 :: Nil)

или нужен именно знаковый результат?

Блин, играюсь тут с хаскелем, и боюсь продолжать. То что в скале боле 100 строчек занимает, тут 30, а вывод типов просто космический

более 100 намного причем

джава 300 строчек - скала 100 строчек - хаскель 30 строк

Perl - одна, но длинная

в хаскеле тож можно одной длинной думаю

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

на пхп в 1 символ уложиться получится кстате.

имхо, хаскель сам далеко не прелесть дебильные отступы и горы let/where

как он круто выводит type constraints это скале и не снилось

Мощность алфавита у пхп чудовищная. Оттуда можно и не вернуться.

вывод типов это роскошь

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

https://www.willamette.edu/~fruehr/haskell/evolution.html

поиграться норм, но в "практических" системах типов его не будет :)

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

это понятно, да я и не прочь писать их, тут не надо бороться с арностью типов например и все эти ProductK, FunctionK прочие *K

а шо, сабиновское каррирование в типах не помогает?

SI-какеготам

я про forall f. m f -> f a

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

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

ну я про общий случай

в скале это trait Foo[M[_[_]], A] { def apply[F[_]](mf: M[F]): F[A] }

адуха

поиграться норм, но в "практических" системах типов его не будет :)

практические системы типов это какие?

в скале это trait Foo[M[_[_]], A] { def apply[F[_]](mf: M[F]): F[A] }

да, к тому же это ещё далеко не то же самое

согласен

хотя,

почему?

практические системы типов это какие?

с сабтайпингом, роу полиморфизмом или еще там чем

которые обворачивают существующий мейнстримный адок

почему?

хз, может и то же. я не вчитался. по моему опыту в скале когда пишешь [_[_]] — жди беды.

да не, это же просто type kind указывается

типа (* -> *) -> *

с сабтайпингом, роу полиморфизмом или еще там чем

не холивора ради, из любопытсва, чем сабтайпинг так необходим? и что такое "роу" полиморфизм?

https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping

хз, может и то же. я не вчитался. по моему опыту в скале когда пишешь [_[_]] — жди беды.

Равносильно data Foo (m :: (* -> *) -> *) a = Foo { apply :: m f -> m a }

да не, это же просто type kind указывается

ну проблема в том, что к этим параметрам потом нельзя никак ссылаться, нужно писать type members, чтобы потом проекции были. без этого нельзя никакой нормальный implicit type inference делать, потому что все эти параметры, как бы сказать, "ephemeral" и будут забыты

так они и не нужны тут

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

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

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

https://brianmckenna.org/blog/row_polymorphism_isnt_subtyping

спасибо ?

нужно всё это добро для интеропа с существующим мясом типа жс, жабы и прочего

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

мы кажется о чем то разном говорим :(

возможно ?

Вот пример использования Foo trait Foo[M[_[_]], A] { def apply[F[_]](mf: M[F]): F[A] } trait Bar[F[_]] { def bar: F[Int] } new Foo[Bar, Int] { override def apply[F[_]](mf: Bar[F]): F[Int] = mf.bar }

тайпклассы тут не причем

это боль с функциями у которых type kinds больше чем скала может переварить

почему?

Не совсем то же самое, потому что нет композиции

Не совсем то же самое, потому что нет композиции

эх, ухожу. Но если напишешь поподробнее, прочитаю потом с удовольствием

эх, ухожу. Но если напишешь поподробнее, прочитаю потом с удовольствием

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

А ну да это понятно, спасибо

https://github.com/scalaz/faq/blob/master/conduct.md обновили. вообще здраво звучит теперь

а к slick dao не прилагается типовой какой-нибудь?

а зачем оно там нужно

там же коллекции

ну CRUD руками делать это ж моветон :D

Есть active slick

Ееее, на курсере открылся курс по спарку и скале

наконец-то

ERROR: S client not available

Ща как упорюсь

гггг

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

мне только сегодня пришло письмо об открытии

а курс по алгоритмам 2 был открыт, но его закрыли, а я был на середине недели (

мне только сегодня пришло письмо об открытии

Странно. вроде с 27 го... могу ошибаться. времени не было заняться)

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

курс сыроват кстати

судя по плану, типичный вводный

курс сыроват кстати

А ещё она слишком быстро языком треплет =((( но пройти всё равно надо бы

Тишинааа

Тишинааа

как лучше запараметризировать тип для конкретного значения?

разверни мысль )

template<int Index, typename Tpl> class CalcInterleaveByteOffsetImpl { static size_t CalcInterleaveByteOffset(const Tpl &t) { // This is OK it calls the wrapper function // You could also do // size_t prevOffset = CalcInterleaveByteOffsetImpl<Index - 1, Tpl>::CalcInterleaveByteOffset(t); size_t prevOffset = ::CalcInterleaveByteOffset<Index - 1?t); return prevOffset + sizeof(Tpl); } }; template<typename Tpl> class CalcInterleaveByteOffsetImpl<0, Tpl> { static size_t CalcInterleaveByteOffset(const Tpl &t) { return 0; } };

такую штуку как в плюсах провернуть

хм пытаюсь подружить slick, active-slick и postgres

и все бы ничего но обычный findById не срабатывает потому что почему-то в запросе нет Id

а case class есстественно начинается с Option[Id] = None

кто-то еще с таким боролся?

это стандартная проблема

гугли что-то типа slick id gen

и все бы ничего но обычный findById не срабатывает потому что почему-то в запросе нет Id

А метод id класса таблицы выглядит вот так? def id : Rep[Int] = column[Int] ( "ID", O.PrimaryKey, O.AutoInc, O.Length(19))

А метод id класса таблицы выглядит вот так? def id : Rep[Int] = column[Int] ( "ID", O.PrimaryKey, O.AutoInc, O.Length(19))

да

def id = column[Int]("id", O.PrimaryKey, O.AutoInc)

Так. А ProvenShape? id указан как id.?

угу

id.?, some_string

etc

ага

по типам все собирается это ошибка именно в runtime возникает