4 ms·

Welp, there's my rabbit hole for the week. I've never heard of JOVIAL before, and it looks like there's lot of interesting stuff here. Thank you!

by hwayne 7y ago

bdavis__ 7y ago
fortran with nice syntax and built in bit operations.
- galangalalgol 7y ago
  Nice fixed point types too. A fixed point all to the right of the binary point to represent angles asa semicircle was useful. Table ovelays are evil though. I'd rather have rust than ada for the functional lineage along with the performance, but the thin stdlib combined with the difficulty of getting a crates.io mirror certified clean of malcious code makes it problematic.
  - Skunkleton 7y ago
    Not to say Rust is ready for prime for safety critical systems, but both crates.io and the standard lib are optional for Rust.
    - galangalalgol 7y ago
      I think it is probably closer to safety critcal than it is to the middleground of safety related, where the sloc hits millions so you want boost or a thick stdlib plus posix but its still controlled enough you develop airgapped and worry about number of library contributors, trustedness and mostly futile code inspections of entire libraries. Even for server backends the rust team has expressed concern about the security implications of having such deeply nested dependency trees with so many authors.
jlarocco 7y ago
Around 2008/2009 I was briefly (about 6 months) employed to write Jovial and 286 assembly language for software that controlled satellite communication base stations. Unfortunately I was laid off before I got to write very much of it, but it seemed like a neat (if cumbersome and old fashioned) language. Information about it is pretty hard to find, and there's no open source or free compilers that I know of, but here are some links I had saved. A 1980s style tutorial: https://apps.dtic.mil/dtic/tr/fulltext/u2/a142780.pdf https://apps.dtic.mil/dtic/tr/fulltext/u2/a142780.pdf The mil-spec: http://everyspec.com/MIL-STD/MIL-STD-1500-1599/download.php?spec=MIL-STD-1589C.014577.pdf http://everyspec.com/MIL-STD/MIL-STD-1500-1599/download.php?... An explanation of how it came to be: https://jovial.com/documents/p203-schwartz-jovial.pdf https://jovial.com/documents/p203-schwartz-jovial.pdf
kjs3 7y ago
While you're down there, you might as well check out Coral-66.

Welp, there's my rabbit hole for the week. I've never heard of JOVIAL before, and it looks like there's lot of interesting stuff here. Thank you!

by hwayne 7y ago

Welp, there's my rabbit hole for the week. I've never heard of JOVIAL before, and it looks like there's lot of interesting stuff here. Thank you!

bdavis__ 7y ago

fortran with nice syntax and built in bit operations.

galangalalgol 7y ago
Nice fixed point types too. A fixed point all to the right of the binary point to represent angles asa semicircle was useful. Table ovelays are evil though. I'd rather have rust than ada for the functional lineage along with the performance, but the thin stdlib combined with the difficulty of getting a crates.io mirror certified clean of malcious code makes it problematic.
- Skunkleton 7y ago
  Not to say Rust is ready for prime for safety critical systems, but both crates.io and the standard lib are optional for Rust.
  - galangalalgol 7y ago
    I think it is probably closer to safety critcal than it is to the middleground of safety related, where the sloc hits millions so you want boost or a thick stdlib plus posix but its still controlled enough you develop airgapped and worry about number of library contributors, trustedness and mostly futile code inspections of entire libraries. Even for server backends the rust team has expressed concern about the security implications of having such deeply nested dependency trees with so many authors.

jlarocco 7y ago

Around 2008/2009 I was briefly (about 6 months) employed to write Jovial and 286 assembly language for software that controlled satellite communication base stations. Unfortunately I was laid off before I got to write very much of it, but it seemed like a neat (if cumbersome and old fashioned) language. Information about it is pretty hard to find, and there's no open source or free compilers that I know of, but here are some links I had saved. A 1980s style tutorial: https://apps.dtic.mil/dtic/tr/fulltext/u2/a142780.pdf https://apps.dtic.mil/dtic/tr/fulltext/u2/a142780.pdf The mil-spec: http://everyspec.com/MIL-STD/MIL-STD-1500-1599/download.php?spec=MIL-STD-1589C.014577.pdf http://everyspec.com/MIL-STD/MIL-STD-1500-1599/download.php?... An explanation of how it came to be: https://jovial.com/documents/p203-schwartz-jovial.pdf https://jovial.com/documents/p203-schwartz-jovial.pdf

kjs3 7y ago

While you're down there, you might as well check out Coral-66.