undefined | Better HN

0 pointsnoodletheworld1y ago0 comments

I don't think spec with solve issues you are having about dynamic types.

Spec is about asserting structure at domain boundaries; once you're inside a context, it will not do anything.

i.e. If you're connecting stuff together and you want to make sure the state is correct as you pass between contexts -> great!

If you're writing stuff and internally you miss having a strong type system... uh... I don't think it's really going to help you.

0 comments

geokon1y ago

why not just program to protocols?

For complex data structures I typically just hide details behind a protocol and deal with the set of interface functions.

You can then freely mess with the internals and not worry about details

mrkeen1y ago

I don't know enough about protocols. Will the compiler stop you if you misuse them?

serpix1y ago

The compiler will not know if a protocol is not passed to a function expecting a protocol. Whereas a static typing language will not compile.

Similarly nothing prevents invoking missing functions of a protocol, you will only know during runtime.

1 more reply

harperlee1y ago

In my experience (mainly when trying to understand the implementation of core.logic), the problem with protocols is that the code inspection tools choke on them.

j / k navigate · click thread line to collapse