News for hackers. Stuff that matters.

A comment on Ivory: an embedded domain-specific language for safer systems programming. Parent comment

Re:Ivory: an embedded domain-specific language for safer sys... by isaachier on Sunday March 18, 2018 @03:53PM (#16613909)
Actually even the use of embedded here is somewhat ambiguous. Embedded as in devices, or embedded as in embedded within another programming language. I think it might mean the latter here.
[ Parent | on HN ]
Re:Ivory: an embedded domain-specific language for safer sys... by richdougherty on Sunday March 18, 2018 @05:57PM (#16614666)
You are correct. The first bullet point on the page defines what embedded means for Ivory.

> Embedded: Ivory is implemented as a library of the Haskell programming language. Ivory programs are written using Haskell syntax and types.

An "embedded DSL" is written inside a host language. It is different from a DSL which is parsed from characters using an interpreter or compiler.

I agree it's a confusing term in this context. I've also used the term "hosted". Wikipedia also suggests "internal". https://en.wikipedia.org/wiki/Domain-specific_language#Domai...

[ Parent | on HN ]
Re:Ivory: an embedded domain-specific language for safer sys... by wyager on Sunday March 18, 2018 @06:42PM (#16614925)
It’s both. Ivory is a Haskell EDSL for programming hard real-time embedded systems. Iirc they originally created it for a DARPA aerospace software contract.
[ Parent | on HN ]
Re:Ivory: an embedded domain-specific language for safer sys... by convolvatron on Sunday March 18, 2018 @04:12PM (#16614036)
but the text specifically says 'for interacting with hardware'. it would be instructive if there was a simple hardware interface example on the front page instead of just hello world and fib.
[ Parent | on HN ]