5 ms·
In London there are plenty of Thai restaurants too, but I don't know how that compares with the proportion of Thais in the general population. There are also p
by DonaldFisk 8y ago
In London there are plenty of Thai restaurants too, but I don't know how that compares with the proportion of Thais in the general population.
There are also plenty of Japanese restaurants, yet very few Japanese. Many of them are run by Chinese who have learned to prepare Japanese food.
- M_Bakhtiari 8y agoAnd many more of them are run by Chinese who haven't learned to prepare Japanese food, unfortunately. By the way, are you the dataflow guy?
- DonaldFisk 8y ago> And many more of them are run by Chinese who haven't learned to prepare Japanese food, unfortunately. It's variable. There are some I'd avoid, but there are also some good Chinese-run Japanese restaurants. > By the way, are you the dataflow guy? Yes. I've had to move my pages (now at http://www.fmjlang.co.uk/fmj/FMJ.html http://www.fmjlang.co.uk/fmj/FMJ.html ). I've recently made major changes to the numeric type system, which now has a built-in Prolog interpreter and supports units and numeric ranges. I'm planning to add dependent types at some point but not soon. The system's still not ready for release.
- M_Bakhtiari 8y agoInteresting. I'd like to try to use a dataflow system like that for an industrial application (despite my name, not for uranium enrichment centrifuges, I promise). I'll keep my eye on it. Will it be released as open source or a proprietary product? Also, have you looked at the static checking of units of measure in F#? I find myself wishing I had something like that since I work with a lot of physical measurements.
- DonaldFisk 8y agoI intend to release it as shared source, i.e. charge only for commercial use. Units of measure in Full Metal Jacket are SI, similar to those in F#, but it also supports prefixes, e.g. 2.3mg expands to 2.3e-6 kg. The types and units are checked while the program is constructed in the IDE. At present there's no fully working compiler.