Мохнатые уроды и моральные пёзды. Войти !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 / 2810 дней назад

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

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

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

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

@ninesigns бля сорь

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

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

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

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