Fork me on GitHub
#clojure-russia
<
2016-07-08
>
artemyarulin06:07:43

@misha: датаскрипт все тащишь 🙂

artemyarulin06:07:20

чо кста - кто спеку начал уже юзать в своих проектах? Я тут сел и поигрался наконец - прям крутая штука. Как пример кода покрытого спеками https://github.com/sveri/closp-crud/blob/7fbbf12be4f7705c0864f13a5d0748e6c657900f/src/de/sveri/clospcrud/helper.clj почти прям хаскель - функция отдельно от описания типов troll

misha10:07:26

@artemyarulin: не хочется выбрасывать синхронизацию с датомиком, и модель данных на клиенте нетривиальная, а то бы уже на хешмапах нахачил давно и забыл бы

a.espolov11:07:33

@misha: ради интереса не пробовал сериализовать/десериалиовать atom с сотоянием для приложений rn?

misha11:07:12

@a.espolov: так а что там пробовать? оно будет работать ок, но его потом нужно распедалить и на сервер отправить (или получить)

misha11:07:17

хочется бизнесс логику писать, а не даошки плодить и дебажить их синхронизацию с сервером

artemyarulin14:07:11

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

mike_ananev18:07:57

@artemyarulin: я вот тоже сел за спеку, пытаюсь сделать контракты между модулями. я поступил чуть по другому - разделил описание контрактов (в одном файле) и реализацию кода из-за предположения, что test.check легче дергать, если спека на конкретный модуль в отдельном файле.

mike_ananev18:07:58

хаскель не знаю, но спека очень похожа на контрактное программирование. вот статейка 2010 года https://rsdn.ru/article/design/Code_Contracts.xml , для ООП-щиков, но читая ее я много увидел про спеку

mike_ananev18:07:48

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

artemyarulin20:07:14

будем надеется как 1.9 выпустят будет побольше статей и отчетов что и как. p.s. RSDN - как давно я зачитывал этот журнал 🙂

artemyarulin20:07:23

С момента реализации принципов проектирования по контракту в промышленном языке программирования прошло уже более десяти лет, но именно сегодня, после появления контрактов на платформе .net, началось бурное обсуждение этого явления компьютерным сообществом. Но, как и у любого «популярного» явления (которое автоматически становится популярным для многих разработчиков, если за него берется столь сильный участник мира разработки программного обеспечения, как компания Майкрософт)
2010 год. Я почти лет 10 с дотнетом работал, но ни разу контактов не видел, не взлетело походу, интересно почему...

razum2um21:07:56

напомнило про вот этот доклад как чувак от динамической типизации с контрактами пересел на типы… нет, это не то видео, кто-нибудь помнит? там еще чувак, уже в годах, кажется контрибутор в typed racket

mike_ananev22:07:56

@artemyarulin: вот wsdl например. http://www.ibm.com/developerworks/ru/library/j-jws20/ Разве это не язык описания контрактов? входные и выходные параметры, перечень операций

mike_ananev22:07:45

особенно Листинг 3. Класс Definitions

mike_ananev22:07:35

на спеке описание wsdl более элегантно имхо