Type Oriented Programming Uses

From Mesham

Jump to: navigation, search

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...