Где блекджек, где мои шлюхи? Ничерта не работает! Войти !bnw Сегодня Клубы

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

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

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

@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 / 2951 день назад
@ninesigns щас уже типа Control.ST вместо него
#YU9B5L/8J9 / @clayrat --> #YU9B5L/BGF / 2950 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

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