Fortress does the math

 

Connecting state and local government leaders

SAN FRANCISCO--Earlier today at JavaOne, held this week in San Francisco, Christine Flood of Sun Microsystems offered a preview of Fortress, a programming language for writing math-heavy programs that will run in multicore and multiprocessor environments.

Funded in part by the Defense Department, Fortress has been positioned as Fortran killer. A lot of Fortran code still runs in government, especially for scientific duties, thanks to the fact that the ancient language has an ease with mathematical formulas that newer languages has yet to match.

If the preview is any indicator, Fortress will be very friendly to scientists. "We're going to do to Fortran what Java did C," Flood said.

Last month, the development team has shipped the first reference implementation of an interpreter for Fortress (available on the site). Flood admitted that it runs slow and doesn't reflect recent developments. The team hopes to have a working compiler by the end of the summer.

One of the strongest features of Fortress is that it allows users program directly in mathematical notation. For those scientists and other number-crunchers who think in terms of mathematics symbols, Fortress could simplify programming immeasurably.

As an example, Flood displayed a mathematical formula for the NAS Conjugate Gradient benchmark. Even in small type, it took up almost half the presentation slide. Along side the formula was the Fortress code that carried out the formula. The two looked very, very similar.

The Fortress language incorporates a mathematical syntax, meaning that mathematic symbols are operators and can be used to write a program. As a result, mathematical operations look exactly the same in the code as they would as they do in the mathematical textbooks, or on the professors' whiteboards.

This is a big jump for programming languages. As a contrast, Flood displayed on the next slide the same formula as rendered in Fortran. It took up the entire slide

Of course, the immediate problem with using notation is that keyboards don't have mathematical symbols. There is no keys for, say set notation. This is a problem the development team is working on, Flood admitted. Right now, they have an ASCII-notation substitute for those characters.

"We don't know if they will ever be on the keyboard," she said. The team is thinking of working on an on screen editor with all the characters.

Fortress has a number of other strong mathematical features as well. For instance, units of measurements are types, assuring that no mistakes will be made multiplying, say, kilometers with miles. It allows for functional programming, allowing methods that recursively reference themselves.

Fortress also has generators and reducers. With generators, you can specify the range of an array, and it will fill in the numbers. Likewise, a reducer can reduce all the numbers in an array, perhaps by summation.


***

While strong in mathematical notation, Flood positioned Fortress in her talk as a general usage language, though one still very early in development. She mentioned that it borrows the best ideas from a lot of other languages and takes on problems earlier languages did not address.

Flood mentioned a whole mess of design improvements. One is contracts. Borrowed from the Eiffel program language, contracts assures a function will not execute unless all the needed inputs are ready, and in the proper form. This is a good technique for cutting down on bugs and strengthening security. Another improvement is multiple inheritance, in which a class can inherit trait from multiple parent classes.

Perhaps the most prophetic feature, though, is that Fortress is a language for writing programs that run in parallel. Few of the languages today anticipated multicore processors, which require different programming techniques in order to be fully utilized.

Fortress features both implicit and explicitly parallelism, Flood said. Unlike every other programming language, Fortress assumes that the functions you write can run in parallel. A programmer has to specify when this is not the case. It will also divvy out work among multiple processors.

X
This website uses cookies to enhance user experience and to analyze performance and traffic on our website. We also share information about your use of our site with our social media, advertising and analytics partners. Learn More / Do Not Sell My Personal Information
Accept Cookies
X
Cookie Preferences Cookie List

Do Not Sell My Personal Information

When you visit our website, we store cookies on your browser to collect information. The information collected might relate to you, your preferences or your device, and is mostly used to make the site work as you expect it to and to provide a more personalized web experience. However, you can choose not to allow certain types of cookies, which may impact your experience of the site and the services we are able to offer. Click on the different category headings to find out more and change our default settings according to your preference. You cannot opt-out of our First Party Strictly Necessary Cookies as they are deployed in order to ensure the proper functioning of our website (such as prompting the cookie banner and remembering your settings, to log into your account, to redirect you when you log out, etc.). For more information about the First and Third Party Cookies used please follow this link.

Allow All Cookies

Manage Consent Preferences

Strictly Necessary Cookies - Always Active

We do not allow you to opt-out of our certain cookies, as they are necessary to ensure the proper functioning of our website (such as prompting our cookie banner and remembering your privacy choices) and/or to monitor site performance. These cookies are not used in a way that constitutes a “sale” of your data under the CCPA. You can set your browser to block or alert you about these cookies, but some parts of the site will not work as intended if you do so. You can usually find these settings in the Options or Preferences menu of your browser. Visit www.allaboutcookies.org to learn more.

