|
|
|
|
|
|
by dllthomas
4451 days ago
|
|
|
I think the "define a strict, branchless DSL" approach is the right one, if you're going with Haskell. Then use the type system to ensure that only that stuff can touch key data. No problems with laziness or timing attacks, if the core of that is implemented correctly. |
|
|