|
|
|
|
|
|
by eru
1383 days ago
|
|
|
Idiomatic Haskell would probably use eg Software Transactional Memory for concurrency; but that would be too high level for the kernel. A Haskell-like language for kernel development would lean heavily on linear typing. Some prototypes have been made and used. |
|
|