Type theory

Duck typing

Duck typing in computer programming is an application of the duck test—"If it walks like a duck and it quacks like a duck, then it must be a duck"—to determine whether an object can be used for a particular purpose. With nominative typing, an object is of a given type if it is declared to be (or if a type's association with the object is inferred through mechanisms such as object inheritance). In duck typing, an object is of a given type if it has all methods and properties required by that type. Duck typing can be viewed as a usage-based structural equivalence between a given object and the requirements of a type. See structural typing for a further explanation of structural type equivalence. (Wikipedia).

Video thumbnail

Waddling Duck Wooden Toy

https://grabcad.com/library/waddling-duck-wooden-toy-1 This toy can work 2 different ways: pulled by a string or using a ramp.

From playlist Wooden Toys

Video thumbnail

Should We Be Excited For The Duck Duck Go Browser?

Duck Duck Go has announced that they are working on a desktop browser. Is it something we should be looking forward to or will it be a disaster? 👇 PULL IT DOWN FOR THE GOOD STUFF 👇 Patreon - https://patreon.com/thelinuxcast Liberapay - https://liberapay.com/thelinuxcast/ Youtube - https:/

From playlist News

Video thumbnail

Ducklings capable of abstract thought

Baby ducks' ability to imprint on "differences" puts them in company with primates and parrots. Learn more: http://scim.ag/29Tkw4c Read the research ($): http://scim.ag/29SXMhJ JOIN AAAS: http://scim.ag/2bxrxnH

From playlist Animals

Video thumbnail

the C language (part 2 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Ducks in a line

A fun riddle about ducks!

From playlist Riddles

Video thumbnail

(New Version Available) Inverse Functions

New Version: https://youtu.be/q6y0ToEhT1E Define an inverse function. Determine if a function as an inverse function. Determine inverse functions. http://mathispower4u.wordpress.com/

From playlist Exponential and Logarithmic Expressions and Equations

Video thumbnail

making a quill pen

~Visit www.EdwardChing.artistwebsites.com to see artwork, shop, ... This video is instructional on how to make quill pens. You'll see step by step: how to convert a feather into an iconic drawing tool. There's also info on actually drawing with a quill and using inks of different colors.

From playlist Quill Pen

Video thumbnail

the C language (part 5 of 5)

Introduction to the C programming language. Part of a larger series teaching programming. See http://codeschool.org

From playlist The C language

Video thumbnail

Learn C Programming on a Raspberry Pi Your first C program

Today we start a little journey into the world on C programming and how you can learn on the Raspberry Pi, You will see how easy it is. Just be careful and accurate with your typing. You will want to know, why C. Well I will show that compiled code is more efficient than scripts. You can s

From playlist Raspberry Pi

Video thumbnail

RubyConf 2014 - Strong Duck Type Driven Development

By, John Cinnamond As a language, Ruby plays fast and loose with the type system. Developers rely on duck typing to check that the things they want to do with an object are permissible. Whilst this freedom makes writing code frictionless and often a whole lot of fun, it doesn't always sca

From playlist RubyConf 2014

Video thumbnail

Python Tutorial: Duck Typing and Asking Forgiveness, Not Permission (EAFP)

In this Python Tutorial, we will look at a couple of the aspects of being "Pythonic". If you've never heard the term Pythonic before, basically it means that you are following conventions and coding styles of the Python language in order to write clean and readable code. In this video we'

From playlist Python Tutorials

Video thumbnail

Are You a SOLID Developer?

It is pretty common to hear people talk about "SOLID code" in talks, blogs and podcasts these days. For the object-oriented programming novice who hears this term for the first time, the Wikipedia article gives a high-level overview, but advice and information about what ""SOLID"" really m

From playlist Software Development

Video thumbnail

RubyConf 2016 - Opening Keynote by Yukihiro 'Matz' Matsumoto

RubyConf 2016 - Opening Keynote by Yukihiro 'Matz' Matsumoto

From playlist RubyConf 2016

Video thumbnail

DjangoCon US 2016 - Rub-A-Dub Rubber Duck: Don't be Afraid to Debug! by Anna Ossowski

DjangoCon US 2016 - Rub-A-Dub Rubber Duck: Don't be Afraid to Debug! by Anna Ossowski Everyone of us knows this scenario, it's part of the daily life of a programmer: You build something and it doesn’t work. You run into a bug, you find a problem, you break your code - and then you have t

From playlist DjangoCon US 2016

Video thumbnail

RubyConf 2015 - Just a Ruby Minute by Andrew Faraday

We're bringing Just a Minute -- the popular British gameshow format -- to RubyConf! The rules of the game are simple, the results are hilarious, and who knows, you might even learn something new! Come join us to see some of your favorite Rubyists be utterly silly... for a minute at a time,

From playlist RubyConf 2015

Video thumbnail

Why You Should Care About Types in Python

By now you have probably all heard about Python static typing. But why should you care? Are types in Python even Pythonic? SPOILER: Guido says so. Is Python turning into Java? In this talk I’ll try to answer these questions and explain how type annotations helped my team scale, made our co

From playlist Python

Video thumbnail

What Actually Makes Water Roll Off a Duck's Back? | Deep Look

Ducks and geese spend *a lot* of time preening their all-weather feathers. This obsessive grooming – and a little styling wax from a hidden spot on their back side – maintains the microscopic feather structure that keeps them warm and dry in frigid waters. Please join our community on Pat

From playlist Deep Look | Series | KQED

Video thumbnail

RailsConf 2014 - Writing Small Code by Mark Menard

Writing small classes is hard. You know you should, but how? It's so much easier to write a large class. In this talk we'll build up a set of small classes starting from nothing using a set of directed refactorings applied as we build, all while keeping our tests green. We'll identify abst

From playlist RailsConf 2014

Video thumbnail

Mother duck defends ducklings from seagull attack!

Seagulls are jerks. Watch how this mother duck reacts when one starts targeting her little ones.

From playlist London

Video thumbnail

50K KEYBOARD GIVEAWAY!! ...well, more like 70k.

The giveaway has ended. The winner of the keyboard giveaway is announced here: *coming soon* This is the keyboard I gave away --- https://amzn.to/2SEdQau We currently sit at 70K subscribers, but this giveaway is for 50K. Or forget about the giveaway and just watch the video to see the cut

From playlist The 2019 Vlog

Related pages

TypeScript | Unreachable code | Elm (programming language) | Type system | Template metaprogramming | Generic programming | Structural type system | Object (computer science)