Type Oriented Programming Uses
From Mesham
As noted there are many advantages to type oriented programming, apart from using it in a parallel language there are a number of other suggestions:
- GUI Programming - GUI programming can be quite tiresome and repetative (hence the use of graphical design IDEs.) By using types this would abstract the programmer from many of the repetative issues.
- Retrofit Existing Languages - The type approach could be applied to existing languages where a retrofit could be undertaken, keeping the programmer in their comfort zone but also giving them the power of type oriented programming.
- Numerous Type Systems - The type system is completely separate from the actual language, it would be possible to provide a number of type systems for a single language, such as a parallel system, a sequential system etc...

