<div dir="ltr"><div class="gmail_quote"><div dir="ltr">Am Fr., 26. Okt. 2018 um 05:28 Uhr schrieb Carter Schonwald <<a href="mailto:carter.schonwald@gmail.com">carter.schonwald@gmail.com</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div dir="auto">[...] Ptr Void <br></div></div><div dir="auto">Corresponds to a memory address you don’t want to read or write to.  </div></blockquote><div><br></div><div>Hmmm, I haven't seen that much in the wild... </div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto">Ptr () corresponds to a memory location that’s pretty boring to read / write to </div></blockquote><div><br></div><div>The intention in lots of APIs is quite different: A "Ptr ()" is a pointer to some memory of unknown/externally specified format, *and* the consumer of the API should be forced to insert explicit casts, for whatever reason. This can be a good idea, but it can be *extremely* annoying, too, it depends. If you don't want to force casts upon your API users, you use "Ptr a".</div></div></div>