↑↑↓↓←→←→ⒷⒶ Войти !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 / 2340 дней назад

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

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

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

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

@ninesigns бля сорь

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

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

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

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