|
Presumably you never heard of a proper strong, dependent typing. I never had to debug my Coq or Agda code - if it compiles, it works, and it is *proven* to be correct. Why debugging then?
|
|
|
|
|
I agree - the biggest issue I have with Ruby is the duck typing, it's really easy to get oneself in trouble and it results in bad architecture (actually, no architecture). I really miss strong typing and good design practices (mainly interfaces and inheritance) that are simply missing. It doesn't mean that one can't do those things in Ruby, it's just that they're not typically done.
I just started looking at WebSharper[^], mainly out of curiosity, and it's interesting that they can convert F# to Javascript. Some interesting possibilities, and it's more in the direction that I'd like to see code being written - write in some common language and use the damn computer to generate the JavaScript. Seems like we're not using our tools to their fullest capacity, but that's nothing new.
Marc
|
|
|
|
|
morzel wrote: Part of it is JavaScript code and the other part is C#
at least there is no XML
|
|
|
|
|
I'm a C++ coder. Aside from a quick note that C# code doesn't distinguish between namespace and class member stuff (always that single dot to divide things, instead of a nice :: ), I feel your pain.
Yet, I understand why javaScript (and php) are weakly typed. Ultimately, as a web page, everything ends up as text. It does make sense if you consider that much of what one does ends up, eventually, as HTML - crudely one could argue it has only one type, which is text. So, although the typing in a strongly typed language makes undocumented maintainability more evident - if one ignores overloaded functions - I understand why one would move to the other side and eliminate casts and conversion.
PHP, for what it's worth, does have their === operator which is, by-and-large, a way to do some strongly-typed comparisons.
There's a place for weakly typed languages - it's a specialization with a place.
"The difference between genius and stupidity is that genius has its limits." - Albert Einstein | "As far as we know, our computer has never had an undetected error." - Weisert | "If you are searching for perfection in others, then you seek disappointment. If you are seek perfection in yourself, then you will find failure." - Balboos HaGadol Mar 2010 |
|
|
|
|
|
the point is beginners rarely never follow tutorial whose subject is "refactor this 100 000 LOC project"
It's harder to appreciate strong typing from the beginner point of view.
For the one that already lost its hair once, the advantages are crystal clear.
|
|
|
|
|
Nicolas Dorier wrote: harder to appreciate strong typing from the beginner point of view
Unrelated, but that reminds me of when I was just learning BASIC -- using floats (x) and heard about integers (x%), and thought, why would would I want to use an integer when the floats work just fine?
|
|
|
|
|
That was a good question :p
I guess you understood when it bit you the hard way because, in some odd condition, (a / b) * b != a . Then you started to appreciate the beauty of integers :p
|
|
|
|
|
Nicolas Dorier wrote: the beauty of integers
And recognized the ugliness of BASIC. That was once I started learning Pascal.
|
|
|
|
|
2nd law in thermodynamics (physics): it's getting sucker ...
modified 18-Oct-13 15:51pm.
|
|
|
|
|
I know this will incur the wrath of many, but client side js has always struck me as the playground for amateurs. Professionals are forced to deal with it and it's possible to write solid, clean js code, but most of what you see on the sites out there is both sloppy and ugly. Error handling seems to be an alien concept and single character variable names are the de facto standard. I can't remember the last time I had a browser up running a debugging session on my own stuff, popped up another tab to go somewhere, and didn't see a boatload of complaints about all manner of stupid and obvious things that no one even bothered to test for.
Add to that the fact that once you're on the client side you're basically in IfDef Hell trying to cope with the flakiness and inconsistency of a gazillion browser versions and it's not exactly what I'd call programmer's utopia.
I do web development because it pays money. It is, nonetheless, a crappy environment to code in. Client side js stuff just makes it worse.
|
|
|
|
|
Sounds like someone needs a good break from programming.
Pick up John Gardner's "Freddy's Book". More evil, but less JavaScript and/or C#.
|
|
|
|
|
I was surfing around the web and came across this french website[^] by Denis Dollfus. I just thought it would be hilarious to port this application to a tablet PC with touch screen, and let the cat play the shark. It should keep it busy for a while
I ported the code to WPF VB and you could download that here[^]
|
|
|
|
|
|
Well the AI in the fishes is sometimes more intellegent than the people visiting the Q&A. At least the fish try to stay away from the shark....
I think the net has enough pussy cats on it!
|
|
|
|
|
Well, now I need to port it to Java or Objective C. Windows is the only tablet I am not running at home for development. Also, I have two cats who use my iPad more than I do.
|
|
|
|
|
I wonder, is there anything left of the iPad after the cats have gone nuts on it?
|
|
|
|
|
Cat claws are made of the same stuff as our nails, so not a single scratch yet. The real damage is to the carpet under the tablet when they try to figure out where the stuff went after it goes off one side or another. We have had them flip it over a few times trying to get underneath it.
We currently have a game that has a few modes. A mouse that scurries and squeaks when they bop it, a spider which makes "insect" noises when it moves, a fish that makes swimming noises and splashes when bopped. Plus it has a painting game that is the same as the mouse, but leaves colored paw prints wherever they hit it and smears when they drag their paw. Then it allows you to save the image. I haven't gone that far yet.
|
|
|
|
|
I didnt think thouse programs existed, but was I wrong I see. As long as their games dosnt involve buying cool addons I guess its ok
|
|
|
|
|
Fortunately for me, the one we have does not include in-application purchases. Although that does give me a cunning plan, I need a way to deliver virtual catnip via IAP.
We actually picked it up when we got our second cat. Turned the game on, put the tablet on the floor and they forgot about the fact that a cat they had never met before was sitting less than a foot away... and both proceeded to work on killing the mouse.
A friend of mine and his girlfriend foster cats for a rescue shelter, they use the same game to help new fosters relax and feel more comfortable. Nothing worse than a stressed cat in a new environment. Not good for their health and usually not good for yours either.
|
|
|
|
|
Like click the mouse to purchase a new items You'll make a fortune...
Now all they need is a Windows tablet, and the program
|
|
|
|
|
A friendly word of advise from a fellow cat owner servant: keep close watch on your credit cards.
BDF
The internet makes dumb people dumber and clever people cleverer.
-- PaulowniaK
|
|
|
|
|
Hah, cat you if I can.
Sorry, started early on the booze today
|
|
|
|
|
Hey, enable the web cam so she can create and upload her own cat videos and you may just have a hit on your hands!
|
|
|
|
|
Ehhm, Im pretty sure you have violated some of the Lounge rules by this.
|
|
|
|
|