[B! spec] ishideoのブックマーク

ishideo id:ishideo

specに関するishideoのブックマーク (13)

Clojure x ClojureScript で深める Web 開発 (0) - Qiita
Git Repo ソースコードと原文が入ったレポジトリ https://github.com/MokkeMeguru/clj-web-dev-ja/tree/main/chap0 シリーズ Clojure x ClojureScript で深める Web 開発 (0) Clojure x ClojureScript で深める Web 開発 (1) Duct x Clean Architecture Clojure x ClojureScript で深める Web 開発 (2) 環境の構築 Clojure x ClojureScript で深める Web 開発 (3) API 作成入門 Clojure x ClojureScript で深める Web 開発 (4) Auth Clojure x ClojureScript で深める Web 開発 (5) API 開発トランザクション添え C
ishideo 2021/04/07
clojure

clojurescript

spec

mock

clojure.spec.alpha

test

qiita
リンク
GitHub - borkdude/spartan.spec: A spartan version of clojure.spec compatible with babashka
ishideo 2021/04/05
spartan.spec

babashka

clojure

spec

github
リンク
[Clojure]spec紹介 - Qiita
Clojureは動的言語なので、型の情報なしで開発を進めていくのが基本です。動的な言語と静的な言語のどちらが優れているか、という議論は以前からありますが、あなたはどうお考えでしょうか。この問題にはさまざまな意見があるかと思いますが、Clojureは動的型付けを選択した言語です。しかし、specというライブラリーを使うと、Clojureでも型の恩恵を受けることができます。さらに、specでは正規表現のように型を定義することができ、これが非常に便利です。また、specで定義した型は spec/conform spec/explain などの関数が適応でき、これらの関数で型の適合性を見ることができます。準備 specを使用するためには、Clojueのバージョンを1.9.0以上に宣言する必要があります。
ishideo 2019/10/08
clojure

spec

qiita

type
リンク
静的型チェックツールDialyzerをElixirから使う - Qiita
Elixir Advent Calendar 2014 23日目です．動的型付け言語である Erlang で，静的に型エラーをチェックするためのツール Dialyzer というものがあります．日本語で Web 上に公開されている情報だと33. 型仕様とErlangが一番わかりやすいでしょう．この文章では Dialyzer を Elixir で使う方法をいくつか紹介すると同時に，Dialyzer がどんなものか雰囲気がつかめることを願って書いています．手動で設定する Programming Elixir という Elixir を始めるとっかかりにするにはとても良い本があります．その中の Appendix 2 に Type Specifications and Type Checking という章があり，Elixir で Dialyzer を使う方法を紹介しています．試してみましょう
ishideo 2019/09/10
elixir

type

dialyzer

spec

qiita
リンク
Elixirの静的型チェック - decadence
Elixir再履修 JVMはすごいけど限界もあるって最近感じてて、process単位でのGCが行えるBEAM系言語としてElixir触ってる*1。前に一度触ったけど文法とか飛んでたしElixir再履修。 Elixir Documentation Elixir School エディタ設定とか依存管理とか予め言語開発側が用意してくれているので助かる。ただ動的型付け言語なので、その辺りは後々困るのは確実。Erlangには静的型チェックの仕組みとしてdialyzerがあり、Elixirでも利用可能なのでそのあたりを先に押さえる。型宣言 when is_number(arg)みたいのを適宜書くのも良いが、そもそもこれはガードに利用するためのもの。Erlangの型付けで利用されていた-type、-spec、-opaque がそのまま@type、@spec、@opaqueとして利用出来る。型につい
ishideo 2019/09/10
type

dialyzer

spec

opaque

elixir

