Obix: An Introduction
by Christian Neumanns
www.obix.lu
Welcome!
number of bugs = 0
What is Obix? (1/2)
- programming language
- object-oriented
- statically typed (dynamic typing is possible)
- compiler generates Java binary code (.class files)
- applications run on any system with JVM (e.g. Linux, Mac, Windows, etc)
- Java and Obix code can easily be mixed
- all existing Java software can easily be used in an Obix application
What is Obix? (2/2)
- open source, free software (GPL v3 license)
- free of charge
- currently: alpha version
- one-man project -> open-source community
- for more information: www.obix.lu
Why Obix?
Why Obix?
Why Obix?
Why Obix?
Why Obix?
Reliability: why it matters? (1/2)
- Fact #1: It is practically impossible to write error-free software
- Industry average: 1 to 25 bugs in 1000 lines of code for delivered software
- -> not less than 100 to 2500 errors in mid-sized application (100000 lines) delivered to customers
- -> all licenses say: "software is without any warranties"
Reliability: why it matters? (2/2)
- Fact #2: Costs to repair programming errors typically increase dramatically (by orders of magnitude!) when they are detected at a late stage
Reliability: how to increase? (1/2)
- more testing
- one of the most effective ways to find errors
- drawbacks
- some programmers don't write tests
- requires time and increases costs
- never reveals all errors
- unit testing is built-in feature of Obix
Reliability: how to increase? (2/2)
- 'fail fast' principle supported by the programming language
- To increase the reliability and maintainability, and reduce costs, software errors must be detected and repaired as early as possible.
- Errors should preferably be automatically detected at compile-time, or else as early as possible at run-time.
'Fail fast' rule ignored!
'Fail fast' rule ignored!
...
'Fail fast' rule ignored!
...
coding error:
'Fail fast' rule ignored!
...
coding error:
...
A simple example
- Obix source code for type 'product':
type product end type
A simple example
- Obix source code for type 'product':
type product attribute identifier end type
A simple example
- Obix source code for type 'product':
type product attribute identifier type:positive32 end end type
A simple example
- Obix source code for type 'product':
type product attribute identifier type:positive32 end attribute description type:string end end type
A simple example
- Obix source code for type 'product':
type product attribute identifier type:positive32 end attribute description type:string end attribute price type:zero_positive32 end end type
A simple example
- Obix source code for type 'product':
type product default_factory:yes attribute identifier type:positive32 end attribute description type:string end attribute price type:zero_positive32 end end type
A simple example
- Obix source code for type 'product':
type product default_factory:yes attribute identifier type:positive32 end attribute description type:string end attribute price type:zero_positive32 end end type - to create a banana:
var product banana = fa_product.create ( & identifier = 123 & description = "banana" & price = 50 )
A simple example
-
var product banana = fa_product.create ( & identifier = 123 & description = "banana" & price = 50 ) -
var product banana = fa_product.create ( & identifier = 123 & description = "banana" & price = void )- Obix rule: By default, void values are not allowed for attributes.
- -> compile-time error
-
var product banana = fa_product.create ( & identifier = 123 & description = "banana" & price = foo.bar )- -> immediate run-time error (if expression evaluates to void)
More 'fail fast' support
- Objects in Obix are immutable by default.
- Contract programming (i.e. Design by Contract (TM)) is fully supported in Obix.
Conclusion
The aim of Obix is to help programmers to write more reliable and maintainable code through a unique combination of proven and innovative concepts which all support the important Fail fast! rule.
This results in more productivity and less costs for software development.
Questions?
Thank you!