ViewTube

Programming languages are the programmer's most basic tool. The textbook Programming Language Pragmatics, 5th edition ...

Most programming tells the computer HOW to do something, one step at a time. Logic programming flips that around: you describe ...

Xavier Leroy (creator of OCaml) is an expert in compilers, formal verification of software and functional programming.

What macros are: https://www.youtube.com/watch?v=V02SQDh47gA Explanation of immutable data structures: ...

This is a part of CSI3110 course given by Professor Karim Alghoul at the university of Ottawa - Canada. The material is mostly ...

Functional Programming (FP) is a common topic, but what is it, essentially? This video goes into the fundamental concepts and ...

... Template Method Pattern, and CRTP to create flexible libraries to convert imperative programming to declarative programming.

Confused about the difference between Imperative and Declarative programming? In this video, we break down these two ...

Unlock the fundamentals of programming styles in this deep-dive video where we explore the top 8 programming paradigms you ...

In this video we will see some basic but great mistakes that happen every day because people are ignoring that database usage ...

What's the difference between imperative programming and declarative programming? In this video, I'll break it down in the ...

The use of the term "programming system" in the title of the course is deliberate. I did not call it "Write your own tiny ...

leanprover #functionalprogramming #books Attribution for the book used: “Functional Programming in Lean” by David Thrane ...

In this video, we introduce Scheme, a minimalist yet powerful dialect of Lisp that forms the foundation of functional programming ...

Have you ever wondered why we write code the way we do? Or what actually separates a "script" from a "software engineering ...

Welcome to another Core Java tutorial! ❤️ In this video, I explain Imperative Programming Paradigm in a simple and ...

AI has sure changed the development landscape. Join me friday as I talk about the latest in the Solid 2.0 effort and how we've ...

leanprover #functionalprogramming #books Attribution for the book used: “Functional Programming in Lean” by David Thrane ...

Why do we have so many programming languages such as Python, Java, Haskell, Prolog, instead of just one? The answer lies in ...

topics Functional Programming Languages: Introduction, Mathematical Functions, Fundamentals of Functional Programming ...