airplane | 9 years ago | on: The Unsound Playground: Java and Scala's Type Systems are Unsound
airplane's comments
airplane | 9 years ago | on: IBM Watson correctly diagnoses a form of leukemia
https://en.wikipedia.org/wiki/Mycin
"it proposed an acceptable therapy in about 69% of cases, which was better than the performance of infectious disease experts who were judged using the same criteria."
airplane | 9 years ago | on: Pokemon Go API
I vaguely remember stories about game companies legally going after companies making bots.
Would uploading an API like this open someone up to a lawsuit? What about someone uploading a bot or a botting framework?
airplane | 9 years ago | on: Pokemon Go API
Also, does this API depend on running on Android?
airplane | 9 years ago | on: Programming Language Rankings: June 2016
airplane | 10 years ago | on: How the Jeans Capital of the World Moved from Texas to China
Perhaps these guys in the video run too small of an operation to have the costs spread around and to invest in tech to speed up the process.
airplane | 10 years ago | on: KindScript – A kinder JavaScript experience
airplane | 10 years ago | on: Announcing Rust 1.7
airplane | 10 years ago | on: Young Saudis See Cushy Jobs Vanish Along with Nation’s Oil Wealth
airplane | 10 years ago | on: Yahoo Said to Start Approaching Possible Bidders Soon As Monday
airplane | 10 years ago | on: Volvo recalls 59,000 cars over software fault
MISRA is not on the same level as DO-178. DO-178 covers a lot of ground, from testing, documentation, requirements, that sort of thing, and it's made by a government agency which enforces it during certification, where every single hardware and software component in the aircraft related to flight operations is certified individually. So you will actually have engineers from the FAA sit down and look at code coverage, how requirements are written, how they map to tests, see if the tests cover a lot of cases in your requirements, see if the code implements the requirements, that sort of thing.
MISRA on the other hand are treated like guidelines that car manufacturers generally want you to meet when you deliver them a vehicle component.
There is the Federal Motor Vehicle Safety Standards you have to meet on a vehicle as a whole, but I do not know if they have to prove that they meet the following during a formal certification process. http://www.nhtsa.gov/cars/rules/import/FMVSS/
So as far as I know, there's big approval process at the end for vehicles, while there's a formal certification process for all components in an aircraft, as well as a big approval process at the end for aircraft.
Someone please correct and fill in the blanks for the vehicle side of things.
airplane | 10 years ago | on: Scala 2.12 roadmap
airplane | 10 years ago | on: Scala 2.12 roadmap
airplane | 10 years ago | on: Scala 2.12 roadmap
airplane | 10 years ago | on: Tetris Written in Go
airplane | 11 years ago | on: The Java Ring: A Wearable Computer (1998)
airplane | 11 years ago | on: Russia wants to replace US computer chips with local processors
If I also remember correctly, subsequent backup auto pilot systems usually only do the basics, so they can't compare and contrast with the first main auto pilot system on a lot of different actions.
airplane | 11 years ago | on: Why Ada isn't Popular (1998)
not
"goto the next line of code if one of the previous points of entry in the lines above is called"
airplane | 11 years ago | on: Why Ada isn't Popular (1998)
- Complex language that isn't matched with an equally complex language standard (a lot of undefined behaviors or gaps where things are not explained as fully as they could be, but I don’t remember any specific instances, so maybe I'm crazy on this one)
- Too many situations with the syntax where you can do something only in certain situations, or the opposite. From what I see the only possible reason why in these bizarre situations is to lower the complexity of the compiler. For example, why can't I put a package instance in an array, when the generic package features are so strong that they can be pretty much (ab)used as object oriented structs. Try to search in Barnes' Ada book for terms like, only when, except when, however.
- Reuse of keywords that mean very different or slightly different things in one context versus another. An example would be delay, two lines of code might say delay 10, one actually means sleep the task for 10 seconds, the other means goto the next line of code if one of the previous points of entry in the lines above is called.
- The ability to tiptoe very easily around the safety mechanics of the language and start using it as if it was C, which is very tempting for two reasons: 1. Most programmers programming Ada were/are from a C background and the first things they pick up on are the ways to do things in Ada like you could in C while never moving on past that. It makes sort of sense to not move pass that if you aren't given time to fully digest the Ada way of doing things. 2. Takes less lines of code to program something up if you ignore the all the safety features that language can provide. I would have not allowed the ability to ignore all the things that make Ada stand out. It makes sense to not use Ada for any development, because programming C in Ada is going to be slower than programming C in C any day of the week.
- Hacked on OO. Can hardly find any Ada code online using OO language features added in Ada 95, but that makes sense because it's a bunch of keyword boilerplate on top of the existing records that's very unwieldy to use and ugly.
On the topic of Ada not taking off, I think one big reason why Ada can't take off the ground right now is that you can't find anything online about it. Try to search for some question you have, you'll find no answers, search the same question but pertaining to the Java or C version, and you’ll get a bunch of answers, blogs, even unanswered questions, Ada lacks that web presence greatly. Where are people going to talk about Ada and develop modern tools for it and frameworks in it if such places don’t exist? (comp.lang.ada is the only location on the internet with an active Ada community) It seems like that can only appear out of thin air if the language is new, where a sudden influx of many individuals feel like they can contribute where their energies are combined together, but if you get an individual here and there that wants to help out, but their energies are separated by one week or one month, then nothing for Ada will ever come about.
On the topic of concurrency, you may want to look into Ada on that too, concurrent structures are baked into the syntax of the Ada language, and can be quite complex/powerful/concise.
Can a language could resolve this issue without generics or some other contract feature (which Java did later add), or without limiting the scope of array definitions and their use?
May be good to note that Array<Dog> doesn't actually extend Array<Animal>, so there shouldn't be any polymorphic usage between them, and the return statement and method call scenarios are compile time errors with proper generics.