Pluggable Types on Lambda-the-Ultimate

Interestingly, Erik Meijer had an interesting post on optional/pluggable types on Lambda-The-Ultimate. It’s provoked quite a response, which is fun to read. Besides, it has the nicest title I've ever seen.

Erik has roots in the Haskell community, but he’s been very open minded on typing issues (certainly more open-minded than me!), has changed his views on the subject over time, and says so publicly. He deserves a lot of credit for that.

One point I'd like to add is that the pluggable types hypothesis has two elements to it. The more controversial one is that mandatory typing should be avoided altogether. The second is that one should be able to plug in additional type systems. This latter point applies even to when one does have a mandatory type system, as is the case in Java. Even hard core type theorists have some interest in this point, since it means that new and valuable type systems can get used in practice, without the huge hurdle of getting them to be part of a language definition.
Comments:

Post a Comment:
Comments are closed for this entry.
About

gbracha

Search

Categories
Archives
« April 2014
SunMonTueWedThuFriSat
  
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
   
       
Today
Feeds