Details
-
Aboutsomeone who likes wandering around
-
SkillsJava, Coq, Lean, C++, Haskell, Android, CS theory, Math, Archery, Star Gazing, Simply walking into Mordor
-
LocationDoriath
-
Github
Joined devRant on 11/3/2017
Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
-
I've been waiting for your April feature for some days now 😉
Keep it up 😅 -
To be honest, I hadn't imagined it'd go this far 😶
-
@SortOfTested not sure if I have enough skills, but for sure it's still better than my "personality" by far :D
-
@junon Niether I. I was referring to the @iiii's comment, which I thought you're talking about.
-
@junon I mean when you call x.f() you expect "x" to behave like a type that can do f(). Trying to explain what locking a type for a variable might mean here.
-
@junon exactly. you may have "locked" the type of a variable, by just expecting it to behave like a certain type. But if it gets the wrong type, you can't tell at compile.
-
@iiii "Class as a mold to cast objects" metaphor? Or as the course book calls them: "cookie cutter"
-
Maybe I should've made it clear that it's not an SO question ;-) It's just a rant with a little backstory.
-
@Root Easy: Learn it first. And that somehow depends on what you mean by master/apprentice. Of course I won't be a Python master in couple of weeks (or ever, hopefully :)), but I'm a dev and a dev is a master at reading the docs and searching SO. Personally I prefer the school system to make developers.
and common, I'm just an assistant, and the course is in the Physics program. I'm probably more of a Python master right now than the Physics professor teaching the course. -
@iiii Thanks, I know. Just wondering if a Java developer can still call this object-oriented.
-
@Root That's exactly what I'm doing. They know python almost as I know, I'm just better at learning 😉
And it's not that odd for me https://devrant.com/rants/3021219/ -
@SortOfTested Now I'm trying to tell just that to junior students.
-
While you at it Tim, would you please add my current status too?
-
@rooter 😅
-
@rooter I know, and I don't worry. I'm just saying it's far from the object oriented I know.
-
@RememberMe That's how I like it, TYPED.
-
Is this object oriented?
-
@valkn0t Yes, I'm a Java guy. But it's more than just typing.
-
I don't know Scala either, but at least it is statically typed :\
-
@SortOfTested Yes, it's nice. But it could also be done with lambda functions.
-
@junon lol thanks, I know! It's just the the weekly rant about the dumbest security bug you've ever seen. Arbitrary executables as screen saver and running them outside any session is definitely the dumbest I've seen. 😅 I can guess someone back in the MS had decided that their users' experience is more important 😂😂
-
You mean you're banned now? @bagfox == @bighike ?
-
IMO it would be way more interesting if you learn lambda calculus (and generally type theory) from the maths perspective, rather than programming,. And it could even be easier. Although good learning material out there is equally hard to find on both sides.
-
Guess you can now ascend to a higher dimension:
-
Trick THEN Treat
Only if you believe in material implication. -
@vintprox yes it's useless most of the times. But for this specific image, I just did that before I comment and it worked.
-
My quick feedback so far:
* It would be great if we could go to people's profiles from subscribed tab. I subscribed to some of them long ago and now I'm seriously wondering why I did 😅
* Or we could see and manage who we are subscribed to, like in a list. I can't quite remember now, but I guess this had been discussed before. I don't know if the new design makes this easier to implement or not. But I guess it would be very helpful now that the subscriptions have a more important role. -
If I recall correctly that was pretty old and Tim was also aware of that.
And I guess a simple image search will give you a lot of links. -
@mhzrerfani
البته همه از این جور وقت تلف کردنها دارن. من خودم بدتر از همهام. 😊 ولی همیشه میشه یاد گرفت. من مثلاً با
Lua
وقتی آشنا شدم میخواستم برای وارکرفت ۳ مپ بسازم.
درواقع به نظر من اصلا نمیشه برنامهریزی دقیق و معینی داشت و بهش پایبند موند. همیشه آخرش یه مقدار معینی وقت تلف میشه. ولی خوبه که ذهن آدم حتی خارج از برنامهی اصلیاش هم آمادهی یادگیری باشه. -
The most important part, I guess, is how much you enjoy your time learning new things. Coding is fun, and learning how to think like a programmer is awesome. But as a beginner, this might be not so obvious.
So some push forward can help a lot; Like taking some courses or asking a friend to help you. But remember that the single most necessary skill that any programmer must learn is "how to learn": That is, how to find the required resources for anything you want to learn, how to read what you need, how to find your mistakes and where ever you got stuck, how to just ask the correct people for help.
That's something you'll master only through practice; there's no one who can teach you "how to learn". No courses, no shortcuts. Just do it and don't give up! And after that, you can be a lone ranger in the internets and survive on your own! Commuting between documentations and stackoverflow. 😊
تازه بچه تهران هم هستی، خودش صد امتیاز داره 😉