Re: [testdrivendevelopment] Diamond Kata using property-based tests with Nat Pryce

--0000000000007f2cf1059b166805
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Yeah. We weren=E2=80=99t at all happy with that property but wanted to pres=
s on to
express the symmetry which is a much better fit for property based testing=
.

In retrospect it would be better to start with the symmetry properties and
maybe properties about the overall shape (eg the lines form a square of
characters, the size of the square, etc) and use them to support correctly
writing more detailed properties (the contents of each line, say).

It=E2=80=99s an interesting kata because parts of the problem  are a reall=
y good
fit for property based testing and other parts are not.

=E2=80=94Nat

On Wed, 1 Jan 2020 at 15:45, Avi Kessner <[email protected]> wrote:

> Am I missing something, or did the indentation test not actually test
> indentation?
>
> On Tue, Dec 31, 2019, 17:05 Dmitry Kandalov <[email protected]> wrote=
:
>
>> Hello All,
>>
>> In case anyone is interested, here is a video in which Nat Pryce and I
>> are doing a diamond kata at KotlinConf
>> https://www.youtube.com/watch?v=3DI0OgA4OcXOY
>>
>> Regards,
>> Dmitry
>
>=20
>
> --
http://www.natpryce.com

-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-
Groups.io Links: You receive all messages sent to this group.

View/Reply Online (#35822): https://groups.io/g/testdrivendevelopment/mess=
age/35822
Mute This Topic: https://groups.io/mt/69349318/3268755
Group Owner: [email protected]
Unsubscribe: https://groups.io/g/testdrivendevelopment/leave/6156322/74455=
6386/xyzzy  [[email protected]]
-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-=3D-


--0000000000007f2cf1059b166805
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div><div dir=3D"auto">Yeah. We weren=E2=80=99t at all happy with that prop=
erty but wanted to press on to express the symmetry which is a much better =
fit for property based testing.</div></div><div dir=3D"auto"><br></div><div=
 dir=3D"auto">In retrospect it would be better to start with the symmetry p=
roperties and maybe properties about the overall shape (eg the lines form a=
 square of characters, the size of the square, etc) and use them to support=
 correctly writing more detailed properties (the contents of each line, say=
).</div><div dir=3D"auto"><br></div><div dir=3D"auto">It=E2=80=99s an inter=
esting kata because parts of the problem =C2=A0are a really good fit for pr=
operty based testing and other parts are not.</div><div dir=3D"auto"><br></=
div><div dir=3D"auto">=E2=80=94Nat</div><div><br><div class=3D"gmail_quote"=
><div dir=3D"ltr" class=3D"gmail_attr">On Wed, 1 Jan 2020 at 15:45, Avi Kes=
sner &lt;<a href=3D"mailto:[email protected]">[email protected]</a>&gt; w=
rote:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex=
;border-left:1px #ccc solid;padding-left:1ex"><div dir=3D"auto">Am I missin=
g something, or did the indentation test not actually test indentation?</di=
v><br><div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On T=
ue, Dec 31, 2019, 17:05 Dmitry Kandalov &lt;<a href=3D"mailto:no.mail.su@gm=
ail.com" target=3D"_blank">[email protected]</a>&gt; wrote:<br></div><bl=
ockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #=
ccc solid;padding-left:1ex">Hello All,<br><br>In case anyone is interested,=
 here is a video in which Nat Pryce and I are doing a diamond kata at Kotli=
nConf<br><a href=3D"https://www.youtube.com/watch?v=3DI0OgA4OcXOY" rel=3D"n=
oreferrer" target=3D"_blank">https://www.youtube.com/watch?v=3DI0OgA4OcXOY<=
/a><br><br>Regards,<br>Dmitry



</blockquote></div>



<p></p><p></p></blockquote></div></div>-- <br><div dir=3D"ltr" class=3D"gm=
ail_signature" data-smartmail=3D"gmail_signature"><a href=3D"http://www.nat=
pryce.com" target=3D"_blank">http://www.natpryce.com</a></div>

<div width=3D"1" style=3D"color:white;clear:both">_._,_._,_</div>
<hr>
Groups.io Links:<p>

You receive all messages sent to this group.


<p>

<a target=3D"_blank" href=3D"https://groups.io/g/testdrivendevelopment/mes=
sage/35822">View/Reply Online (#35822)</a> |


  <a target=3D"_blank" href=3D"mailto:[email protected]?subj=
ect=3DRe:%20Re%3A%20%5Btestdrivendevelopment%5D%20Diamond%20Kata%20using%20=
property-based%20tests%20with%20Nat%20Pryce">Reply To Group</a>
  
    | <a target=3D"_blank" href=3D"mailto:[email protected]?subject=3DPr=
ivate:%20Re:%20Re%3A%20%5Btestdrivendevelopment%5D%20Diamond%20Kata%20using=
%20property-based%20tests%20with%20Nat%20Pryce">Reply To Sender</a>
  


|


  
    <a target=3D"_blank" href=3D"https://groups.io/mt/69349318/3268755">Mu=
te This Topic</a>
  

| <a href=3D"https://groups.io/g/testdrivendevelopment/post">New Topic</a>=
<br>



<br>

<a href=3D"https://groups.io/g/testdrivendevelopment/editsub/3268755">Your=
 Subscription</a> |
<a href=3D"mailto:[email protected]">Contact Group Own=
er</a> |

<a href=3D"https://groups.io/g/testdrivendevelopment/leave/6156322/7445563=
86/xyzzy">Unsubscribe</a>

 [[email protected]]<br>
<div width=3D"1" style=3D"color:white;clear:both">_._,_._,_</div>


--0000000000007f2cf1059b166805--