Programming Loops vs Recursion - Computerphile

Sdílet
Vložit
  • čas přidán 29. 06. 2024
  • Programming loops are great, but there's a point where they aren't enough. Professor Brailsford explains.
    EXTRA BITS: • EXTRA BITS: Loops, Ack...
    The Most Difficult Program to Compute?: • The Most Difficult Pro...
    What on Earth is Recursion?: • What on Earth is Recur...
    Reverse Polish Notation & the Stack: • Reverse Polish Notatio...
    / computerphile
    / computer_phile
    This video was filmed and edited by Sean Riley.
    Computer Science at the University of Nottingham: bit.ly/nottscomputer
    Computerphile is a sister project to Brady Haran's Numberphile. More at www.bradyharan.com

Komentáře • 1,1K

  • @smergibblegibberish
    @smergibblegibberish Před 6 lety +3623

    I love the way loops were animated in this video. I've never seen it done that way.

    • @Computerphile
      @Computerphile  Před 6 lety +293

      +smergibblegibberish thanks >Sean

    • @pagola
      @pagola Před 6 lety +13

      me too

    • @MrMrEvin
      @MrMrEvin Před 6 lety +63

      Im not even a programmer and that made sense to me

    • @nadadada3938
      @nadadada3938 Před 6 lety +47

      When they were animated like that, I realized I always seem to look at loops like that.

    • @MechaOrangeStudios
      @MechaOrangeStudios Před 6 lety +67

      That's the most intuitive way to explain it and actually shows why they're called loops

  • @BeCurieUs
    @BeCurieUs Před 6 lety +2448

    The depth and breadth of Professor Brailsford's computer science, logical and philosophy pedagogical ability is really astounding

    • @Puzomor
      @Puzomor Před 6 lety +13

      Christopher Willis I resent a video of him explaining why HTML is better than C. Apples and oranges 101...

    • @BeCurieUs
      @BeCurieUs Před 6 lety +14

      Not sure I know that video. Do you mean this one? -csXdj4WVwA Cause if so I don't get that vibe from it, more that HTML is strong is some ways and weak in others, which is true of everything! But if its some other video I would like to watch it :D

    • @AySz88
      @AySz88 Před 6 lety +19

      At first, I thought this was a tree traversal joke (both depth-first and breadth-first traversal are much easier when thinking recursively than with loops).

    • @aaro1268
      @aaro1268 Před 6 lety +11

      I actually thought this video would express an opinion on iteration versus recursion, and was pleasantly surprised to receive an overview of the history of recursion in programming languages. For all but the simplest recursive functions, iteration is necessary to avoid stack overflows. Don't forget to memoize or you'll be waiting hours for large fibonacci numbers or factorials.

    • @jtveg
      @jtveg Před 6 lety +6

      Christopher Willis
      This professor's knowledge of computer programming history is just awesome to listen to.

  • @chrismcgee2211
    @chrismcgee2211 Před 6 lety +479

    I love his analogy about running recursive functions with only one stack frame in FORTRAN: "tramples in its muddy gum-boots over ALL your data area and you end up with total garbage!" Brailsford is the best.

    • @pagola
      @pagola Před 6 lety +6

      englishmen

    • @RecklezzMusic
      @RecklezzMusic Před 5 lety +1

      I love the topics this guy presents. =D

    • @KnakuanaRka
      @KnakuanaRka Před 4 lety +2

      Yeah, I loved that line.

    • @AlanCanon2222
      @AlanCanon2222 Před 3 lety +2

      I'm sitting here as a Kentucky born speaker of English, hearing that line, and reflecting, "Yeah, computer science did start in England, didn't it?" (This Kentucky boy has traveled to Bletchley Park).

  • @ryanaiden
    @ryanaiden Před 3 lety +44

    My old IT teacher told us to look up the definition of recursion in his IT lexicon. We checked the index at the back (that wasn’t numbered itself) and it had a number for the page recursion could be found. We started paging through from the middle only to make our way back to the same page…

  • @kkakroo
    @kkakroo Před 5 lety +3724

    To understand recursion, you must first understand recursion..!

    • @onjofilms
      @onjofilms Před 5 lety +99

      Or watch the movie Inception.

    • @giwatech3330
      @giwatech3330 Před 5 lety +120

      You got exit condition missing. Stack busted.

    • @Cynthia_Cantrell
      @Cynthia_Cantrell Před 5 lety +45

      I'm still working on understanding cursion.

    • @Deschutron
      @Deschutron Před 5 lety +8

      I can understand it if part of it is simple and I understand the rest of it.

    • @MrTega1975
      @MrTega1975 Před 5 lety +15

      or place a mirror in front of another

  • @Anonymous-nj2ow
    @Anonymous-nj2ow Před 4 lety +176

    when an OG like this talks about recursion, you watch and listen

  • @esond
    @esond Před 6 lety +222

    This video had some excellent and illustrative animations. The "nested loop" animation was super cool. Cheers to the animator!

  • @josemvacar
    @josemvacar Před 6 lety +658

    11:27 - "...and if you don't get things sorted out correctly then \*prff\*..." - I completely agree.

  • @doresearchstopwhining
    @doresearchstopwhining Před 5 lety +569

    This guy should narrate nature shows. He's like the David Attenborough of mathematics.

    • @brunodosreis
      @brunodosreis Před 2 lety +15

      Yes, but there’s already enough about nature. We need more mathematics.

    • @carbrickscity
      @carbrickscity Před rokem +5

      More like computer science. This is computerphile anyways. He is not an official mathematician.

    • @davecrupel2817
      @davecrupel2817 Před rokem

      @@brunodosreis Agreed.

  • @TheCALMInstitute
    @TheCALMInstitute Před 5 lety +168

    These videos are amazing and this guy is a treasure. Thank you, and him, so much for putting these up! There is so much noise in compsci, and so many folks who want to prove their intelligence by making subject matter harder than it has to be - it's refreshing to see somebody who knows it well enough that they can explain it like it's simple!

    • @daniellewilson8527
      @daniellewilson8527 Před rokem

      Agreed. Recursions being a loop in a loop makes sense to me. That description is recursive, I think, where a loop is the base. Did I get it right or not? If not, please correct me.

  • @AlbatrossDude
    @AlbatrossDude Před 6 lety +26

    What a beautiful time we live to have a lecture of this amazing human being avaible at any time and anywhere in the globe! I wish he was my grandpa, I would be alredy a good programer when a kid! Thank you so much for this master piece whoever is responsible for that!

  • @MrCOPYPASTE
    @MrCOPYPASTE Před 6 lety +9

    Just to say that I'm proud to be part of this band wagon, where I'm just constantly baffled with the ingenuity and humbleness that resides in science that helps me and others to hopefully build better tools that can improve our society. Thank you for your time, passion and kindness.

  • @frankindude
    @frankindude Před 3 lety +9

    I thoroughly enjoy this professor's talks. He has an amazing grasp on both the subject matter and ability to explain things.

  • @valuedhumanoid6574
    @valuedhumanoid6574 Před 6 lety +29

    Fortran 77 was still what I used in the 80's in high school. I can remember writing a program that would calculate how many days old you were based on your birth date. Now that may not seem like a lot, but considering leap years and the odd number of days actually in a year (it's like 365.25) it was quite the feat. I can remember at the end of class saving my work to this huge IBM floppy that was like 10 inched in diameter and putting it in a special storage vault that was grounded and static free. Ah..back in the day...

    • @corsicanbread7276
      @corsicanbread7276 Před 3 lety +7

      Impressive!! Especially in such a low level language as fortran

    • @ishansinha1336
      @ishansinha1336 Před 11 měsíci

      what do you do now a days ?

    • @valuedhumanoid6574
      @valuedhumanoid6574 Před 11 měsíci

      @@ishansinha1336 A mouse and Windows 10. That's it. No computer programming for me

  • @LukiaTheTrue
    @LukiaTheTrue Před 6 lety +27

    Love the vids with you Pr. Brailsford, you remind me my philosophy professor, like a giant pile of knowledge and wisdom. I could hear you all the day.

  • @xplinux22
    @xplinux22 Před 6 lety +1

    Excellent episode! I learned some new things about compiler history with this one, and Professor Brailsford's fantastic level of precision and clarity of thought makes this video so enjoyable.

  • @BeCurieUs
    @BeCurieUs Před 6 lety +312

    Also, binary search tree's are often a real world example of a good place to do recursion

    • @ChrisLeeW00
      @ChrisLeeW00 Před 6 lety +25

      I couldn’t imagine how painful a google search would be without recursion and BST structure

    • @garryiglesias4074
      @garryiglesias4074 Před 6 lety +18

      Parsing (as mentioned) is PURE tree walking (nested, many times)... Parsing is one of the heaven for recursion.

    • @ThisWorldOfEpicness
      @ThisWorldOfEpicness Před 6 lety +21

      Chris LeeWoo That’s... Not how google works

    • @tetrabromobisphenol
      @tetrabromobisphenol Před 6 lety +8

      The function to follow or create the tree need not be recursive.

    • @Dante3085
      @Dante3085 Před 6 lety +2

      Yes, you could use a stack to cache the alternate routes and do them later.

  • @neonz2712
    @neonz2712 Před 4 lety +14

    I loved the demonstration of a nested for-loop. Beautiful imagery.

  • @bariswheel
    @bariswheel Před 6 lety +1

    I love this historical narrative of concepts and algorithms, what a fantastic idea to capture these in conversation and put them on CZcams, thanks for sharing.

  • @soraaoixxthebluesky
    @soraaoixxthebluesky Před 3 lety +6

    Those who animated the video deserve a raise.

  • @nO_d3N1AL
    @nO_d3N1AL Před 6 lety +5

    It's always interesting to see how things evolved in computer science. Also glad you asked about a real-world "Ackermann" equivalent

  • @carlb3715
    @carlb3715 Před 5 lety +3

    This is truly fascinating to listen to. I would love to attend his lectures, even casually.

  • @gggfx4144
    @gggfx4144 Před 5 lety

    I have watched so many videos since discovering this channel; fascinating. It's incredible how early in time very advanced features of programming languages were conceptualised/invented

  • @immortal_coil
    @immortal_coil Před 6 lety

    It's always a great pleasure to listen to Professor Brailsford!

  • @josephfatur1747
    @josephfatur1747 Před 6 lety +353

    256 nested loops in C++... I've often wondered how many inner loops Eclipse ( Java ) could stomach....I become gunshy at just three or four.
    I like this old guy. I want to be in HIS class. He probably actually knows an instruction set, or two.

    • @dannygjk
      @dannygjk Před 6 lety +82

      Java should be illegal.

    • @John-Smith-999
      @John-Smith-999 Před 5 lety +47

      @Rooflesoft Games why? It makes perfect sense and is done all the time

    • @policy308
      @policy308 Před 5 lety +64

      Slow compared to what? Java isn't slow.

    • @John-Smith-999
      @John-Smith-999 Před 5 lety +131

      @Rooflesoft Games ok, so... Java is a general purpose programming language. The programs run inside something called a 'Java Virtual Machine' or JVM which allows the program to be run on different types of computer. These JVM's are incredibly well written to the point where a typical program can run at almost 'native speed' (That is the speed an equivalent programs would run if it were written specifically for that machine). Java's biggest critics tend not to like the language much, but do like the JVM. Consequently there are a raft of newer languages that also run on the same JVM. If you want to Google them you could start with Scala, Kotlin, Groovey, Jython. There are more.
      Microsoft's C# runs in its 'run time environment' which is similar to a JVM. It's not as portable, but that isn't a problem as there isn't the same requirement that it should be. The C# run time provides the same memory management functionality as a JVM and faces similar issues. Equivalent programs written in C# and Java run at comparable speeds.
      Do not confuse Java and JavaScript - although the names are similar they have nothing in common. JavaScript is really just for web applications and normally runs inside a web browser. You would be right to say JavaScript is slow in comparison to other languages, including Java or C#. That said, It does what it does well enough for most users.
      I hope that sorts the confusion out

    • @John-Smith-999
      @John-Smith-999 Před 5 lety +42

      @Rooflesoft Games you are right in saying that this is a 'historic reputation'. The complaints you make have not been true for almost 20 years. JIT technologies have largely done away with interpreting byte codes. Ironically the greatest payoff for a JIT would be for nested loops! The garbage collection algorithms have also been rewitten several times and have long since eliminated the problems you describe. If you don't like garbage collection cutting in then you would have to use a much older language, for example C. This is because all modern language, including C#, have automatic memory management.
      JavaScript does still have these problems, but that is another story.

  • @nonomnismoriar9601
    @nonomnismoriar9601 Před 5 lety +5

    I love watching Professor Brailsford videos, he makes me appear super knowledgable at work when we have a tech problem and I take everyone back to (first) Brailsford Principles

  • @koushikrakib7605
    @koushikrakib7605 Před 5 lety +6

    I love when the Professor talks! everything seems understandable :)

  • @teh_jibbler
    @teh_jibbler Před 6 lety +1

    This dude is a treasure-trove of knowledge. Keep making these videos, please.

  • @DsiakMondala
    @DsiakMondala Před 5 lety +12

    Those circles are the most perfect representation of a loop I ever seen.

    • @21ruevictorhugo
      @21ruevictorhugo Před 3 lety

      Hmmm. That’s just how they always looked in my head. I miss programming.

  • @Rsharlan3
    @Rsharlan3 Před 3 lety +4

    In my CS program in college, the intro courses were taught in a functional language called Scheme. I thought it was bonkers at the time. But over the years, I've realized that recursion is the more essential way of viewing problems. If you can solve a problem recursively, you truly understand it. Then you can transform the solution into iterative style trivially, if you need to (like if you're in a language without tail call elimination, etc.).
    I wish I knew how to explain this to new graduates.

    • @atlaslife3800
      @atlaslife3800 Před rokem

      I find that recursion really forces you to think about the full state your system is in at each iteration in a loop. You have to manage not only the counters, but also keep track of accumulators and the transformations from state to state in a more hands-on way than just letting the language set a variable and run with it. When I write the loop in a tail recursive style, I often find that the operations I was making could be rewritten in a clearer way, or even some optimization could be done at the transformation stage to make the unfolding statement be much more concise. This awareness is what I miss the most when writing loops.

  • @zimbit
    @zimbit Před 3 lety

    What a gem - I must look up more of this wonderful man's work!

  • @finkergamer8557
    @finkergamer8557 Před 3 lety

    It is fantastic feeling to finally understand something. As it is with this channel after years of my studying.

  • @igNights77
    @igNights77 Před 6 lety +5

    Excellent animations in this video, as always.

    • @Computerphile
      @Computerphile  Před 6 lety +1

      +igNights77 thanks, I appreciate that! >Sean

  • @StephenFarthing
    @StephenFarthing Před 6 lety +17

    When I was a baby programmer in 1973 (Lanchester Polytechnic, Algol 60, ICL 1903) I discovered the joys of designing on 132 character fanfold stationery. It’s refreshing to see that “real” programmers still use it. Anyone know where I can buy a box in the UK? I code for fun nowadays using eight and sixteen embedded system bit chips, no operating system, and it’s interesting to see how many of the tricks we used back then are still useful today. I still much prefer to write code on paper and think it through before I type it into the IDE. And wide fanfold stationary is just the thing!
    I love these lectures by the way. Always something new to learn!

    • @Computerphile
      @Computerphile  Před 6 lety +7

      +Stephen Farthing great stuff! I got the paper from here: www.paperstone.co.uk/paper/listing-paper-computer/computer-listing-paper-1-part-11-inch-x-389mm-white-green-ruled-box-2000-sheets/p-25782

    • @gggfx4144
      @gggfx4144 Před 5 lety +2

      Realise this was a year ago but some of the big stationers in the UK like Ryman and Staples may stock it online - I was looking at buying about 6mo ago

  • @swiftfox3461
    @swiftfox3461 Před 3 lety +1

    I love Professor Brailsford, he's such a captivating educator and speaker.

  • @beck64
    @beck64 Před 5 lety +2

    That explanation of Fortran recursive calls trampling existing data and producing garbage was beautifully illustrated.

  • @PeGaiarsa
    @PeGaiarsa Před 3 lety +7

    The moment he said "recursion" and "compilers" in the same phrase, I had chills going up and down my spine.

  • @thenerdyouknowabout
    @thenerdyouknowabout Před 6 lety +9

    "It no more gives you values of Ackermann's function than flies you to the moon" - Amazing quote.

  • @counterculturecocks
    @counterculturecocks Před 6 lety

    I absolutely loved the visualizations. Thank you for doing these videos.

  • @NeilRoy
    @NeilRoy Před 6 lety

    Love Professor Brailsford's videos. Always very interesting and very well explained. Thanks.

  • @AtomkeySinclair
    @AtomkeySinclair Před 6 lety +4

    Practical example - The first time I used recursion was to parse a directory structure in C. Using findfirst/next in my function, I would check to see if the file type was another directory (folder). If it was, the function would go into to that folder, then call itself. It would do that until it reached the depth of the current branch of the tree, process the files therein, stop, and exit back to the previous place it had left off. Eventually it would make it's way back to the top. This of course was a memory hog. So I had to track that. To test it I wrote batch code that created massively large file structures. Never had it run out of ram. And that was back in the late 80's using Turbo C by Borland.

  • @goummoboris5194
    @goummoboris5194 Před 4 lety +3

    I would Love to attend his lectures, his is just some sort of Computer Passionate.

  • @leunsafeleunsafe9316
    @leunsafeleunsafe9316 Před 5 lety +2

    The animations that exemplify the loop was very impressive and self explanatory.

  • @kimiaazizollahi18
    @kimiaazizollahi18 Před 2 lety +2

    this man is one of those rare people who you like to keep listening to and learn from!! RESPECT!
    I wish i could be your student! Really knowledgeable and explaining things really nicely.
    I must admit I learned from you here, even after almost 17 years of programming experience.

    • @0xdead982
      @0xdead982 Před rokem

      true,
      but damn
      ۱۷ سال سابقه
      البته الان ۱۸ می‌شه
      so i got curious, i searched your name wish i could see your github page but there was none :(

  • @Hostile_Design
    @Hostile_Design Před 6 lety +9

    I rarely understand anything this man is saying, but I watch anything with him anyway because he is so damn charming.

  • @AmokBR
    @AmokBR Před 5 lety +3

    I felt warm inside when he mentioned do loops in fortran. I programmed in it fir 4 years.

  • @ozzyfromspace
    @ozzyfromspace Před 5 lety

    Glad I found this video! Excellent discussion, Professor Brailsford! :) Cheers!

  • @ct92404
    @ct92404 Před 6 lety

    I really like this professor. He makes any subject so interesting.

  • @SniperNinja115
    @SniperNinja115 Před 6 lety +9

    I am quite interested in things like this, very nice to know, thanks for this video, much love, keep it up, brother :)) hearts*..

  • @MrVasteel
    @MrVasteel Před 6 lety +1333

    11:28 - "If you don't get things sorted out correctly then..." *shrugs and farts* lol

  • @trevorvillwock4846
    @trevorvillwock4846 Před 5 lety +2

    Could listen to this dude talk for hours

  • @TimmyMoza
    @TimmyMoza Před 5 lety

    Very cool. Learn something new every day. Cant wait for my next happy hour and bring up the points in this subject....

  • @kevinbee4617
    @kevinbee4617 Před 6 lety +7

    A lot of the times when you are considering the alternatives loop or recursion, you should also consider "higher-order" funtions, such as map, reduce (or fold), and filter.
    Example Pseudocode:
    Take the prices of all items cheaper than $10, multiply them by 0.8 and add them together:
    reduce(lambda x,y: x+y,
    map(lambda p: p*0.8,
    filter(lambda item: item.price < 10, items)))
    Preferred way in python:
    sum([item.price*0.8 for item in items if item.price < 10])

  • @nlgatewood
    @nlgatewood Před 6 lety +7

    I've only had one clear instance where recursion was the better option over a series of nested loops. I had to step down branches of a family tree and didn't know the length of each branch..when the branch ended, and the person no longer had any more children, it would recurse back up the tree and go down the next branch. It was probably the most excited I had ever been about any function I ever wrote, haha

  • @poojabannikuppemahesha7990

    I just loved the way explained ... especially the animation to support !

  • @rikvdmark
    @rikvdmark Před 5 lety

    Nice visualizations! Beautiful to watch and very informative. Thanks!

  • @simonbode7356
    @simonbode7356 Před 6 lety +5

    Recursive functions are indeed part of Fortran. I used a QuickSort recursive function in my research. F77 supported recursion on some systems, but the recursive attribute did not become standard until Fortan90 and used the keyword RECURSIVE..

  • @aipaperreader
    @aipaperreader Před 6 lety +27

    11:32 stackoverflow

  • @seanhall2771
    @seanhall2771 Před 2 lety +1

    How on earth does this video only have 1.2M views after 4 years? Very informative explanations by someone who is able to succinctly explain these concepts. I would have thought that on platforms like youtube where so many people want to learn programming, that this would have received so many more views. Take some time out of your busy life watching cat videos and watch this.

  • @loam
    @loam Před 4 lety

    Always love to hear from that man!

  • @aarondavis5386
    @aarondavis5386 Před 6 lety +40

    If I may recursion seems to do well when dealing with any tree like structure. For example if you want to know how many files are on your hard drive the simplest way to do it would be to have a function that counts all the files in a directory, and calls itself to count the files in sub directories.

    • @MichaelSmith-fg8xh
      @MichaelSmith-fg8xh Před 3 lety +7

      Recursion is cute in theory but some languages have limits on how many calls you can have in a chain (t-sql), it also can chew up a lot of RAM needlessly (because of the calls and their associated data sitting waiting for a return from the from the deepest call.

    • @dale116dot7
      @dale116dot7 Před 3 lety +1

      @@MichaelSmith-fg8xh And smaller microcontrollers with very limited RAM, especially the little eight bit ones. Something like a PIC or MC9S08 or 8051. Something like 2k to 60k of code space in ROM, but maybe 32 bytes or 256 bytes of RAM, including the stack. The stack fills up very quickly on those machines.

    • @RagingGeekazoid
      @RagingGeekazoid Před 2 lety +4

      @@MichaelSmith-fg8xh Recursion isn't just "cute in theory". It's the only way to traverse trees, where not only the lengths of the loops but even the amount of nesting is unknown until runtime.
      If your recursive code uses too much memory, you're doing it wrong. It means you're making a recursive call before the current call is finished. The recursive call needs to be a tail call, i.e. the very last computation in the function. That way the currently allocated space in the stack can be re-used.

    • @MichaelSmith-fg8xh
      @MichaelSmith-fg8xh Před 2 lety +5

      @@RagingGeekazoid You can explore trees without recursion.

    • @RagingGeekazoid
      @RagingGeekazoid Před 2 lety

      @@MichaelSmith-fg8xh Baloney. Please explain how or STFU. The various depths and branching ratios in the tree are arbitrary and unknown at compile time. A filesystem, AST, mathematical expression, AI search tree, organizational chart, any tree-shaped data structure.

  • @IceMetalPunk
    @IceMetalPunk Před 6 lety +7

    Sounds to me like the problem is more about the artificial limitations of loops vs recursion rather than any inherent difference between the two.
    For instance, I tried coding up the Ackermann function in PHP only to find that it also implements a 256 stack frame limit, like the limit for C++'s nested loops.

  • @seggremalac
    @seggremalac Před 3 lety

    I love him!
    It was a very nice video thank you!
    The professor reminds me one of my programming teacher. Actually the only one who made impact on me ever. He was an older guy with fantastic knowledge and also was a very nice person.

  • @goosemontv
    @goosemontv Před rokem

    I could listen to this gentleman talk about computer science for hours on end

  • @therugburnz
    @therugburnz Před 5 lety +11

    I love when his glasses flash mauve.

  • @ianedmonds9191
    @ianedmonds9191 Před 6 lety +4

    Real world equivalent of Ackermann using recursive techniques is dealing with Bill of materials on complex produced objects.
    You never know how far down any branch in the tree will go and you need to traverse the tree to, for example, calculate total cost estimate or perform some engineering action on them all.
    Less of a problem by the time the BOM is finalised because you can flatten it and deal with the flat list but I've had to write recursive programs at work to do this sort of thing in our engineering system.
    Luv and Peace.

  • @nealpatel7696
    @nealpatel7696 Před 6 lety +2

    The circle animation for nested for loops makes them so much more clearer

  • @Maya_s1999
    @Maya_s1999 Před rokem

    I could listen to this guy forever!!!

  • @bumpty9830
    @bumpty9830 Před 6 lety +21

    _Excellent_ graphics.

  • @TheJaguar1983
    @TheJaguar1983 Před 6 lety +5

    I found recursion useful in parsing a tuple in C++, which the compiler inlined.

  • @AnJo888
    @AnJo888 Před 6 lety +1

    The first time I used recursion was during my IT graduating course (1990's).
    I used it to write a Huffman algorithm based compressing/decompressing program.
    At that time, I was starting to use Borland's Turbo C, so I was not familiar with it's debugging resources.
    Needless to say, my first code had a flaw (probably during decompressing) and I used pencil and paper 'Chinese computing' to figure it out (I was loosing track of the recursion level the program was at, so I was not able to identify the tree's root, when coming back from the leaf search).
    I figured it out, on paper, included a recursion level register and the program run perfectly.
    To add to my self-pride, I was the only one that came up with a recursive solution (that, to me, seemed more intuitive/simple/practical).
    Anyway... kudos to the Computerphile team.

  • @GiordieTN
    @GiordieTN Před 6 lety

    I barely understand this but just seeing a guy so passionate about his stuff makes me feel good :)

  • @lipslide101
    @lipslide101 Před 6 lety +22

    Recursion is very useful in situations where you have dynamic parent-child-with child- another child- etc relationships.
    Think of tree structures, recursion is very handy for that.

    • @pedrokalil4410
      @pedrokalil4410 Před 4 lety +3

      Programming for 1.5 year and used for:
      - Backtracking (sudoku solver)
      - Backtracking (removing all possible sudoku numbers while keeping a single solution)
      - An react clone (element tree creation, deep comparission, and tree reconcilation)
      - Literally tree (had to write an quick and dirty "tree" copy in dart)
      - Contributing on the AST of an language
      - Pauling diagram (looks cleaner with recursion imo)
      - SVG parser
      - SVG renderer
      - Lots of small utils
      I absolutely love recursion, wish i had to use it more.

  • @donaldasayers
    @donaldasayers Před 6 lety +4

    I remember writing a program to draw a dragon curve (A primitive fractal) on a Sinclair ZX81. Took about 60 lines of basic with every variable having to be an array so it could have different values depending on the depth of the recursion. And it had goto jumping out of one for next loop and into another, quite horrid.
    Did the same thing many years later in 4 lines of logo.

  • @IhsanMujdeci
    @IhsanMujdeci Před 2 lety

    Learning from history is really cool, give you pre-context to current day. Love internet hosted videos. Such a boon to learning!

  • @SimpleExcelVBA
    @SimpleExcelVBA Před 3 lety

    I wish I had such teacher. I would have listen to him for hours.

  • @DustinRodriguez1_0
    @DustinRodriguez1_0 Před 6 lety +6

    If you don't have recursion, just build the stack yourself. CPUs aren't magic and don't do anything special when they "call a function". They just put the current state on a stack, jump to the function, let it run, then pop the state from the stack and go along. Easily done in a loop. You just build it on the heap instead of relying on the (usually much more limited, at least in the past) system stack.

  • @trailblazingfive
    @trailblazingfive Před 6 lety +5

    I love professor Brailsford 😇

  • @Ownig3
    @Ownig3 Před 3 lety

    His voice's so nice to hear. thank Teacher!

  • @Playncooler
    @Playncooler Před 6 lety

    The professor is really the star of this channel.

  • @justgame5508
    @justgame5508 Před 6 lety +162

    I don't get why recursion is made out to be an extremely difficult thing, it's not. You just have to think for a minute or two and plan out your code instead of typing like a maniac and hoping for the best

    • @garretgang8349
      @garretgang8349 Před 6 lety +15

      I have found that incursion is actually the real beast. Because an incursive version of a recusive problem is very complex, whereas a recursive solution to an incursive problem is simplicity;
      I have found that the only way to have simple coding (coding that requires no planning) is to limit your code to a single function that might have a single loop in that, after that without planning coding becomes difficult

    • @mlhbro
      @mlhbro Před 6 lety +82

      JustGame:
      Recursion is difficult for a lot of people because it's taught really poorly in almost every single case.
      What they'll usually do is start by reviewing mathematical induction, so they can turn around and say, "Okay, look! Recursion is just like that! Now you understand recursion!" Which doesn't help at all. It is not necessary or pedagogically appropriate to bring mathematical domain knowledge into that learning process. It gives the impression that, if the student doesn't understand some complicated math concept, they can't understand recursion, which is false. Actually, I'd far more readily do the reverse, and use recursion to teach mathematical induction.
      In any case, after that they usually trot out some canned, but incredibly poor example, like factorial or fibonacci. These are fine. They "work" as examples. But they tend not to give the student much insight about why recursion works, because the concept is not introduced as an outgrowth of the self-referentiality of the underlying data. In the case of factorial and fibonacci, the reason why recursion is natural is because the natural numbers are inherently self-referential. A natural number can either be 0, or it can be (1 + [a natural number]). In other words, "natural number" occurs within its own definition, and this is what implies a recursive processing technique. Or if you have essentially a linked list, the definition is that the linked list is either empty, or it is a list of ([some element], [a linked list]). The self-referentiality of that definition implies recursion. And both examples also contain their base cases (0 for natural numbers, and empty for the list). If you teach recursion starting with data definitions, it's easy for students to see where the base case and the recursive step come from, and why they make sense. Data defined recursively makes sense to process recursively.
      Some other problems commonly encountered in the teaching of recursion is that the teacher will instruct the student to try tracing the recursive calls. While this can be mildly illuminating in simple cases, it leads to the misconception that programmers come up with recursive solutions by understanding how the individual calls unravel. In fact, this is only going to confuse you, because it quickly turns into Inception-level brainfuckery, and also gives you exactly zero insights as to how to design a recursive solution. The main trick of recursion is that you are supposed to *assume the recursive call returns the advertised result*. You take it for granted. It's how you form the combination of that recursive result--which operates on, say, the rest of a list--with the first element of said list, that determines whether your function will work correctly or not. Follow the recursion one time, for a simple case, just to get the curiosity out of your system. Never do it again, after that. It does not lead to any important insights, and nobody who writes recursive code designs their solutions by following the recursion.

    • @0MVR_0
      @0MVR_0 Před 5 lety +9

      Yes, the faith in that assumption [the precision of the recursive code deeper beyond one iteration] is the hardest thing for programmers to develop. Linearly defined script, being easy to follow, allows for absolute knowledge in both logical operation and resultant computation. Recursion permits understanding of only the logical operation, the structure of how a result will arrive, not often the resultant itself. Taking it through one computational exercise is great advice and is incidentally something I practice outside of coding. Once a pattern has been recognized or established, assume its potential reproduction. Any further inquiry into its nature, structure, organization, etc is one of technical engineering (which has its place), not scientific comprehension.

    • @shereefmohammed6596
      @shereefmohammed6596 Před 5 lety +11

      macaroni italic
      Your comment is the most inciteful and helpful comment I've seen on youtube. You really helped me umderstand why I'm having difficulty with recursion AND validated my "faith that the function delivers what it is designed for deeper than the 1st level" approach that I naturally developed as a workaround.

    • @jmendoza7507
      @jmendoza7507 Před 5 lety

      macaroni italic ¿

  • @GilesBathgate
    @GilesBathgate Před 6 lety +34

    Trees, best way to update trees is via recursion. Ok you can do it using iteration, but recursion is much nicer. (OK I suppose Professor Brailsford covered this by talking about compiler AST's)

    • @tamasdemjen4242
      @tamasdemjen4242 Před 6 lety +7

      For the most robust implementation, what can be done in a loop should be written so. Recursive function calls only work until a few hundred levels of depth, which is extremely easy to exceed. For example, a linked list is a simple tree, and you can agree that iterating it recursively, you'll run out of memory in less than a microsecond. It's actually pretty easy to traverse trees and graphs using simple loops, without any recursion, once you get used to it, and such code can be very readable and maintainable. Might be a challenge for the first time you're doing it, but easy afterwards. All you need is a container where you can push and pop items, and you're only limited by the physical memory, not by the size of the function call stack.

    • @GilesBathgate
      @GilesBathgate Před 6 lety

      I should have said "theoretically the best way", but in a practical sense you are right. The stack is only limited by so called "soft limits", (In Linux its usually 8192kb, in windowsNT its a measly 1024Kb) I think these are put in place by the operating system to prevent infinite recursion. There is no practical reason why your stack cannot occupy the all of the memory available in the virtual address space. I agree though when handling large data structures, you have to use loops and stack like container data structures.

    • @Mastikator
      @Mastikator Před 6 lety

      If you don't know the depth of a tree beforehand how would you possibly search/modify it without recursion?

    • @GilesBathgate
      @GilesBathgate Před 6 lety

      +Mastikator Loops can iterate over a fixed range or over a generator, that keeps providing new values.

    • @Mastikator
      @Mastikator Před 6 lety

      +Giles Bathgate wouldn't the generator then be using recursion?

  • @lawrencetate145
    @lawrencetate145 Před 6 lety +1

    When I was in college I was a bit concerned about being called upon to come up with an original recursive solution sometime in the course of my professional career. I finally faced that challenge 15 years later. The requirement was to process a tree structured database and produce an MFC tree UI. I was relieved that I was up to the challenge.
    Anyway, my main point refers to the GOTO video emphasis on documentation. I made sure that there was plenty of documentation embedded with that code and warning to be very careful with changes here.

  • @mkteku
    @mkteku Před 5 lety +1

    Anecdotal details like: "We didn't know enough
    about recursion and even though we didn't provide it for the users of our language, boy did we need it in the compiler! And we ended up inventing it in all but name" are awesome insights into invention in general.

  • @clarkd1955
    @clarkd1955 Před 3 lety +3

    I have used recursive functions in every one of my major programs. About 1 in 1000 of my functions where recursive in well over 1 million lines of code over 45 years. Obviously recursion is MUCH more important than plain Jane loops.
    I am sure if I had been a professor rather than a developer I would have used recursion more.

  • @Glottris
    @Glottris Před 6 lety +17

    Tail recursion is it's own reward! lern you some erlang!

    • @turun_ambartanen
      @turun_ambartanen Před 6 lety +10

      How to test if your compiler removes tail recursion in favor of a loop: let it run a few thousand times and see if you get a stack overflow or out of heap space error XD

  • @grayswandir47
    @grayswandir47 Před 6 lety

    When I was a computer science major back in the late seventies we were assigned a program that would load and parse a binary tree. We studied both recursive and non recursive approaches but did not have a compiler that supported recursion. A couple years later we had a system with a Pascal compiler. I wrote the binary tree program in Pascal using recursion and it was far simpler than the original Fortran IV code.

  • @dragonbasky8281
    @dragonbasky8281 Před 3 lety

    His understanding of for loop is the BEST!!!!! explanation EVER!!!!!!!

  • @OldieBugger
    @OldieBugger Před 5 lety +5

    Back in university I tried using FORTRAN exactly one day. I started reading the textbook of FORTRAN 77 (or whatever version) and I wanted to try writing a simple "Hello world" type of program with it. I copied one of the first example programs from the book to a file in university's main computer and I tried compiling it. After a few rounds of correcting my typos I finally got it compiled. Then I tried to run it. ERROR. I gave up any ideas I might have got aboout FORTRAN. I had much better success writing C some months later (and ever since).

  • @dand5990
    @dand5990 Před 5 lety +4

    Watching loops in 4k. Future is now.

  • @dsuess
    @dsuess Před 2 lety +1

    Phrase of the day, 8:30 "Tramples in its muddy gumboots"
    I love this overall explanation by Prof. Brailsford

  • @klankab
    @klankab Před 6 lety

    Professor Brailsford seems to have a very nice collection of books. As a collector of old computers and ephemera I would love to see what else he has in his shelves.
    I think I spot a teletype manual in the top left shelf.
    Thank you.

  • @jeffirwin7862
    @jeffirwin7862 Před 6 lety +21

    Fortran programmer here. Thank you professor Brailsford for admitting it's great for engineering. You probably already know this, as you called it "original Fortran" or "early Fortran". I'm being pedantic here, but you're using some very antiquated Fortran standards (we have a 2015 standard!).
    First, Fortran is not so low-level. We have recursive subroutines (or "functions", for you C devs)! We also have user-defined types, implementing everything you can do with C structures.
    Second, you don't need numerically-labelled do-loops anymore. We now have "do ... end do", instead of "do 180 ... 180". You can even label them with a literal string if you're that kind of psychopath. I would love brackets instead, but not even python has bracketed loops.

    • @ChenfengBao
      @ChenfengBao Před 6 lety +18

      He's presenting how loop and recursion first appeared in higher level programming language, using the original format and showing its low-level-ness is the sensible way to go. And as you mentioned, he did say it's "original FORTRAN". --- Another Fortran programmer.

    • @nitePhyyre
      @nitePhyyre Před 6 lety +4

      OTOH, python has syntactically meaningful white space. That's kinda the same thing as using brackets. At least when compared to using gotos with either labels or line numbers.

    • @AndyU96
      @AndyU96 Před 5 lety

      Ok, I want you to use fortran, and make a program that calculates '1000!', it has to do it with normal looping, 1*2*3*4*5*6*....999*1000
      Once done, inform me of the first few digits and the last few digits of the answer and most importantly, tell me how long it took for the program to calculate it.

  • @lierdakil
    @lierdakil Před 6 lety +5

    256 is a recommended minimum for C++11 nested control structures. It's not a hard limit by any means, and is, in the end, implementation-defined. After all, it's easy enough to have a kinda-nested loop with conditionals and goto. Any assembler that has conditional jump has no hard limits on loop nesting at all. Generally speaking, recursion is just a useful abstraction over loops and call stack -- it's entirely possible to code that by hand. Or, depending on your perspective, recursion is fundamental and loops and call stack are implementation detail. So... there isn't all that much difference.

    • @unvergebeneid
      @unvergebeneid Před 6 lety +1

      Sudo? Did you mean pseudo?

    • @lierdakil
      @lierdakil Před 6 lety

      Likely so. Not a native speaker. Thanks for pointing it out. Edited.

  • @raf74hawk12
    @raf74hawk12 Před 6 lety

    I could listen to him talk about this stuff for days

  • @kamalmoustafa318
    @kamalmoustafa318 Před rokem

    Finally a comprehensive and simple answer to recursive question!

  • @Omnifarious0
    @Omnifarious0 Před 5 lety +5

    The most popular (and generally fastest) sorting algorithm requires recursion. Quicksort wouldn't be possible to implement in a general way without some sort of stack of partitions.

  • @Yotanido
    @Yotanido Před 6 lety +16

    My typical example for something requiring recursion is traversing a tree. Or, since I'd mostly explain this to new students, a file system. (Which is a tree, even if they don't know that)
    If you can have folders within folders, arbitrarily deep, you have to use recursion.

    • @I25mI25
      @I25mI25 Před 6 lety +1

      You don't have to use loops, but it makes it easier to write and read the code.

    • @Yotanido
      @Yotanido Před 6 lety

      Mike Meyer: Yes, you are right, of course. I thought of making it more explicit, but I realise I am contradicting myself here.

    • @Yotanido
      @Yotanido Před 6 lety +1

      125m125: Using for loops? Not a chance, recursive is much clearer.
      If it's even possible with a loop. I'm pretty sure traversing a tree is impossible to do iteratively.

    • @ZipplyZane
      @ZipplyZane Před 6 lety +2

      I've seen many for loops that handle trees in JavaScript. It's the usual way to handle the DOM, which is a tree. Granted, it works because each DOM node effectively carries a pointer to its parent node, but that's also true of file systems.
      I guess if there wasn't such a pointer, you'd have to keep pointers to where you've been. But it still could be done.
      Documents can contain a lot of nodes, and, even now that recursion limits are removed, JavaScript still can easily run out of memory. It's why I always convert common algorithms to iterative form.

    • @I25mI25
      @I25mI25 Před 6 lety

      I guess Yndostrui is right that it is impossible with simple counting for-loops. But it is possible with a single while-loop and a stack-like data structure.

  • @Wiintb
    @Wiintb Před 6 lety

    Hats off professor. Your video is brilliant.

  • @davel8116
    @davel8116 Před 6 lety

    I subscribed to this channel for Professor Brailsford.