Если что, то я книгу Влашина (только некоторые статьи и то давно у него читал) не читал, поэтому прям какой-то сильной позиции относительно содержания книги не имею.

Речь именно про книгу. Блог ок

А там что-то сильно отличное от блога описано?

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

раз уж такая тема зашла, кто мне может посоветовать хорошую литературу по хорошей тайпастронавтике? @nigurrath небось ты могешь. P.S. до Идриса я еще так и не дошел и код на Идрисе, наверно, и не пойму.

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

А там прям в книге так категорично описаны подходы, что выходят те же джетовские FromJson/ToJson?

А там прям в книге так категорично описаны подходы, что выходят те же джетовские FromJson/ToJson?

раз уж такая тема зашла, кто мне может посоветовать хорошую литературу по хорошей тайпастронавтике? @nigurrath небось ты могешь. P.S. до Идриса я еще так и не дошел и код на Идрисе, наверно, и не пойму.

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

@omgszer @VagifAbilov @grishace @nigurrath господа, в ваших чудесных странах текущего местонахождения есть ли какая-нибудь краудлендинговая платформа в евро/долларах?

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

Я еще к себе частично примеряю Я вообще в профессии - slow learner. То есть я все время что-то учу и даже выучиваю, но делаю это неспешно, и мне нередко требуется несолько заходов для более глубокого понимания технологии. Мы вот наш проект на акке и фарше ведем уже сколько лет, я порой вижу свой код двухлетней давности и думаю "какой же я был дурак". Сам я нередко выступаю на конференциях, и по крайней мере часть моих докладов поверхностна, некоторые - сознательно поверхностны, некотрые несознательно. Но мне время от времени кто-то дает знать, что посмотрел какой-то там мой доклад и что-то там из него вынес и яснее стало, и я понимаю, что немало таких, как я, которым нужно несколько подходов, но которые небезнадежны и не остаются на примитивном уровне, а все же его поднимают постепенно. Обучение - это такой итеративный процесс.

то есть, все дороги ведут в Идрис? насколько я знаю, зависимые типы в Хаскеле еще не спущены с Небес.

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

то есть, все дороги ведут в Идрис? насколько я знаю, зависимые типы в Хаскеле еще не спущены с Небес.

Окей, просто туториалы на Идрис?

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

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

@omgszer @VagifAbilov @grishace @nigurrath господа, в ваших чудесных странах текущего местонахождения есть ли какая-нибудь краудлендинговая платформа в евро/долларах?

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

У нас есть. Много

Мне кажется, большинство нормальных программистов недовольны, как писали год-два назад. Может я оптимист

Мб кто-то, кого не упомянул, тоже знает про краудлендинг в европе, сша, китае?

В смысле, полдесятка где-то

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

@theycallmewildrose Есть ещё относительно практическая книга по shapeless для скалы: https://books.underscore.io/shapeless-guide/shapeless-guide.pdf Но со скалой 3 она станет менее актуальной, потому что там много чего упростили для подобных трюков.

Огромный оптимист. Ну или у вас в Норвегии уже преддверие царства божьего на земле и ты вкушаешь плоды веры вне очереди по ветеранскому удостоверению.

да я че-то Скалу не особо хочу ковырять в этом направлении, попробую Идрис. то, что ты выше упомянул.

Это скорее пример того, что реально используется на практике. Но да, там достаточно много умеренно злобной скала магии

Подскажи, плз, как ваши искать?)

Оу! Спасибо! Я забыл что север европы не еврозона. Спасибо

Попробуй поискать по lending club и p2p lending, меня хайрили какие-то чуваки с офисом в wework (это сразу «нет», разумеется) с идеей p2p lending для стартапов. Шас это все затихло, потому что много где (в NY в частности) для такой деятельности требуется лицензия, что убивает саму идею

Кроме Финляндии

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

А что это? Кредит юнион?

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

вот Скала-магия меня сильно отталкивает.

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

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

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

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

меня б там в джуна декоммисовали.

Тебя бы зачислили в группу toxic или liability, вот и все

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

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

таким никих бонусов и роста?

По поводу FromJson/ToJson, кстати. Забавно, что именно после книжки Влашина я решил серьезно почистить нашу сериализацию, более строго подойдя к разделению доменных объектов и DTO и в итоге переписав всю сериализацию на ProtoBuf. Поэтому меня особенно изумляет, когда из книжки про ДДД делаются такие выводы

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

А за что?