Lambda the Ultimate

inactiveTopic Comments Requested on SML-Based Graphics DSL
started 12/14/2003; 11:18:39 AM - last post 12/18/2003; 4:34:37 PM
Brent Fulgham - Comments Requested on SML-Based Graphics DSL  blueArrow
12/14/2003; 11:18:39 AM (reads: 8172, responses: 5)
Comments Requested on SML-Based Graphics DSL
Johnny Andersen has been conducting a one-man mission to convince graphics programmers to use functional programming in their work. To my knowledge, he is the only person currently using SML (or really any functional language) in professional graphics development.

In partial completion of his Bachelor's degree, he has devised an ML-based Domain Specific Language for creating 3D graphics programs.

The language includes a few new ideas:

* Various SML extensions to support more polymorphic behavior
* The "Fieldcase" construct, for branching a program based on the presence of an optional field in a structure
* Optional type arguments

Johnny is seeking input on his language definition, and would appreciate any comments the learned folks at LtU might have.
Posted to DSL by Brent Fulgham on 12/14/03; 11:47:39 AM

andrew cooke - Re: Comments Requested on SML-Based Graphics DSL  blueArrow
12/14/2003; 5:17:10 PM (reads: 422, responses: 0)
professional

fwiw there will soon (hopefully after the xmas holidays) be an online store/gallery selling graphics made with pancito. i suppose no-one will ever buy anything, but i can dream...

(at the moment i'm writing a little (haskell) package to generate the (static) web pages from database info, so that i don't have to author all the pages).

Noel Welsh - Re: Comments Requested on SML-Based Graphics DSL  blueArrow
12/14/2003; 5:50:14 PM (reads: 412, responses: 0)
FWIW I have this vague memory that Thant Tessman, sometime contributor to comp.lang.scheme, is works in computer graphics. Google returns a few hits at SGI but nothing definitive.

Ehud Lamm - Re: Comments Requested on SML-Based Graphics DSL  blueArrow
12/15/2003; 6:56:26 AM (reads: 322, responses: 0)
I see that ACM SIGPLAN Notices Volume 11 , Issue 6 (June 1976) is now online. Those interested in this topic would find it interesing, I think.

Brent Fulgham - Re: Comments Requested on SML-Based Graphics DSL  blueArrow
12/15/2003; 11:28:15 AM (reads: 277, responses: 0)
I'm curious what LtU cognoscenti think of his proposed modifications to SML:

  1. Optional record fields (using the new abscent/present keywords)
  2. Fieldcase
  3. Composable restrictions on types

I especially enjoyed the section on the code maintenance benefits of this approach (see Section 4.14), which outlines a hypothetical "arms race" between a plugin writer and a user. I have not seen this type of functional behavior available in existing strongly-typed languages, and though this was a compelling argument.

Pseudonym - Re: Comments Requested on SML-Based Graphics DSL  blueArrow
12/18/2003; 4:34:37 PM (reads: 136, responses: 0)
I used to be a person who used functional programming (Haskell, specifically) in professional graphics development. It was a compiler for a certain industry-standard DSL, not the graphical engine itself.

Unfortunately, I left before we managed to ship the product, and nobody who was left spoke Haskell. Unfortunate. If I was still there, some of the world's highest-profile visual effects houses would today be using Haskell.