оо линейная логика это выглядит круто

лол

Но мне больше нравится нотация Г.Фреге

серьёзно – лтр я бы и не начинал читать совсем. ничего не потеряешь

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

Никому ничего в информатике не нужно

Лучше загуглить бутстрап в ваших фронтендах

как раз таки оно вроде вышло из практических нужд в информатике. но оно своё дело сделало и всё конец

Но мне больше нравится нотация Г.Фреге

кстати не понимаю о чём ты.

Я не про темпоральную вообще

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

Описана в его книге Begriffsschrift

а вы все изоморфизмы ищете)

Всё можно так или иначе свести к теории категорий

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

разбавить серость

Лучше загуглить бутстрап в ваших фронтендах

Ы

Думаю пурса это все-таки мертворожденный проект. Бизнес это никогда не примет, ибо слишком высок порог вхождения по сравнению с другими технологиями, обеспечивающими строгую типизацию. Соответственно людей фиг наберешь. И так-то дефицит толковых разрабов, а тут еще и на экзотической технологии. Такая проблема есть даже у проектов, написанных на куда более популярных scala или closure. А для маленьких проектов строгая типизация - оверхед.

Тем не менее она используются в бизнесе, как и хаскель

Ну 100% мертвых языков вообще не бывает. Даже на каком-нибудь фортране продолжают где-нибудь клепать ) Но вот что б пурса стала себя активно проявлять на рынке вакансий - сильно сомневаюсь

на “каком-нибудь фортране”)))

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

и скалыы

Скала вот уж точно не полуфп

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

Скала вот уж точно не полуфп

75% фп?

Та скала, которая в проде, она именно полуфп

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

Конкурентное преимущество в глобальной перспективе, чем сложнее проекты - тем больще люди начинают ощущать профит

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

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

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

Ну и какой профит от столь строгого языка на маленьком проекте, обслуживаемом 1 человеком?

Единственный смысл который движет рынком - это финансовая выгода

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

Давай начнём с того, что маленький проект вообще не рассматривается как финансовая выгода

ммм

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

а какой смысл в этом "used exactly once" из линейной логики?

Давай начнём с того, что маленький проект вообще не рассматривается как финансовая выгода

Ну на фрилансе например половина проектов маленькие. И как-правило заказчику пофиг на чем пишешь. Главное быстро и качественно. Но вот крайне сомневаюсь что пурса там себя зарекомендовала бы.

Автора цикла статей про fantasy land кстати моментально захантили писать на пурсе

ЛОЛ

О фрилансе как какой-либо значимой единице вообще разговаривать не хочу

О фрилансе как какой-либо значимой единице вообще разговаривать не хочу

плохие воспоминания ?

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

плохие воспоминания ?

Личные проекции?

ну согласен, что там юзают фрилансеры особо неинтересно

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

В смысле? Знаю людей которые там очень здорово зарабатывают

Не сравнимо с тем что можно найти в офисе

С их же скиллами

Ну 100% мертвых языков вообще не бывает. Даже на каком-нибудь фортране продолжают где-нибудь клепать ) Но вот что б пурса стала себя активно проявлять на рынке вакансий - сильно сомневаюсь

фриланс != ремоут постоянка

Во во)

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

Автора цикла статей про fantasy land кстати моментально захантили писать на пурсе

https://github.com/fantasyland/fantasy-land об этом речь?

Да

Спасибо

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

Логика индейки: меня каждый день кормят, всё больше и больше, значит мои дела налаживаются

Потом наступает день благодарения

Так исходя из чего логика о том что рынок вымирающий?

Я так же могу говорить что через год все вы будете работать кочегарами ) У тех кто не верит - логика индейки )

>> Поэтому абсолютно бессмысленно разговаривать о рынке вакансий с точки зрения поймут не поймут Как программист может не думать о своем положении на рынке? Полагаться на то что в мире существует пара-тройка компаний где его знания применимы?

Что ты пытаешься сейчас доказать?) То что знать один только purescript - фигово? Ну да, прикинь)

@vlastachu

lol wtf

классные символы

ну я запутался с нотациями

ERROR: S client not available

хех

тут в бумаге такая

ты ещё, наверное, подумал что я шарю в логике

о-ок

Что ты пытаешься сейчас доказать?) То что знать один только purescript - фигово? Ну да, прикинь)

То что сомнительно тратить время на освоение purescript вместо какой-либо намного более востребованной технологии. Это если мы говорим о рациональной точке зрения конечно )

То что сомнительно тратить время на освоение purescript вместо какой-либо намного более востребованной технологии. Это если мы говорим о рациональной точке зрения конечно )

компьютеры тоже сомнительно

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

Найс тут про фриланс говорят ахах Фрилансеры и блоги на вордпрессе клепают как бы

компьютеры тоже сомнительно

Лучше писать квантовые алгоритмы шифрования на кластерах d-wave

d-wave говно же

идите работать

идите работать

Так ты же не подкинул работы

То что сомнительно тратить время на освоение purescript вместо какой-либо намного более востребованной технологии. Это если мы говорим о рациональной точке зрения конечно )

я короче тоже так думал

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

я короче тоже так думал

И ты нашел реально рациональный довод для себя?

и пурсу пару дней назад

да, мне пару дней назад предложили работу на хаскеле и пурсе

сегодня интервью

Тогда ок!

выловили из конфы по хаскелю)

Интересно сколько у них человек работает на пурсе? )

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

Это российская контора? Потому что в hh по пурсе вообще тихо

все фронты на пурсе

ну так в hh и про хаскель тихо, но компании есть и много

они просто не идут на hh

да, мне пару дней назад предложили работу на хаскеле и пурсе

круто) мне бы кто так

кто где в курсе линзоподобных решений/бестпрактис для react-redux/connect

линзы там не нужны, у нас же ридонли стейт

reselect - композиция геттеров с мемоизацией

да мне на view только, композиция у reselect - бойлерплейтная

ну так линзы в принципе тоже бойлерплейтные очень)