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