Search for tag: "functional programming"

18 Media

FP - Lecture 19 - Propositions as Types duration 37 minutes 11 seconds FP - Lecture 19 - Propositions as Types FP - Lecture 19 - Propositions as Types	FP - Lecture 19 - Propositions as Types This is the last FP video lecture, on Propositions as Types. inf1a informatics 1 introduction to computation haskell functional programming types proof thing logic term pair function rule curry programme lambda idea calculus introduction milner From Claudia-Elena Chirita 0 likes 420 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 17 - IO and Monads duration 46 minutes 18 seconds FP - Lecture 17 - IO and Monads FP - Lecture 17 - IO and Monads	FP - Lecture 17 - IO and Monads This is the first video for the FP lecture on IO and Monads. inf1a introduction to computation haskell functional programming command thing things char function question mark string lambda computer mind monad io a. input unit questions monoid lot From Claudia-Elena Chirita 0 likes 362 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 18 - IO and Monads duration 47 minutes 13 seconds FP - Lecture 18 - IO and Monads FP - Lecture 18 - IO and Monads	FP - Lecture 18 - IO and Monads This is the second video on the FP lecture on IO and Monads. inf1a informatics 1 introduction to computation functional programming haskell io and monads monads monad things thing string question function a. questions guard lists return idea result computer parser coin character equations b. From Claudia-Elena Chirita 0 likes 278 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 16 - Combinatorics duration 47 minutes 33 seconds FP - Lecture 16 - Combinatorics FP - Lecture 16 - Combinatorics	FP - Lecture 16 - Combinatorics This is the second video for the FP lecture on Combinatorics. inf1a introduction to computation informatics 1 haskell functional programming combinatorics From Claudia-Elena Chirita 0 likes 300 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 15 - Combinatorics duration 51 minutes 9 seconds FP - Lecture 15 - Combinatorics FP - Lecture 15 - Combinatorics	FP - Lecture 15 - Combinatorics This is the first video for the FP lectures on Combinatorics. inf1a informatics 1 introduction to computation haskell functional programming combinatorics length things thing lists element elements ways subs properties cheque permutations property sublist possibilities size peach nub lots questions letter From Claudia-Elena Chirita 0 likes 411 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 14 - Type Classes duration 45 minutes 18 seconds FP - Lecture 14 - Type Classes FP - Lecture 14 - Type Classes	FP - Lecture 14 - Type Classes This is the video for the FP lecture on Type Classes. inf1a introduction to computation informatics 1 functional programming haskell equality things dictionary types thing classes numbers class integer lists pairs times pair integers argument definition invariant characters eq From Claudia-Elena Chirita 0 likes 375 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 13 - Laziness, Higher-order, and… duration 51 minutes 20 seconds FP - Lecture 13 - Laziness, Higher-order, and… FP - Lecture 13 - Laziness, Higher-order, and Sorting	FP - Lecture 13 - Laziness, Higher-order, and Sorting This is the video for the FP lecture on Laziness, Higher-order, and Sorting. inf1a informatics 1 introduction to computation haskell functional programming thing times element elements functions answer function evaluation things numbers bit insertion log n. compiler lot tree sum trillion cutoff From Claudia-Elena Chirita 0 likes 501 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 10 - Expression Trees as Algebraic… duration 46 minutes 34 seconds FP - Lecture 10 - Expression Trees as Algebraic… FP - Lecture 10 - Expression Trees as Algebraic Data Types	FP - Lecture 10 - Expression Trees as Algebraic Data Types This is the video for the 10th FP lecture. inf1a introduction to computation informatics 1 functional programming haskell answer thing things length possibilities question questions exam variables test environment proposition times names pairs cons variable function minutes propositions From Claudia-Elena Chirita 0 likes 541 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 9 - Expression Trees as Algebraic… duration 49 minutes 13 seconds FP - Lecture 9 - Expression Trees as Algebraic… FP - Lecture 9 - Expression Trees as Algebraic Data Types	FP - Lecture 9 - Expression Trees as Algebraic Data Types This is the video for the ninth FP lecture on Expression Trees as Algebraic Data Types. inf1a introduction to computation informatics 1 functional programming haskell algebraic data types thing things expression question times names expressions parentheses ad tree trees constructor types function nub languages string term lists From Claudia-Elena Chirita 0 likes 690 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 8 - Algebraic Data Types duration 42 minutes 36 seconds FP - Lecture 8 - Algebraic Data Types FP - Lecture 8 - Algebraic Data Types	FP - Lecture 8 - Algebraic Data Types This is the video for the FP lecture on Algebraic Data Types. inf1a introduction to computation informatics 1 functional programming haskell algebraic data types things functions numbers circle successor thing booleans letter width winter function rectangle types idea height spring point radius summer From Claudia-Elena Chirita 0 likes 475 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 7 - Function Properties duration 41 minutes 36 seconds FP - Lecture 7 - Function Properties FP - Lecture 7 - Function Properties	FP - Lecture 7 - Function Properties This is the video for the FP lecture on function properties. inf1a introduction to computation informatics 1 functional programming haskell thing times things steps function numbers parentheses append answer identity infinity fold functions properties property sum multiplication mathematics length From Claudia-Elena Chirita 0 likes 692 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 6 - Map, Filter, Fold duration 50 minutes 48 seconds FP - Lecture 6 - Map, Filter, Fold FP - Lecture 6 - Map, Filter, Fold	FP - Lecture 6 - Map, Filter, Fold This FP lecture video presents the concepts of map, filter, and fold. inf1a introduction to computation informatics 1 functional programming haskell function idea thing head things question tail square exams questions pattern functions argument library cons lists times computers exam filter From Claudia-Elena Chirita 0 likes 544 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 5 - Select, Take, Drop duration 53 minutes 16 seconds FP - Lecture 5 - Select, Take, Drop FP - Lecture 5 - Select, Take, Drop	FP - Lecture 5 - Select, Take, Drop This is the video of the 5th FP lecture, discussing select, take and drop. question things function thing element questions dot answer sheldon definition functions indentation predecessor cons point values error helper numbers class inf1a introduction to computation informatics 1 functional programming haskell From Claudia-Elena Chirita 0 likes 596 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 4 - More Fun with Recursion duration 47 minutes 43 seconds FP - Lecture 4 - More Fun with Recursion FP - Lecture 4 - More Fun with Recursion	FP - Lecture 4 - More Fun with Recursion This is the video of the fourth FP lecture, presenting Recursion into more detail. inf1a introduction to computation informatics 1 functional programming haskell recursion thing things function times programming fact bit computer dot questions n. definition factorial int numbers error sentence zip unit From Claudia-Elena Chirita 0 likes 593 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
FP - Lecture 3 - Lists and Recursion duration 44 minutes 18 seconds FP - Lecture 3 - Lists and Recursion FP - Lecture 3 - Lists and Recursion	FP - Lecture 3 - Lists and Recursion This is the video of the third FP lecture, covering Lists and Recursion. inf1a informatics 1 functional programming haskell lists recursion introduction to computation cons tail thing things head computer squares question variable error tikki expression numbers idea element wreck point equation equals From Claudia-Elena Chirita 0 likes 878 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
Inf1A textbook duration 5 minutes 10 seconds Inf1A textbook Inf1A textbook	Inf1A textbook This is a video about the textbook written by Don Sannella for the course Inf1A - Introduction to Computation. The video explains where to find the book, how to use the book, and how to ask… inf1a introduction to computation informatics 1 functional programming computation and logic piazza feedback folder things lecture side hand chapters times computation sequence students chapter menu materials textbook sabbatical advance responses problems From Claudia-Elena Chirita 0 likes 443 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English