Sale of Personal Data, Targeting & Social Media Cookies

Under the California Consumer Privacy Act, you have the right to opt-out of the sale of your personal information to third parties. These cookies collect information for analytics and to personalize your experience with targeted ads. You may exercise your right to opt out of the sale of personal information by using this toggle switch. If you opt out we will not be able to offer you personalised ads and will not hand over your personal information to any third parties. Additionally, you may contact our legal department for further clarification about your rights as a California consumer by using this Exercise My Rights link

If you have enabled privacy controls on your browser (such as a plugin), we have to take that as a valid request to opt-out. Therefore we would not be able to track your activity through the web. This may affect our ability to personalize ads according to your preferences.

Targeting cookies may be set through our site by our advertising partners. They may be used by those companies to build a profile of your interests and show you relevant adverts on other sites. They do not store directly personal information, but are based on uniquely identifying your browser and internet device. If you do not allow these cookies, you will experience less targeted advertising.

Social media cookies are set by a range of social media services that we have added to the site to enable you to share our content with your friends and networks. They are capable of tracking your browser across other sites and building up a profile of your interests. This may impact the content and messages you see on other websites you visit. If you do not allow these cookies you may not be able to use or see these sharing tools.

If you want to opt out of all of our lead reports and lists, please submit a privacy request at our Do Not Sell page.

Save Settings
Cookie Preferences Cookie List

Cookie List

A cookie is a small piece of data (text file) that a website – when visited by a user – asks your browser to store on your device in order to remember information about you, such as your language preference or login information. Those cookies are set by us and called first-party cookies. We also use third-party cookies – which are cookies from a domain different than the domain of the website you are visiting – for our advertising and marketing efforts. More specifically, we use cookies and other tracking technologies for the following purposes:

Strictly Necessary Cookies

We do not allow you to opt-out of our certain cookies, as they are necessary to ensure the proper functioning of our website (such as prompting our cookie banner and remembering your privacy choices) and/or to monitor site performance. These cookies are not used in a way that constitutes a “sale” of your data under the CCPA. You can set your browser to block or alert you about these cookies, but some parts of the site will not work as intended if you do so. You can usually find these settings in the Options or Preferences menu of your browser. Visit www.allaboutcookies.org to learn more.

Functional Cookies

We do not allow you to opt-out of our certain cookies, as they are necessary to ensure the proper functioning of our website (such as prompting our cookie banner and remembering your privacy choices) and/or to monitor site performance. These cookies are not used in a way that constitutes a “sale” of your data under the CCPA. You can set your browser to block or alert you about these cookies, but some parts of the site will not work as intended if you do so. You can usually find these settings in the Options or Preferences menu of your browser. Visit www.allaboutcookies.org to learn more.

Performance Cookies

We do not allow you to opt-out of our certain cookies, as they are necessary to ensure the proper functioning of our website (such as prompting our cookie banner and remembering your privacy choices) and/or to monitor site performance. These cookies are not used in a way that constitutes a “sale” of your data under the CCPA. You can set your browser to block or alert you about these cookies, but some parts of the site will not work as intended if you do so. You can usually find these settings in the Options or Preferences menu of your browser. Visit www.allaboutcookies.org to learn more.

Sale of Personal Data

We also use cookies to personalize your experience on our websites, including by determining the most relevant content and advertisements to show you, and to monitor site traffic and performance, so that we may improve our websites and your experience. You may opt out of our use of such cookies (and the associated “sale” of your Personal Information) by using this toggle switch. You will still see some advertising, regardless of your selection. Because we do not track you across different devices, browsers and GEMG properties, your selection will take effect only on this browser, this device and this website.

Social Media Cookies

We also use cookies to personalize your experience on our websites, including by determining the most relevant content and advertisements to show you, and to monitor site traffic and performance, so that we may improve our websites and your experience. You may opt out of our use of such cookies (and the associated “sale” of your Personal Information) by using this toggle switch. You will still see some advertising, regardless of your selection. Because we do not track you across different devices, browsers and GEMG properties, your selection will take effect only on this browser, this device and this website.

Targeting Cookies

We also use cookies to personalize your experience on our websites, including by determining the most relevant content and advertisements to show you, and to monitor site traffic and performance, so that we may improve our websites and your experience. You may opt out of our use of such cookies (and the associated “sale” of your Personal Information) by using this toggle switch. You will still see some advertising, regardless of your selection. Because we do not track you across different devices, browsers and GEMG properties, your selection will take effect only on this browser, this device and this website.