<div dir="ltr">Mercury presents a fork<br>For me the benefits of strong typing is faster development of prolog in language that's painfully slow to write and debug.<div><div>OTOH, ISO prologs have a considerable number of useful libraries (visualization, database connectors). Dynamism itself is also occasionally often useful.<br>Optional typing would seem to make it straightforward to incorporate dynamically typed prolog, but gain the benefits of strong typing for new code.<br><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 28, 2020 at 7:20 PM Julien Fischer <<a href="mailto:jfischer@opturion.com">jfischer@opturion.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
Hi Stuart,<br>
<br>
On Thu, 28 May 2020, Stuart Reynolds wrote:<br>
<br>
> I'm sold on the value of strong typing. However, it makes integration<br>
> with existing Prolog codebases problematic. It there support for<br>
> optional typing that would allow Mercury to be used more fluidly with<br>
> existing prolog?<br>
<br>
What do you mean by integrating with existing codebases?  Do you mean<br>
(1) converting that codebase to run in Mercury or (2) having some<br>
component written in Mercury communicate with Prolog?<br>
<br>
Julien.</blockquote></div>