Fork me on GitHub
#clojure-russia
<
2016-02-14
>
be909:02:53

по compojure-api подскажет кто? есть вот такое:

(GET "/" request
        :query-params [start-date :- String
                       end-date :- String
                       limit :- Long
                       start-id :- Long]
      ;; ………………
нужно сделать limit и start-id необязательными параметрами. как сюда приделать schema/optional-key?

prepor10:02:48

be9: {limit :- Long nil}

ssesutchenkov12:02:56

offtopic: полупирожок Ты присылаешь двадцать скобок. О, как же я люблю твой смех.

artemyarulin17:02:03

A Chinese spy manages to steal the last 50MB of the Lisp program governing U.S. missile launches. Fortunately, it was all closing parentheses.

artemyarulin18:02:32

блин, после кложуры смотришь все это https://github.com/archan937/sql_dust и думаешь омг - опять синтаксис, ну зафега, тьфу

artemyarulin18:02:33

чувствую что никогда теперь с кложуры не слезу. Каждый раз когда думаю о том что хочу типы - понимаю что придется отказаться от репла и учить синтаксис и сразу все желание уходит

nicola20:02:18

Типизированные ребята мечтают о зависимых типах. Мне кажется, что когда система типов станет столь же ненавязчивой как при dynamic programming, анализаторы динамичского кода смогут делать почти тоже самое ;)

artemyarulin20:02:08

@nicola: зависимые типы это чо?

artemyarulin20:02:20

то что в скале там пилят счас вроде да?

artemyarulin20:02:49

чисто оффтоп: 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!
вот он, вендекапец simple_smile

nicola21:02:11

Зависимые типы - это типы которые зависят от значений ;) есть всякие дженерики или тайпкласы - это типы параметризованные типами, а зависимые параметризуются значениями - например, тип для вектра положительных чисел с длинной три - ждут в Haskell, уже есть в Idris

abtv21:02:02

@nicola: уже месяц не собирались, а понедельник на носу. Соберемся в понедельник вечером? Может расскажешь как вы тестируете и деплоите? @artemyarulin ты же вроде к админам у себя ходил по поводу деплоя, сможешь рассказать? У меня башем все собирается, а выкатывается это заменой jar'а как я понимаю (+ миграции запускает уже само приложение), но я думаю это не лучший способ.

prepor21:02:28

@nicola: зависимые типы много где есть. в той же скале https://github.com/milessabin/shapeless

prepor21:02:55

вопрос в том как(и можно ли) сделать это юзабельным для практичного и прагматичного программирования

prepor21:02:17

> чувствую что никогда теперь с кложуры не слезу. Каждый раз когда думаю о том что хочу типы - понимаю что придется отказаться от репла и учить синтаксис и сразу все желание уходит вполне юзабельные и хорошие реплы есть во многих статически типизированных языках. в том же окамле, свифте, еще много где. это довольно ортогональные понятия