Archives of the Caml mailing list > Message from Damien Doligez

Browse thread

[Caml-list] unix.chop_extension

skaller
- skaller
- Alex Baretta
  - skaller
  - YANG Shouxun
    - skaller
- Xavier Leroy
  - Luca Pascali
  - Remi Vanicat
  - skaller
    - Damien Doligez
      - skaller
        
        Damien Doligez
        
        skaller
        
        John Goerzen
        
        Damien Doligez
        
        skaller
        
        Damien Doligez
        
        skaller
        
        David Brown
  - Alex Baretta
    - Richard Jones

Date:	2004-05-26 (16:04)
From:	Damien Doligez <damien.doligez@i...>
Subject:	Re: [Caml-list] unix.chop_extension

On May 26, 2004, at 17:50, skaller wrote:

> This is mathematically an ill formed statement.
>
> You cannot say P(x), when x doesn't exist,
> for a predicate P. That could lead to a contradiction.

And yet... You can open a file that doesn't exist.

Obviously, the word "exist" is not used in filesystem semantics
with the meaning that you are implying.

-- Damien

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners