нередко на конференциях можно устроиться волонтером студенты часто так делают

или с докладом на худой конец

есть беспроигрышный рецепт, как зарабатывать на билеты на конференции — работать программистом в Москве

сейчас уже удаленок всяких много

сейчас уже удаленок всяких много

с хорошим заработком?

с хорошим заработком?

хотелось бы больше

с хорошим заработком?

а со скольки хороший начинается?

(плата за квартиру \ ипотеку) * 3 ?

или с докладом на худой конец

а что вы ожидаете от доклада?

Ну в общем мне кажется что цифры могут быть большими

Недавно в Твиттере видел обсуждение что 100к в год на удаленке можно зарабатывать

Это конечно в верхние 5% надо входить условных

Но есть куда стремится

100к $

даже нечего добавить

Но это конечно надо на Америку/Европу работать

Я, помнится, на FPConf ездил из Казани за свой счёт при тамошней зарплате :)

5К по местным меркам, это недорого

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

а что вы ожидаете от доклада?

чьего?

Недавно в Твиттере видел обсуждение что 100к в год на удаленке можно зарабатывать

у меня столько нету, но я много не прошу с другой стороны

вообще

кроме того что он должен быть на fp

Часто прокатывает даже "пишем ФП-стайл, на <ваш-не-ФП-first-язык>" :)

Хотя я бы такие доклады не слушал, конечно :)

сайты я не клипаю) в основном ML и математика

@qnikst ты ещё тот демпингист

хочу фп-стайл на си 8)

И do notation для ассемблера

HKT для форта

@qnikst ты ещё тот демпингист

ну у меня уже немного побольше стала з/п .

вопрос, а как с кабал инсталом или стеком кастомный ghc использовать?

который лежит в /foo/bar

with-compiler: whatever? Если с кабалом

в project?

или куда это пихать

Ага

Либо cabal.project либо cabal.project.local

он поймет директорию где ghc-stage1 и ghc-stage2 вместо ghc?

или симлинк надо будет

Не знаю, я только из PATH брал

а что тогда вместо whatever писать?

блин cabal new-configure затерло local

Абсолютный путь. Я бы попробовал так

о сработало

у меня столько нету, но я много не прошу с другой стороны

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

редко, а чего есть ~5 фирм полущ

Не только ведь в деньгах смысл

ну и это я тоже хотел упомянуть. У @qnikst очень интересная работа

причем из них в 4 знакомые и которые 10 раз подумают не выглядит ли это как poaching или как там это зовётся

такое мало где найдешь

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

американская вроде

там Чепляка работал еще

но ты ж таким не будешь заниматься

:)

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

угу

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

в US обычно больше чем в европе

вон alphasheets платило $50h

а 50 в час это ж вроде как раз 100к в год?

так и есть

правда это без отпусков - но все равно хорошо

ну там как подпишешь договор

но обычно да

ещё нужно наши налоги платить, которые халява

если у меня есть Foo Bar; Bar = A | B | C то для того чтобы для каждого Bar сделать свою реализацию метода то это классы типов только?

ну или синглетоны?

предположим, Foo = [], тогда Foo Bar состоит из [], [A, B, C], [C, B, A]...

что значит "для каждого Bar"?

или Foo (bar :: Bar)?

полседнее

GADT достаточно вроде

синглетоновидный

да вот мне newtype хотелось бы там иметь

т.к. это тупо тег

Три инстанса? По одному на конструктор

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

да вот мне newtype хотелось бы там иметь

если я правильно понял, то data family

{-# LANGUAGE DataKinds #-} {-# LANGUAGE TypeFamilies #-} import Data.Coerce import Data.Kind data Bar = A | B | C data family Foo :: Bar -> Type newtype instance Foo 'A = FooA Int deriving Show main :: IO () main = print (coerce (42 :: Int) :: Foo 'A)