AA
не знаю, как у вас хаскельные конторы заканчиваются. у меня не заканчиваются никак
и скоко собеседований провалили?
Size: a a a
2021 January 25
DI
а "хаскельные конторы, где хорошо платят и есть удаленка" тоже не заканчиваются?
MK
думаю компаний, у которых нет удалёнки, сильно меньше
MK
у нас теперь даже есть!
JS
и скоко собеседований провалили?
в последней серии — 2 попытки, 0 провалов, 2 оффера, один лучше другого
AA
у нас теперь даже есть!
так она небось в любой момент может перестать быть - и че потом делать?
JS
в последней серии — 2 попытки, 0 провалов, 2 оффера, один лучше другого
(и ещё 2 оффера не хаскельных)
MK
так она небось в любой момент может перестать быть - и че потом делать?
не перестанет
MK
уже решили
MK
и скоко собеседований провалили?
на меня кстати WT даже смотреть не стали
MK
например
AΛ
на меня кстати WT даже смотреть не стали
Это well typed?
MK
да
R
на меня кстати WT даже смотреть не стали
На меня тож, но у меня такое только один раз было
ЖК
А как haskell с классами обходится в рантайме?
У него методы инлайнятся при компиляции, или всякие виртуальные таблицы и динамическая диспетчеризация имеет место быть?
У него методы инлайнятся при компиляции, или всякие виртуальные таблицы и динамическая диспетчеризация имеет место быть?
MK
те, что не заинлайнились, передаются явно
MK
функция
foo :: Bar => a -> b превращается в foo :: implForBar -> a -> bMK
компилятор на этапе сборки находит все нужные инстансы и их протягивает
MK
это в общих чертах
к
class X a where { x :: a }
instance X String where { x = "hello" }
f :: X a => (a, a)
f = (x, x)
main = print (f :: (String, String))
превратиться условно в
data X a = X { x :: a }
xString :: X String
xString = X { x = "hello" }
f :: X a -> (a, a)
f xI = (x xI, x xI)
main =
print
(showTuple showString showString)
(f xString :: (String, String))
instance X String where { x = "hello" }
f :: X a => (a, a)
f = (x, x)
main = print (f :: (String, String))
превратиться условно в
data X a = X { x :: a }
xString :: X String
xString = X { x = "hello" }
f :: X a -> (a, a)
f xI = (x xI, x xI)
main =
(showTuple showString showString)
(f xString :: (String, String))