On Mon, Aug 20, 2012 at 2:55 AM, john skaller <skal...@users.sourceforge.net
> wrote:

>
> On 20/08/2012, at 5:35 PM, Dobes Vandermeer wrote:
>
> >
> > I don't mind the compiler deciding whether the operation is eager or
> lazy, I just want to get the same result every time.
>
> "I don't mind if pointers can be NULL or even uninitialised as long as the
> compiler
> doesn't let me dereference them"
>
> Fine. So we just don't allow NULL. Its useful but the compiler cannot make
> the guarantee any other way. So NULL is out. And Dobes gives up on Felix
> and goes back to C because he needs NULL.
>

Er, wait ... does Felix have NULL?  I thought you could only have an option
pointer, which the compiler does require you to "check" before you use it
using match... right?
------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to