Имбирь - твой спиритический овощ. Войти !bnw Сегодня Клубы

https://blog.racket-lang.org/2017/10/racket-v6-11.html

Typed Racket supports refinement types and dependent function types. Previously
an experimental feature, refinement types allow types to describe more
interesting properties of values, especially integers. For example, this type
shows that the max function always produces a number at least as big as its
inputs:

(-> ([x : Integer] [y : Integer])
(Refine [z : Integer]
(and (>= z x) (>= z y))))

#JMH83R / @ninesigns / 846 дней назад

chez scheme давай ёпт, хули ты тут какое-то говно форсишь

#JMH83R/9Q2 / @anonymous / 846 дней назад

@anonymous как переделают бекенд так напишу, жри что дают

#JMH83R/NUM / @ninesigns --> #JMH83R/9Q2 / 846 дней назад

@ninesigns бля сорь

#JMH83R/6X0 / @anonymous --> #JMH83R/NUM / 846 дней назад
костыльно, уж лучше lux
#JMH83R/WCV / @anonymous / 846 дней назад

@anonymous спали чо за lux

#JMH83R/RFH / @ninesigns --> #JMH83R/WCV / 846 дней назад
ipv6 ready BnW для ведрофона BnW на Реформале Викивач Котятки

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