Два года в /fg/. Войти !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 / 2339 дней назад

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

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

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

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

@ninesigns бля сорь

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

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

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

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