This page is not created by, affiliated with, or supported by Slack Technologies, Inc.
2016-07-08
Channels
- # admin-announcements (1)
- # arachne (3)
- # beginners (17)
- # boot (36)
- # bristol-clojurians (1)
- # cider (4)
- # clara (10)
- # cljsjs (11)
- # cljsrn (20)
- # clojure (134)
- # clojure-austin (2)
- # clojure-boston (1)
- # clojure-czech (1)
- # clojure-greece (128)
- # clojure-norway (1)
- # clojure-romania (1)
- # clojure-russia (17)
- # clojure-spec (106)
- # clojure-sweden (1)
- # clojure-taiwan (1)
- # clojure-uk (41)
- # clojurescript (122)
- # component (4)
- # cursive (1)
- # datomic (34)
- # editors (57)
- # emacs (12)
- # events (5)
- # hoplon (18)
- # instaparse (1)
- # jobs (9)
- # keechma (9)
- # lein-figwheel (3)
- # luminus (1)
- # om (47)
- # onyx (31)
- # proton (2)
- # re-frame (7)
- # reagent (3)
- # rethinkdb (1)
- # specter (25)
- # sql (2)
- # untangled (21)
- # yada (1)
@misha: датаскрипт все тащишь 🙂
чо кста - кто спеку начал уже юзать в своих проектах? Я тут сел и поигрался наконец - прям крутая штука. Как пример кода покрытого спеками https://github.com/sveri/closp-crud/blob/7fbbf12be4f7705c0864f13a5d0748e6c657900f/src/de/sveri/clospcrud/helper.clj почти прям хаскель - функция отдельно от описания типов
@artemyarulin: не хочется выбрасывать синхронизацию с датомиком, и модель данных на клиенте нетривиальная, а то бы уже на хешмапах нахачил давно и забыл бы
@misha: ради интереса не пробовал сериализовать/десериалиовать atom с сотоянием для приложений rn?
@a.espolov: так а что там пробовать? оно будет работать ок, но его потом нужно распедалить и на сервер отправить (или получить)
хочется бизнесс логику писать, а не даошки плодить и дебажить их синхронизацию с сервером
если датомик на серваке то конечно не вопрос. Даже завидую, а то у меня соап дак кучу прелестного ручного кода приходится писать да
@artemyarulin: я вот тоже сел за спеку, пытаюсь сделать контракты между модулями. я поступил чуть по другому - разделил описание контрактов (в одном файле) и реализацию кода из-за предположения, что test.check легче дергать, если спека на конкретный модуль в отдельном файле.
хаскель не знаю, но спека очень похожа на контрактное программирование. вот статейка 2010 года https://rsdn.ru/article/design/Code_Contracts.xml , для ООП-щиков, но читая ее я много увидел про спеку
если спека реально покажет себя полезным инструментом можно поробовать ее использовать при проектировании систем. излагать технические требования между модулями прямо в синтаксисе спеки вместо таблиц и текста.
будем надеется как 1.9 выпустят будет побольше статей и отчетов что и как. p.s. RSDN - как давно я зачитывал этот журнал 🙂
С момента реализации принципов проектирования по контракту в промышленном языке программирования прошло уже более десяти лет, но именно сегодня, после появления контрактов на платформе .net, началось бурное обсуждение этого явления компьютерным сообществом. Но, как и у любого «популярного» явления (которое автоматически становится популярным для многих разработчиков, если за него берется столь сильный участник мира разработки программного обеспечения, как компания Майкрософт)
2010 год. Я почти лет 10 с дотнетом работал, но ни разу контактов не видел, не взлетело походу, интересно почему...напомнило про вот этот доклад как чувак от динамической типизации с контрактами пересел на типы… нет, это не то видео, кто-нибудь помнит? там еще чувак, уже в годах, кажется контрибутор в typed racket
@artemyarulin: вот wsdl например. http://www.ibm.com/developerworks/ru/library/j-jws20/ Разве это не язык описания контрактов? входные и выходные параметры, перечень операций
особенно Листинг 3. Класс Definitions
на спеке описание wsdl более элегантно имхо