THE SCALOR™ PLATFORM FROM FUNCTOR
DEVELOPED DURING SIX YEAR & USED IN CLIMATE SIMULATIONS
The Functor Scalor™ platform is a new programing language and development platform from Functor. This is the first industrial development platform that incorporates a programming language and compiler for the new constructive programming paradigm that Functor unleashes.
Functor’s highly experienced consultants can get you going within a day and train you to use the tool to the fullest of its capabilities. We can promise radical improvements to nearly any software development project!
While Functor Prevent™ goes beyond technology that a leading CTO of an international software company postulates can reduce 50% of the defects, Functor Scalor™ offers much more still — and our tools interoperates with each other as well and so can be combined.
You can begin with Functor Prevent™, which is used industrially already in some of the toughest real-time control systems and embedded systems developed.
The move to Functor Scalor™ can be gradual and this meta language platform is very easily adopted and familar to programmers. A project can leverage constructive programming to the fullest, or in installments per component.
UNLEASHING FOUR DECADES OF WORLD-LEADING RESEARCH
Functor Scalor™ is based on vast amounts of research. This shows now in its intuitive, familiar design. Mathematical precision and foundations are deep down in its very foundations, and this propagates to developers into a coherent, intuitive, reliable product.
FULLY TESTED - AND INTEROPERATES WITH ANSI C NATIVELY
Since Functor Scalor™ , and since it interoperates with C programming, Although a meta programming language, Functor Scalor™ is a small step from persons knowledgeable in C, F#, Scala, Erlang, OCaml and Haskell. It therefore supports object-oriented and imperative programming as well.
In addition to full (MISRA, ANSI) C interoperability, C-syntax is embedded, so that C programmers can use Functor Scalor™ quickly.
You can leverage Functor Scalor™ immediately in your software project, existing or new, develop your embedded domain-specific languages, write extremely reliable software with technology vastly superior what you find in any programming language today.
SAFETY-CRITICAL OR MISSION-CRITICAL SOFTWARE
Certification of a safety-critical program written in Functor Scalor™ can be significantly more cost-effective. Functor Scalor™ builds on a entirely solid core of mathematical logic although you do not see it when you use Functor Scalor™. Functor Scalor™ has static type checking. For Functor Scalor™ this implies two strong benefits. Firstly, performance improves since we can eliminate much boilerplate and run-time checks just as Stroustrup has identified in his recent work (January, 2012) although the type system here is significantly stronger than what Stroustrup at that time considered. Moreover, which also Stroustrup made clear, we can improve reliability by excluding faulty programs. In fact many candidate programs are not really programs, namely candidate programs with faults. They are simply refused by Functor Scalor™. Therefore we can save much time and resources otherwise put into curing software defects.
HIGH LEVEL CODE AND DSL SUPPORT AND SYSTEMS PROGRAMMING BUILT-IN
Functor Scalor™ combines systems programming (low-level programming) with extremely efficient code and native C interoperability. Functor Prevent™ works hand-in-hand with Functor Scalor™, as they both support several C standards.
Functor Functor Scalor™ is based on constructive mathematics and type dependencies. It is admits higher level of programming than so far seen in programming, even with Erlang, Scala, Haskell, Ocaml, F# and other very high level languages available. While Scala is type safe, Functor Scalor™ is consistent. But you do not see any of the rock solid mathematical foundation, but you can trust it when your code is certified or tested. Many common errors are excluded by the type system while you have more powerful polymorphism than any other language can offer. This combines the flexibility of dynamic typing with the safety of strong static typing. You can write extremely generic programs, libraries and domain-specific or embedded languages.
Contact us for datasheets, a demo, or other mateiral about Functor Scalor™.
TAKES FUNCTIONAL, IMPERATIVE, OOP INTO THE NEW CONSTRUCTIVE PROGRAMMING PARADIGM, EITHER IN NEARLY SEAMLESS STEPS OR WITH A TRUE LEAP
There is a vast leap forward e.g. the functional programming paradigm — Functor Scalor™ for the first time makes the exploits the fundamental connection between mathematics and programming as manifested in the form of a strong type system. While C++ had a design goal to offer a stronger type system over C, Functor Scalor™ offers now vastly stronger type system compared to anything so far seen in the industry, while it is anyway simpler to learn and use! Simplicity should never be underestimated.
It is not at all related to expressive power, as Functor Scalor™ absolutely asserts. But you pay by installments and use just the power of Functor Scalor™ that you wish to use for the task at hand. Sometimes, you may simply use functional programming and sometimes you will be doing imperative object-oriented programming. Functor Scalor™ is the language of languages.
AUTOMATION & CONTROL - APPLYING SCALOR
Our VP of Automation & Control is an expert on control theory applications with vast experience from this area. Functor AB offers consultants to help you in such application areas and use Functor Scalor™ on critical components if not on the entire software project. Functor Scalor™ can be used as part of quality assurance with migration into safer code. Functor Scalor™ is ideal for control theory applications and works also for real-time systems with VxWorks and beyond.
Scalor™ is Functor’s new solution to the recent Grand Challenge in Control Theory (2011). It builds on an academic product that has been tested and tried for six years and used e.g. in climate models already with high-performance computing!
While Functor Scalor™ is ideal for control theory applications, it also is suitable areas such as telecom and financial software — it excels in general-purpose programming in terms of efficiency, ability to write parallel programs e.g. for DSP’s.
It is ideal for a any problem domain that involves a mathematical model or when you want to leverage software reuse and agile methods in one of the most productive ways — software reuse of embedded domain-specific languages.
SCALABILITY, RELIABILITY, SAFETY, EFFICIENCY - SCALOR™ OFFERS THE NEW CONSTRUCTIVE PROGRAMMING IN FULL BUT LETS YOU USE IT IN INSTALLMENTS TO CONTROL THE PERCEIVED RISK OF MIGRATION INTO THIS POWERFUL PLATFORM
Functor Scalor™ is, as its name indeed suggests, very scalable, that is, it supports small projects that can grow into large and complex projects with preserved global reliability and correctness properties by means of very precise interfaces using dependencies. One of its strengths is its new notion of interface.
Functor Scalor™ offers vast improvements for large projects which requires contractually specified interfaces going far beyond what e.g. Java and C# and indeed the functional programming paradigm has to offer. Functor Scalor™ means productivity, efficiency, reduced time to market, precision, reliability, … Witness, with Scalor™ from Functor, true constructive programming. It is available as a new tool, a platform, to be used immediately and in your hands as high-performing software developers. And it works with several C standards and is the ideal companion to Functor Prevent™. It is easily integrated with most existing tools, virtually any C compiler (for the supported C standards), and methods including agile methods and the new Language-Driven Development™ methodology focusing on embedded langauges (DSL’s).