static
リンク
Swagger(OpenAPI Specification: OAS)を使ったWebAPI設計の手順 | APIblog
はじめに APIエコノミーが盛り上がっています。例えばTwitterのようにツイートデータを公開したり、Googleのように画像処理や自然言語処理の技術を公開するのにWebAPIが使われています。他には、障害に強いサービスを作るためにアーキテクチャをモノリシックからマイクロサービスに移行する動きがあり、マイクロサービス間はWebAPIで繋がっています。現代においてWebAPIは必要不可欠なインターフェースであり、だからこそWebAPIの設計は非常に綿密に行う必要があります。今回は、Swaggerを利用したWebAPIの設計方法についてまとめました。目次 1. APIを設計する前にRestful WebAPIの基礎を学ぶ2. 仕様を考える3. 詳細設計をする4. コーディング5. APIを試用するおわりに 1. APIを設計する前にRestful WebAPIの基礎を学ぶ下記は良書
ishideo 2019/03/29
swagger

webapi

django

djangorestframework

spec

sprintboot

springfox
リンク
clojure.specを開発やテストで活用する - ayato-p
clojure.specは僕が改めて書かなくてもathosさんやカマイルカさんがいろいろと素晴らしい発表をしているので、改めて僕が書く必要はないと思っていたんだけど、Clojureそのものに不慣れな人たちはまだ使い方が伝わっていないようだったので簡単にどう活用すればいいか書いてみようと思う。
ishideo 2018/10/26
clojure

clojure.spec

spec

test
リンク
Clojure - spec Guide
The spec library (API docs) specifies the structure of data, validates or conforms it, and can generate data based on the spec.
ishideo 2018/01/02
clojure

spec

guide
リンク
clojure.specの話
2016/07/29 Lisp meetup #42 の発表資料です。
ishideo 2018/01/01
clojure

spec

slide
リンク
clojure.spec入門2 - Yoshito Komatsu's Blog
「clojure.spec入門1」ではclojure.specを使った仕様の作り方について説明しました。今回は実際に関数に仕様を登録しましょう。なお、この文書ではclojure.spec名前空間にs、clojure.spec.test名前空間にtという別名を付けています。また、この文書はClojure 1.9.0-alpha7、test.check 0.9.0の使用を前提としています。 (require '[clojure.spec :as s]) (require '[clojure.spec.test :as t]) 次のようなmy-range関数の仕様を考えます。 (defn my-range [begin end] (vec (range begin (inc end)))) (my-range 10 20) ;;=> [10 11 12 13 14 15 16 17 18
ishideo 2017/12/30
clojure

spec
リンク
clojure.spec入門1 - Yoshito Komatsu's Blog
clojure.specはClojureでデータ、関数、マクロなどの仕様を書くためのライブラリーです。 clojure.specで仕様を書くことによる利点はいろいろありますが、まずは深く考えずにclojure.specで遊びましょう。なお、この文書ではclojure.spec名前空間にsという別名を付けています。また、この文書はClojure 1.9.0-alpha7の使用を前提としています。 (require '[clojure.spec :as s]) clojure.specでは仕様をスペックオブジェクトで表します。スペックオブジェクトはs/specマクロに述語関数*1を渡すことで作れます。次の例では「整数である」という仕様を表すスペックオブジェクトを作ります。 (s/spec integer?) ある値が仕様を満たしているかどうかを判断するにはs/conform関数を使いま
ishideo 2017/12/30
clojure

spec
リンク
Clojure spec 和訳 - Qiita
Clojure spec 和訳 ※まだ途中です。間違いや分かりにくいところなどがありましたら、ご指摘いただけると嬉しいです。 Getting started specライブラリはデータ構造を明示し、その構造を検証・破棄し、specに基づいたデータを生成することができます。 specを使う際は、最新のアルファ版（または下記以降の）のClojureを使用してください。
ishideo 2017/12/29
clojure

spec

qiita
リンク
Ruby MiniTest Cheat Sheet, Unit and Spec reference - danwin.com
danwin.com Words, photos, and code by Dan Nguyen. The 'g' is mostly silent. Ruby’s standard testing suite, MiniTest, is in dire need of a quick-and-handy reference for its syntax. I’ve put one together comparing the unit syntax (assert/refute) and the spec syntax (must/wont). You can see it below or download the Google Spreadsheet I made and roll your own sheet (HTML, XLS) Test syntax Unit Spec Ar
ishideo 2017/07/11
minitest

ruby

cheatsheet

unit

spec
リンク
1