Anduril's Success, (trying to move the back and forth from the Commercial Haskell thread)

1

I’m trying to move my back and forth with @jazzlobster on Anduril and potential Ada-ification of Haskell from the important “How to grow the (commercial) Haskell user base?” thread, as I think it shouldn’t be distracting from productive conversations on important directions and projects for the Haskell community.

My last post there was: How to grow the (commercial) Haskell user base? - #167 by Liamzy

As an aside to the same conversation, I’d also bring up that Anduril, as a defense contractor, seems substantially Rust-based (I seem to recall conversations with Travis on Reddit to that effect): GitHub - anduril/lattice-sdk-rust: Anduril's Lattice Rust SDK

So, the comments about the conservativism of defense contractors isn’t necessarily accurate.

2

I have not worked in the defense industry, but in the automotive one.

There are laws and standards around software engineering and product processes (ISO 26262). You can’t just use an uncertified compiler for a safety critical system in automotive.

I’d be surprised if Haskell is directly used in any of such system other than as a C emitting DSL.

The “we have a type system” argument doesn’t cut it.

1 Like
3

Please introduce the topic clearly in your OP.
It seems it is not Haskell related per se, so I am closing it.

If I am wrong, edit your post appropriately and PM me.