On Thursday, March 16, 2017 at 5:06:59 PM UTC, Rupert Smith wrote:
>
> I am guessing the answer is no.
>
> type alias Reader { borrowing : List Book }
> type alias Book { reader : Maybe Reader }
>My observation about this is that with statically typed languages, the underlying programming language is usually prevented from doing things by the type system to make it more safe. In this case, the type system will happily accept something, but it is the operational specification of the programming language that restricts what the type system allows. -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to elm-discuss+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
