Hmm I think they’d be an even harder sell *without* a clear motivating pattern of use. People already chastise FP folks for making code needlessly baroque.
-
-
Prove a JIT and a garbage collector correct (and make them acceptably fast) and you’ll have browser vendors beating down your door :)
-
I've had a ( impossible?) dream for a while of a DTish subset of rust which isn't exposed in inter-crate APIs which allows the edges of a crate to validate inputs at runtime against a contract which allows safe indexing, dispatch, etc without runtime checks deeper in the crate
- 2 more replies
New conversation -
-
-
Agree with
@pcwalton. Niches for DT languages are "well defined infrastructure, very expensive when wrong, very hard to be sure when right". I.e. places they're already growing! Compilers, kernels, crypto, consensus, filesystems. But they do need to emit fastish (final) products. -
(Indeed as
@pigworker mentions re: Hofmann's work -- and his own -- there's space for stating and proving arbitrarily-precise properties of the _resource usage_ of a program in the types of a suitable DT system. Not the only horse in the race, but a promising application.) - 5 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.