|
|
|
|
|
|
by eru
3624 days ago
|
|
|
> Now, a terminating and fixed-memory subset of Haskell a la Clash would be interesting for safety critical software... Definitely. I something think Haskell should treat non-terminating code the same way they treat IO: only allow it in portions of the code-base that are tagged somehow. If there's something that doesn't cause a side-effect, but the compiler doesn't know that, you can tell it with unsafePerformIO. If there's something that terminates, but the compiler doesn't know, (eg calculating the hailstone sequence for a number), there could also be a suitable escape hatch to be used with care. |
|
|