On 20 April 2012 01:43, Alan Malloy wrote:
> On Apr 19, 4:06 pm, James Reeves wrote:
>> On 19 April 2012 19:46, Ambrose Bonnaire-Sergeant
>>
>> wrote:
>> > I've been doing some thinking about the treatment of nil in a
>> > statically typed version of Clojure.
>>
>> Statically typed in what way?
On Fri Apr 20 02:46 2012, Ambrose Bonnaire-Sergeant wrote:
> I've been doing some thinking about the treatment of nil in a
> statically typed version of Clojure.
>
> It occurs to me that nil is significantly different to Java's null
> reference, which is almost a Bottom type.
>
> Java's null is a
This is basically my approach. I'm performing static analysis a la carte.
Right now I have a "check-namespace" function that performs type checking
transitively for a given namespace. You could imagine performing this at
the REPL, lein plugin, or via an editor shortcut.
And adding types has zero e
On Thu, Apr 19, 2012 at 4:38 PM, Ambrose Bonnaire-Sergeant <
abonnaireserge...@gmail.com> wrote:
> I am working on an optional type system for Clojure. It looks more like
> Scala's type system, ie. working on top of existing Java types.
>
>
I saw Gilad Bracha speak a couple weeks ago about the des
On Apr 19, 4:06 pm, James Reeves wrote:
> On 19 April 2012 19:46, Ambrose Bonnaire-Sergeant
>
> wrote:
> > I've been doing some thinking about the treatment of nil in a
> > statically typed version of Clojure.
>
> Statically typed in what way? Java's type system doesn't seem
> particularly suited
I am working on an optional type system for Clojure. It looks more like
Scala's type system, ie. working on top of existing Java types.
I'm inspired by Typed Racket, which include recursive types, unions,
singleton types, the ability to type complex variable arity functions, and
other cool stuff.
On 19 April 2012 19:46, Ambrose Bonnaire-Sergeant
wrote:
> I've been doing some thinking about the treatment of nil in a
> statically typed version of Clojure.
Statically typed in what way? Java's type system doesn't seem
particularly suited to a functional programming language like Clojure.
- J
On Thu, Apr 19, 2012 at 2:46 PM, Ambrose Bonnaire-Sergeant
wrote:
> Hi,
>
> I've been doing some thinking about the treatment of nil in a
> statically typed version of Clojure.
>
> It occurs to me that nil is significantly different to Java's null
> reference, which
> is almost a Bottom type.
>
>
Hi,
I've been doing some thinking about the treatment of nil in a
statically typed version of Clojure.
It occurs to me that nil is significantly different to Java's null
reference, which
is almost a Bottom type.
Java's null is a subtype of any reference type.
Clojure's nil is just nil, subtype t
