4 Programming Paradigms In 40 Minutes
Vložit
- čas přidán 20. 07. 2024
- One of the most important lessons I've learned is that programming languages are tools and not all tools are good for all jobs. Some tasks are easier to solve functionally. Some are clearly suited for OO. Others get simpler when you use constraint solving or pattern matching.
Let's go on a whirlwind tour of 4 different programming languages emphasizing different programming techniques: OO, functional, logical, and procedural. You'll leave this talk with a better understanding of which languages are best suited to which types of jobs and a list of resources for learning more.
EVENT:
RubyConf 2017
SPEAKER:
Aja Hammerly
PERMISSIONS:
The original video was published with the Creative Commons Attribution license (reuse allowed).
CREDITS:
Original video source: • RubyConf 2017: 4 Progr... - Věda a technologie
2:49 Objected-oriented programming w/Ruby
10:48 Functional programing w/Racket
19:46 Logic programming w/Prolog
32:08 Procedural programming w/Assembly
Thank you very much, you made my life much easier :)
thanks for your kindness
Tysm
thank you
Thank you man you saved my 40 mins ❤️
13:15 "math is not particularly interesting on its own"
*angry mathematician noises*
@@JinnGuild good
There are a select few who love math for what it is. Most love it for what it can do, or they "hate it".
After going through LISP and Prolog I was actually relieved when assembly came up!
I love this talk. She did a great job with this.
This was actually pretty fascinating. I kind-of want to learn a logic programming language now.
Object Oriented ones are the simplest imo
Try Haskell. You can basically do all the logic stuff Prolog can do (like pattern matching! Yay!) plus a lot of really neat functional programming things. It will break your brain in a good way.
Sam MacKinnon Yeah, I've learned a bit of Haskell, and got quite into the functional way of doing things. So you're saying it can be used as a logic programming language?
Yeah, I think if you take advantage of pattern matching, you can do a lot of the same things -- I took a course where we learned Prolog in the first month and a half and Haskell for the second half, and a lot of the Prolog logic ideas could be carried over and expanded on in Haskell. That being said, I clicked into the functional stuff more than the logic stuff, so it may just be that I understood Haskell better than Prolog :P
Sam MacKinnon Using Haskell as a logic language is less than ideal. While it looks like they have similar features, their fundamental understandings of computation is vastly different. If you really wanted to do logic programming with Haskell, you'd use the type system as a theorem prover, which it was not designed for. An illustrative example is Aphyr's "Typing the Technical Interview" post.
23:00 The :- in prolog is a logical implication from right to left, not left to right.
wow now it actually made more sense to me :) thanks
Oh, thank you! Now i understand the example at 31st minute
that’s right. “if A then B” means “A implies B”, not “B implies A”.
Long time ago, about twenty years, I had to solve the same problem with the same language (PROLOG) at the university. Many things have changed but I never thought to find the solution 20 years after.
Kind of appreciate C++ which doesnt force you to use a certain style and allows you to pick the best of each
You missed the opportunity to say "vs. Infix Postfix"
hahahahaha
That was amazing
Infix Postfix vs.
Missed or avoided
@@markstevens7699 Good question
If you are wondering what CS grads can do, this is one of the most prominent examples there is. They eat fundamental concepts for breakfast.
You must be from outside of California where jobs aren't in massive quantity for programmers. I see alot of programmers from CS degrees who simply dont have such basic concepts down. Sadly, I have known plenty of CS degree indivduals who sadly never took the time to do this and kind of just treated these classes like general ed (memorize and forget momentarily after test and semester)
@@theblackhundreds7124 true
@@theblackhundreds7124 Unfortunately, that is what at least 2-4 year schools I have had experience seem to do. They have a series of general criteria they want the students to learn, in a somewhat tight time-frame, and you test them for that. There is no emphasis on a deeper or better understanding, they leave that to the student (who usually doesn't feel the inclination to do too much extra with all the other large bits of course-work for other classes). I think how financial aid and government laid down dos-don'ts has gotten in the way for a lot of how these colleges operate, and not for the better.
But they utterly fail when presented with a real world problem to solve during a job interview. CS Grads are plagued by the illness of ivory tower thinking. It’s so comfortable up there, please don’t throw us in the cold water.
This is what they SHOULD be able to do... But most schools are too busy running up the tab on their student loans and indoctrinating them into the liberal cult to actually teach them.
Amazing talk! I totally didn't expect this. I didn't even know language like Prolog exists. Thank you. Learned a lot
I did know it existed, and I did know the philosophy behind how it's supposed to work, and I did try to learn/understand its basics some time ago... and failed.
This talk succeeded. :)
After watching this I feel more comfortable venturing onto other languages. I was always afraid it would somehow confused me and lead me to forgetting my primary language but now I see it will only make me better if anything especially if it is another style of programming
Unbelievably good talk. As a junior MLE looking to learn more about programming fundamentals she crushed it.
Really really well done. I watch a lot of videos like this and this one is a gem.
Indeed this is a true gem! Sadly most of videos which public sees are just “recipes” on language syntax or framework, whereas this presentation marvellously shows cross paradigm programming and unlocks your mind from being locked onto syntax. A++ ps. I also like Kevlin Henney s videos : he also looks at code in more profound and conceptual way rather than just syntax.
This is only from March, but I've referred to this video a number of times already. Great presentation!
I once saved a massive project by implementing 68K assembler's link instruction (learned on Commodore's Amiga) in CICS COBOL II on a mainframe to create a stack frame. The mainframe guys hadn't even heard of pointers, let alone realised that that was how the Linkage section worked, and COBOL II had just introduced pointer functionality so having 3 lines of code that solved their problem it seemed like magic to them.
train me
It is just the application programmer. System one used control block and reading dump all the time. Hence “pointer” is there in a sense, as Assembler is the language of s/360 from day one. But the c pointer is not.
@@kwccoin3115 Of course it was available in assembler but not COBOL. The linkage section works by pointers but it wasn't until COBOLII that you could use "set address of..." to use them yourself.
Wildly useful. Thanks Aja and Coding Tech.
Coding Tech did nothing but steal this video from some where else.
It's nice to meet you too, Bob. I hope you're having a nice day.
+Bob , there's something known as Creative Commons Attribution license.
@Bob It's called a curated list. And AFAIK Coding Tech never posts without authorization from the source if the license does not allow re-posting. And if you still want to piss all over the Cheerios you can go watch the original, it's linked to in the Description.
This chick has mad skills. I have a whole new respect for prolog. Awesome talk.
Thank you for uploading this video! It's really awesome and makes things very clear!
Loved this talk
13:10 "Math is not interesting on its own" I died inside lmao! Great talk though
Nice. That's the clearest explanation of Prolog I've seen.
This is such a clear-cut explanation. Awesome
The syntax to abstract concept is the key.
Excellent stuff! Thanks for sharing!
Excellent talk & pace, great stage presence, neat examples. Thanks very much 👍 Appreciated
I thoroughly enjoyed this talk. Some negative comments have been made but I don't think the intent of the talk was for you to follow every example completely and understand every detail. I think the intent is to show that different languages embody different mindsets when solving a problem. More importantly, you can learn new languages and think differently about solving problems and you should.
Interesting talk. Logic programming was pretty weird but I'm tempted to try it out.
It is mostly used for parsers or theorem solvers or modeling of non-deterministic automatons. And to be honest, it isn't really good for anything else. It is inherently slow, requires huge amount of RAM and it obviously has a significant mental overhead.
Already loving this talk.
After having an informal learning experience with code, it is very helpful in understanding the actual concepts of the language more in depth.
Reallys helps my understanding of C# and makes me more comfortable venturing into C++
This is one the best tech talks i have ever seen, thanks!
My biggest takeaway is I need to avoid languages where the number of brackets required for the most basic thing exceeds the number of fingers I have 😅
The biggest takeaway for me was that I need to confront more languages like that
at 33:38 I lost my shit.
The dude that says ahh in understanding was so unexpected
I didn't hear it until you pointed it out
@@tech6hutch but I did! :D
This is huge.
Near the first 10 minutes I had been doing a search on CAR and CDR. I got pretty much everything but what they said the acronyms stood for.
When that guy went "ahhh" in the background much later, it shocked me out of my stupor (mind on tangents) and I heard the echo of what he was responding to. Only because of him did I get to go back and catch what she had just ran past. The object of my heart's desire.
I programmed in assembly in college so it was familiar. I just didn't expect it to be mentioned in...was it Racket or Prolog...
bruh you got that shit cranked up
Where were you when i took my first comp sci courses in the late 70s!! Wonderful talk. I am keen to learn Prolog now.
Always hated math and scripts in highschool. Total 360 degree turn, obsessed with this stuff now, a beautiful and powerful art.
I think that what many people do not realize is that we *think* in the same way that LISP programming is done. It's actually IMPOSSIBLE to know that you are adding two numbers (in your head) without telling yourself that you're going to add two numbers. Therefore, the operator should come first. Even if someone grabs an arbitrary collection of numbers, and you tell them "okay, now add them", just by saying that have placed higher priority on the operator than you have on the operands.
interesting thought
I see your point but you do say: „a times b”, which to me sounds more like an infix way, rather than prefix („multiply a by b”). Obviously, whichever works for you :) - I just prefer to visualise infix operators as functions, eg. „add(a,b)” or „multiply(a,b)”. BTW, that looks quite similar to Excel formulas ;P
What a great talk, I know javascript but it gave me a lot of pain when I try to learn java and kotlin to build my first android app. Kind of miss the most fundamental different since I don't take any computer science degree.
Wow this was a lot to take in. She's cool for this one
Brilliant talk: I am going to use it to introduce law students to ideas about computation and programming languages.
This what I needed. Finally got something to comprehend these computer heavy terminologies.
I'm guessing there are a lot of Ruby programmers out there who either didn't go to college or didn't do so well there. It really explains a lot.
Very fundamental! Amazing talk!
Hobbyist with no formal comp sci background. Both func and logic look insanely fun to play around with. Def gonna try it out
What a cool talk.
Makes me want to learn LISP.
People say that it abuses the characters '(' and ')'.
They might as well say there is no other valid flaw. It must be good!
Racket is designed from the ground up to teach functional programming. It is the rename of PLT Scheme, which is inseparable from the DrScheme IDE, which is as much a tutorial app as it is an environment. I assume you know the relationship between Scheme and LISP. Symbolics Inc. and TI and Xerox used to make LISP Machines in the 80s, whose OS was in LISP in the 80s. I believe LISP or LISP-like code was embedded in their CPUs. I used to daydream about getting my hands on one of those.
@@casperes0912 All those parentheses are part of the power of Lisp. Lisp's syntax is very uniform, making it easy to write macros that generate Lisp code. These macros make up a large part of the power of Lisp.
I think the "that's not really OO" might have started me down the road to finding out about smalltalk/squeak/pharo/SuperCollider.
This video is fantastic - brief, informative, and providing extra resources to go in depth.
Fantastic video! I definitely want to learn more about Prolog!
Finally someone who could explain the weird origins of car and cdr.
god i love this video.... but damn that lisp language is ugly
great video, very informative
Thanks for this. It helped clear up a lot. Great presentation.
Wow! Amazing speaker. I hope she does more
Awesome, fell in love with prolog
I'm in love. That was amazing :)
I use assembly on a regular basis - now get off my lawn, kids!
These whippersnappers will never understand the glory of assembly with their new-age techno languages like C and FORTRAN
@@moonbeam2926 omg man, thanks :D top
@@moonbeam2926 Luxury... When I was a lad, I had to assemble my own binary before I could use it.
You aren't a real programmer unless you physically switch the transistors into the configuration of the code.
bro, I remember using stones and seashells to program. those were the good ol days.
I wrote an assembler for nand2tetris assembly. One of the coolest assignments I've had to do.
Ultimate lecture!!! Ma'am you rock - reminded me of my CS307 course at UT.
( loved that course). Your lecture Bought back memories of my undergraduate studies at UTCS before I 'chickened' out to UTECE. ( pan to fire).
But UTCS forcing me into polyglotism made me better Computer Engineer.
Being in EDA requires you to be a polyglot.
That was excellent! Wish I saw this before some of my college courses.
It's really nice of her to use modern languages. That makes this video digestible for even the beginners.
Jokes aside, I find this really interesting but I'm obsessed with learning new languages, I would have assumed that most people would be turned off from the talk with such obscure languages used for the examples.
EXCELLENT TALK ! ! ! REALLY HELPFUL ! ! !
THANK YOU AJA ! ! !
Thank you for sharing your knowledge and thought process :)
In the first example, wouldn’t it be more efficient to put a loop around each currency denomination, breaking out when the denomination is greater than the change owed, rather than having one really big loop that goes through a whole bunch of conditionals each time?
This is an excellent talk - well presented and fascinating. The speaker is great and has a nice sense of humour. If you're serious about programming you should definitely watch it - even if you've touched on the topics (see "The Red Willow" below) previously.
In lisp, "car" stands for "contents of address register" and "cdr" stands for "contents of decrement register."
From the register names in the IBM model 704 on which LISP was originally developed. Incidentally FORTRAN was also written for the 704 and it's instruction set weirdness accounts for the odd way memory was laid out in original FORTRAN and for the notorious 3-way branch.
@@davedaley9093 It's been so long that I had forgotten about those! Thanks for the trip down amnesia lane! ;)
Before this talk, I was afraid of functional programing... now I'm also afraid of logical and procedural.
Procedural is just how any sane person solves tasks - top to bottom. It's just PURE procedural/functional without much abstractions is hard to wrap your brain around.
'Assembly... Very very limiting'
Have just remembered my study times when I had to solve problems in Post Machine language... Believe me, assembly is a very very syntax rich language ))
very useful talk. she did a great job
I like her presentation style, he organization, and that she's a cat person.
Great talk, very captivating
Awesome talk. I learned a lot :-D
Shit, what an interesting talk. I wish I was there.
But then again, I'm glad I'm not in New Orleans, lol.
Lol
This was a great talk. Kudos.
I was educated in machine code, assembly, basic, c, b, fortran, cobol, and cpp. I've sent things to space and made machines interact with humans in physical and direct mental ways.
I understand why we need higher level languages and object oriented programming, but the fundamental problem of the "task at hand" getting beyond the brain of the programmer remains.
The technological singularity is probably the moment we program the perfect programmer.
But we can't have the perfect programmer until we have the perfect language. And by language, I mean human language, not programming language. From that, all else should be a trivial exercise for the common reader. We need a new language, one that is perfect, without ambiguity.
It's just around the corner, we are almost there. This is scary, to be honest.
I sure hope the TS is our servant, and not our master.
Agriculture and domestication of animals was an order of magnitude advance for mankind. The industrial age was 2.5 orders of magnitude advance. The TS is an infinity power advance. We can't even imagine what the exponent is.
Godspeed, fellow humans. You've been given an incredible beyond belief blessing, if you can keep it in your control. Make sure you always control it!
xu do se bangu la lojban
@@Twisted_Logic I fully agree!
@maxmakman2682 I moved into a remote mountain homestead 1 year ago. That probably tells you everything.
Thank you. Great talk.
Somehow ruby syntax draws me off. I know I shouldn't be so serious about syntax, but programming languages are primarily designed to aid humans.
in the functional programming part. she taught the lisp how the Sicp teaches scheme, pretty reminiscent. loved it
Fantastic upload!
This is awesome!
I think I want to learn Prolog... ugh. Great presentation.
I'll never understand why people usually study a primary discipline with multiple languages. I mean, I get that each language is based on a more appropriate paradigm. But I think learning languages is a secondary thing, that you do based on your needs. You just have to understand in first place what means object oriented, functional, logic and procedural programming, not the languages themselves. That's why I teach Programming Paradigms in Python, which is "multi-paradigm" and easy to learn. Logic programming is the only paradigm we approach with other language, PROLOG.
Not bad. Especially about Prolog. Thanks
why storing cets as floating number is wrong? Does it have to do with dynamic memory allocation?
It's because 1/100 is a repeating fraction in binary and cannot be added exactly. After repeated multiplications and additions the machine can lose or gain a cent.
12:22 - 13:13, if you just think of (+ a b c d .....) as add(a, b, c, d......), it's not that bad.
nice. I hope one day I can understand everything she is saying
29:48 the prolog code is wrong. The recursive call in the second clause must have R instead of [F|R], because when you put F there, it allows you to "re-use" a coin that has already been deposited. The way it is here, ?- change(5, [2,1,1,1], C). gives you C=[2,2,1], so two 2s, although there was only a single 2 in the available coins.
By the way: this also works with 2 lines less:
change(0,_,[]).
change(S,[F|R],[F|X]) :- change(Q,R,X), S is F + Q.
change(S,[_|R],X) :- change(S,R,X).
(it is slower though, because it goes through all sub-lists and selects all that have the right sum).
40:36 THIS.
I mean... thanks, the talk was great, I finally understood the basics of prolog, but... 40:36 THIS... Info about this book existing was such a huge, HUGE BEAUTIFUL GIFT for me... thank you...
omg prolog is awesome as is this girl :)
nice lecture for quick review
Hi there! noob over here, still studying OO (C#).
I've always used float variables to save data like money, or any floating numbers that aren't really large.
I've noticed some of my professors use double instead, but they said it's basically the same thing and not to worry about it for now.
I'd like to know why is it a bad idea to use float in the situation described? (saving an amount of money) and why is it better to use int instead of float or double?
Thanks!
Well I'm no expert myself, but I guess there are two reasons:
First, floating point numbers have rounding errors due to their binary representation. For example, in most languages, 0.1 + 0.2 = 0.30000000000000004. This isn't very good when dealing with money: someone would probably find a way to create money from nothing with errors like these, and imprecision is anyways not acceptable in this case.
Second, it takes up more room. You will never use more than two decimals with money, and pretty much all floating point types have more decimals, so it is a waste of memory. With integers you can use the memory allocated to your program more effectively.
There may be more reasons, but these seem sensible to me.
@@joelkronqvist6089 You might want to use more than two decimals for money in a number of cases. Floating point values don't really have "decimals" in that way. They are represented in the form sign * significand * 2 ^ exponent. In a single-precision float the sign is 1 bit, the significand is 23 bits, and the exponent is 8 bits, for a total of 32 bits.
But yes, the main reason is that floats (unless they're special floats with a base of 10) can't represent every value we might need to store, such as 0.2, and when dealing with money you have to be exact.
This prefix thing looks weird but kinda grows on you have a few minutes.
The first ruby program was quite messy> I had the same for a coding interview and I did it in a while loop with an if else if statements and its way easier.
Nobody cares... damn!! Show offs... as long as everyone gets the message, dey cool with it ok.
But what happened @39:00 when the sound was "cut"?
Philip Alexander Hassialis We will never know.
The answer to the logic programming joke is 'Yes'. 'No' implies that there are no logic programmers who can screw in a lightbulb. 'Yes' implies that there is at least one answer to the query, and that the query itself was malformed in the first place, as the query *should* be something like, "?- logic_programmers_needed_to_change_lightbulb(X)."
i thought she said None
Query Delacroix ohhh thank you
Why is that example for OO a bad example? What was the best thing that could've been done?
Cause she just wraps a procedural solution in a class no other objects no messages being passed, etc. Basically the problem domain is too small to make use of the usefull ideas of OO. You would need to model the whole supermarket to demonstrate OO properly
This was the missing piece that helped me understand infix and prefix 💯
Prolog seems super cool. It seems to work like my brain.
wow. I learned ruby in one lecture. haha
Correct me if I am wrong but the last example must be some form of quasi assembly? Or is it corresponding to a real architecture?
As real as any abstract architecture can be, I guess. It's for the (educational) nand2tetris hack computer - it's been implemented in hardware in a number of ways, but it's not manufactured by anyone (AFAIK) if that's what you're asking.
Isn't SICP the book kinda obsolete?
The original MIT course 6.001 is switched to python long ago.
It really isn't obsolete. I'm not sure anyone really understands MIT's reasoning for switching to Python beyond the fact that it's currently popular and Scheme isn't; but Scheme is still a very powerful and useful language that does a better job demonstrating the relevant concepts than Python ever could.
You're really smart haha!
Ruby sounds cool from a perspective of loving python and javascript but not so much C
Ruby is pretty neat. I'm a Python dev, but I had to use Ruby on Rails for one of my projects. It was quite easy to pick up the basics and get comfortable with it in a short amount of time.
awesome awesome video.
The make-change function in Racket broke me, I mean the whole point of the function is to return a list with the change we're giving back to the customer, but the function she showed just keeps recursively calling itself with a decreased value of x, until eventually x reaches 0 and the function returns an empty list!
Please correct me if I'm wrong
At each step of the recursion, it concatenates the current denomination to the list being built recursively.
For x = 2500, the recursive calls would produce (cons 2000 (cons 500 ('[ ])) or [2000, 500]