Search for tag: "functional programming"

18 Media

37:11 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 404 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
46:18 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 354 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
47:13 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 272 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
47:33 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 294 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
51:09 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 400 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
45:18 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 366 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
51:20 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 493 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
46:34 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 538 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
49:13 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 685 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
42:36 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 466 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
41:36 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 684 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
50:48 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 537 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
53:16 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 590 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
47:43 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 584 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
44:18 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 874 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English
05:10 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 417 plays 0 Course Code INFR08025 Licence Type All rights reserved The University of Edinburgh Language English

Search for tag: "functional programming"

the university of edinburgh