ビリャチピスデツナフイ Войти !bnw Сегодня Клубы

1. буллшит 2. хз вроде збс 3. бля десять лет джу 4. линзы в пизду ура 5. похуй 6. хз даж надо попробовать 7. хз никогда свои числа не хотелось ещё написать 8. заебись 9. че блядь?! 10. чёт хз яннп надо смотреть конкретные примеры CONCLUSION: хз даж надо попробовать
#YU9B5L/7QT / @l29ah / 2478 дней назад

@l29ah > 9. че блядь?!
вычисление функции не вызывает сайд-эффектов, ее выполнение - вызываает.

#YU9B5L/OZR / @ninesigns --> #YU9B5L/7QT / 2477 дней назад
@ninesigns Какая сигнатура типа у функции с сайд-эффектами?
#YU9B5L/VE8 / @l29ah --> #YU9B5L/OZR / 2477 дней назад

@l29ah http://docs.idris-lang.org/en/latest/effects/state.html#introducing-effects

Idris provides a library, Effects [3], which captures this pattern and many others involving effectful computation [1]. An effectful program f has a type of the following form:

f : (x1 : a1) -> (x2 : a2) -> ... -> Eff t effs

That is, the return type gives the effects that f supports (effs, of type List EFFECT) and the type the computation returns t.

#YU9B5L/BGF / @ninesigns --> #YU9B5L/VE8 / 2477 дней назад
@ninesigns щас уже типа Control.ST вместо него
#YU9B5L/8J9 / @clayrat --> #YU9B5L/BGF / 2477 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

Цоперайт © 2010-2016 @stiletto.