This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2016-02-14
Channels
- # aatree (1)
- # admin-announcements (1)
- # beginners (12)
- # boot (359)
- # cljs-dev (23)
- # cljsjs (2)
- # cljsrn (1)
- # clojure (53)
- # clojure-czech (5)
- # clojure-madison (1)
- # clojure-russia (15)
- # clojured (8)
- # clojurescript (16)
- # community-development (2)
- # core-async (6)
- # cursive (19)
- # datomic (31)
- # emacs (48)
- # euroclojure (3)
- # hoplon (29)
- # microservices (7)
- # mount (46)
- # off-topic (7)
- # om (11)
- # proton (74)
- # reagent (4)
- # spacemacs (3)
по compojure-api подскажет кто? есть вот такое:
(GET "/" request
:query-params [start-date :- String
end-date :- String
limit :- Long
start-id :- Long]
;; ………………
нужно сделать limit
и start-id
необязательными параметрами. как сюда приделать schema/optional-key
?offtopic: полупирожок Ты присылаешь двадцать скобок. О, как же я люблю твой смех.
A Chinese spy manages to steal the last 50MB of the Lisp program governing U.S. missile launches. Fortunately, it was all closing parentheses.
блин, после кложуры смотришь все это https://github.com/archan937/sql_dust и думаешь омг - опять синтаксис, ну зафега, тьфу
чувствую что никогда теперь с кложуры не слезу. Каждый раз когда думаю о том что хочу типы - понимаю что придется отказаться от репла и учить синтаксис и сразу все желание уходит
Типизированные ребята мечтают о зависимых типах. Мне кажется, что когда система типов станет столь же ненавязчивой как при dynamic programming, анализаторы динамичского кода смогут делать почти тоже самое ;)
@nicola: зависимые типы это чо?
то что в скале там пилят счас вроде да?
чисто оффтоп: https://www.rememberthemilk.com/new/
Brand new apps for the web, Mac desktop*, iPhone, iPad, Android phones & tablets, BlackBerry 10, and Fire
* Don't worry, Windows and Linux apps coming soon!
вот он, вендекапец Зависимые типы - это типы которые зависят от значений ;) есть всякие дженерики или тайпкласы - это типы параметризованные типами, а зависимые параметризуются значениями - например, тип для вектра положительных чисел с длинной три - ждут в Haskell, уже есть в Idris
@nicola: уже месяц не собирались, а понедельник на носу. Соберемся в понедельник вечером? Может расскажешь как вы тестируете и деплоите? @artemyarulin ты же вроде к админам у себя ходил по поводу деплоя, сможешь рассказать? У меня башем все собирается, а выкатывается это заменой jar'а как я понимаю (+ миграции запускает уже само приложение), но я думаю это не лучший способ.
@nicola: зависимые типы много где есть. в той же скале https://github.com/milessabin/shapeless
вопрос в том как(и можно ли) сделать это юзабельным для практичного и прагматичного программирования
> чувствую что никогда теперь с кложуры не слезу. Каждый раз когда думаю о том что хочу типы - понимаю что придется отказаться от репла и учить синтаксис и сразу все желание уходит вполне юзабельные и хорошие реплы есть во многих статически типизированных языках. в том же окамле, свифте, еще много где. это довольно ортогональные понятия