Clojurians Log v2

Currently, on spec alpha 2, you can select things that are not in the schema passed. Is this expected behaviour?

(ns user
  (:require [clojure.alpha.spec :as s]))

(s/def ::schema-field1 int?)
(s/def ::schema-field2 int?)
(s/def ::not-schema-field int?)

(s/def ::schema (s/schema [::field1 ::field2]))
(s/def ::selected (s/select ::schema [::schema-field1
                                      ::schema-field2
                                      ::not-schema-field]))

(s/valid? ::selected {::schema-field1 1
                      ::schema-field2 2
                      ::not-schema-field true}) => false

(s/valid? ::selected {::schema-field1 1
                      ::schema-field2 2
                      ::not-schema-field 3}) => true

schemas are not exclusive

so yes

Great, thank you! I think it’s great to contextually ‘extend’ schema selections to keywords not originally on the schema

Is there any reason to have a schema in select at all? This:

(s/select ::schema [::schema-field1
                    ::schema-field2
                    ::not-schema-field]))

(s/select [::schema-field1
           ::schema-field2
           ::not-schema-field]))

gen

closed schema checking

I see, that makes sense, thanks

Given an fdef , can I get its source code back? Like clojure.repl/source does with vanilla defs (my guess is that nope, but maybe someone wrote a thing?)