Essentials: Functional Programming's Y Combinator - Computerphile Computerphile English Turkish

Essentials: Functional Programming's Y Combinator - ComputerphileYouTube↗ IA↗(long shot)
Education 172.7K views 3.6K likes 258 dislikes 16 Aug 2017

Computerphile 2.6M subscribers N/A YouTube↗

Click to Play Video

So we're doing this series Graham - thank you for coming back to Computerphile - about the

Bu yüzden bu seriyi Graham yapıyoruz - teşekkür ederim Computerphile'a geri döndüğünüz için - hakkında

most important thing in computing, or one of the most important things; have you got

hesaplamada en önemli olanlardan biri veya en önemli şeyler; aldın mı

something for us? Yeah, I think so. So maybe it's not the most important, but it's certainly

bizim için bir şey mi? Evet bence de. Yani belki en önemlisi değil, ama kesinlikle

one of the most interesting, and one of the weirdest ideas in Computer

en ilginçlerinden biri ve Bilgisayardaki en garip fikirler

Science, and that is the Y combinator. The background to this, is that in the last

Bilim ve bu Y birleştiricisidir. Bunun arka planı, sonuncusu

video we did an introduction to the Lambda Calculus, and this generated quite

video için bir giriş yaptı Lambda Matematik ve bu oldukça üretti

a lot of discussion and comments, which was very nice, but it turned out that the

çok tartışma ve yorum, ki çok güzeldi, ama ortaya çıktı

top comment was "can we have more on the Y combinator?" So that's what we're going

En iyi yorum "hakkında daha fazla olabilir miydi Y birleştirici mi? "Yani biz gidiyoruz

to do today. So what the Y combinator actually is, is a way of doing recursion

bugün yapmak için. Peki ya Y birleştiricisi aslında, özyineleme yapmanın bir yoludur

in a language which doesn't have any recursion, or any looping mechanism at

hiç olmayan bir dilde özyineleme veya herhangi bir döngü mekanizması

all. So what we'll start off with is a quick refresher about what recursion

herşey. Yani başlayacağımız şey bir hangi özyinelemede hızlı tazelenme

actually is. So recursion is the idea of defining things in terms of themselves,

aslında öyle. Yani özyineleme fikri şeyleri kendileri açısından tanımlamak,

and a simple example of this is the well-known factorial function, so let's

ve bunun basit bir örneği tanınmış faktoring işlevi, öyleyse haydi

have a little look at this. The way factorial works is you give it a number

Şuna bir bak. Yol faktoring işleri ona bir numara vermektir

like 3, and it's going to count down from 3 to 1, and multiply up all the numbers

3 gibi, ve geri sayım olacak 3'e 1 ve tüm sayıları çoğalt

in between. So for example, factorial of 3 then would be 3 times 2 times 1, which

arasında. Yani, örneğin, 3 faktörü o zaman 3 kere 2 kere 1 olur ki

would give us the result 6. And then we can think how do we actually define this

bize sonuç verirdi 6. Ve sonra biz Bunu nasıl tanımladığımızı düşünebilir

function? And it turns out that the factorial function has a very simple, and

işlev? Ve o çıkıyor faktorial işlevi çok basit ve

a very natural definition, using recursion - defining things in terms of

çok doğal bir tanım kullanarak özyinelemeye göre - şeyleri tanımlamak

itself. So let's see how we can do that. If you give the factorial function a

kendisi. Öyleyse bunu nasıl yapabiliriz bakalım. Faktoring işlevine bir verirseniz,

number n, it's going to make a choice between doing one of two things. If the

sayı n, bir seçim yapacak iki şeyden birini yapmak arasında. Eğer

number you give it is already 1, which is the point where you're trying to count

Verdiğiniz sayı zaten 1 olan saymaya çalıştığın nokta

down to, then there's nothing to do. So if the number equals 1, then we just return

aşağı, sonra yapacak bir şey yok. Öyleyse sayı 1 eşittir, o zaman biz sadece dön

the result 1. Otherwise, what we're going to do, is we'll take the number you're

sonuç 1. Aksi takdirde ne gidiyoruz yapılacak numarayı alacağız mı

given, and we'll multiply it by the factorial of its predecessor. So for

verilen, ve biz çarpın selefinin faktörü. İçin böylece

example, if n was 3 we would take 3 times the factorial of 2. So this is a

örneğin n 3 olsaydı 3 kez 2 katsayısı. Yani bu bir

recursive function because we're defining factorial in terms of itself -

özyinelemeli işlevi çünkü biz Faktörün kendisi açısından tanımlanması -

the factorial of any number n is defined in terms of the factorial of n minus 1.

herhangi bir sayının faktörü tanımlanır n eksi 1 faktörü açısından.

So you can see the way that this is going to work - if you give it a number

Böylece bunun nasıl olduğunu görebilirsiniz işe gidiyor - eğer bir numara verirseniz

like 3, it's going to loop round - two, one, and so - on until it eventually

3 gibi, yuvarlak dönecek - iki, bir ve benzeri - sonunda

gets to one, and then it will stop and do all the multiplies. So let's do a little

bire gelir ve sonra durur ve yapar Tüm çarpımlar. Hadi biraz yapalım

example of this running, to see that we know how it actually works. If we take

bu koşma örneğini görmek için Aslında nasıl çalıştığını biliyorum. Alırsak

factorial of 3 - so factorial of any number that's not 1 is going to be that

3 faktörü - herhangi bir faktörü 1 olmayan sayı o olacak

number times the factorial of its predecessor -

faktörlerin sayıları selefinin -

so we'll take 3 times the factorial of 2. And then what do we do now? Well, we just

bu yüzden 2 katının 3 katını alacağız. Peki şimdi ne yapacağız? Peki, biz sadece

do the same thing again. We've worked out what factorial of 3 is, now we need to

aynı şeyi tekrar yap. Biz çalıştık 3'ün ne kadar faktörü olduğunu şimdi

work out what factorial of 2 is, and we just run the definition again,

2 faktörünün ne olduğunu hesaplayın ve tanımı tekrar çalıştırdık,

recursively. So we copy down what we had before. We have 3 times, and then we have

yinelemeli. Böylece sahip olduklarımızı kopyaladık önce. 3 kere ve sonra

2 times factorial of 1. And then the final step is the base case - this is

2 kez 1 faktörü. Ve sonra son adım temel durumdur - bu

where the recursion stops - because the factorial of 1, according to our

özyineleme durur nerede - çünkü göre 1 faktörü

definition, was just 1. So we're going to get 3 times 2 times 1, which is 6. So

tanımı, sadece 1 idi. Yani gidiyoruz 3 kere 2 kere 1, 6 olur.

that's a simple example of a recursive function, and how it may run. So what

özyinelemeli için basit bir örnek fonksiyonu ve nasıl çalışabileceği. Ne olmuş yani

we were looking at in the last video was the Lambda Calculus, which is a minimal

son videoda bakıyorduk Minimal bir Lambda Hesabı

language for defining functions. And it's only got three things in it - it's got

fonksiyonları tanımlayan dil. Ve Onun sadece üç şey var - o var

variables, like X, Y and Z; it's got a way of building functions, that's the

X, Y ve Z gibi değişkenler; o bir Bina fonksiyonlarının yolu, bu

lambda notation that we saw last day; and it's got a way of applying functions,

Geçen gün gördüğümüz lamda notasyonu; ve fonksiyonlarını uygulamak için bir yol var.

that's just putting two things next to each other. And everything else in the

bu sadece yanına iki şey koymak herbiri. Ve diğer herşey

Lambda Calculus is encoded in terms of these three basic things. So an example

Lambda Calculus cinsinden kodlanmıştır. bu üç temel şey. Yani bir örnek

which we did last day was the logical values True and False, and I'll just

geçen gün yaptığımız mantık Değerler Doğru ve Yanlış, ve ben sadece

refresh your memory about how we did this last day. The two logical values are

nasıl yaptığımızla ilgili hafızanızı tazeleyin bu son gün. İki mantıksal değer

True and False, and how do you represent these, or encode these, in the Lambda

Doğru ve Yanlış ve nasıl temsil ediyorsunuz? bunlar veya bunları Lambda'da kodlayın

Calculus? You do it very simply as two functions. So True is going to be encoded

Matematik? Çok basitçe iki fonksiyonlar. Yani Gerçek kodlanmış olacak

as the function that takes two things, x and y, and just gives you back the first

iki şeyi alan işlev olarak, x ve y, ve sadece size ilkini geri verir

one, x. And then False is the opposite - it takes two things, x and y, and it gives

bir, x. Ve sonra Yanlış, tam tersidir - iki şeyi alır, x ve y ve verir

you back the second one. And these encodings can then be used to define any

ikincisini geri aldın. Ve bunlar kodlamalar daha sonra tanımlamak için kullanılabilir.

other function which you'd like on the logical values. Like, I think last day, we

istediğiniz diğer işlevi mantıksal değerler. Sanırım geçen gün sanırım

looked at Not, and we looked at And, and we looked at Or. So any other function

Not’a baktığımızda, ve Or'a baktık. Yani başka bir işlev

can be defined in terms of these two encodings. And these encodings are very

Bu ikisi açısından tanımlanabilir kodlamalar. Ve bu kodlamalar çok

natural - they express the idea that, in programming,

doğal - ifade ederler programlamada,

True and False are often used to choose between two different things. So if one

Doğru ve Yanlış seçiminde sıklıkla kullanılır iki farklı şey arasında. Eğer bir

thing is True, you do something; and if it's False, then you do something else.

şey doğrudur, sen bir şey yap; ve eğer Yanlış, o zaman başka bir şey yap.

And these two definitions just encode this idea of choosing between one thing,

Ve bu iki tanım sadece kodlar bir şey arasında seçim yapma fikri,

or another thing. What we're thinking about today is recursion. And you can ask

ya da başka bir şey. Ne düşünüyoruz Bugün yaklaşık özyineleme. Ve sorabilirsin

yourself, if we have our definition like the factorial function here, the key

kendimiz, bizim tanımımız varsa burada faktöriyel fonksiyon, anahtar

thing in the definition is that it's recursive - we're defining the factorial

tanımdaki şey şudur özyinelemeli - faktörü tanımlıyoruz

function in terms of itself, recursively. So how do we encode recursion in the

özyinelemeli olarak, kendisi açısından işlev. Peki nasıl özyinelemeyi kodlamak

Lambda Calculus, which doesn't have any sophisticated feature like that at all?

Hiçbir Lambda Calculus yok. böyle sofistike bir özellik?

So let's start off by reducing the problem a bit. Let me write down the very

Öyleyse, azaltarak başlayalım. biraz problem. Bana çok yazalım

simplest recursive definition which I can think of. And the simplest possible

En basit özyinelemeli tanımı olan ben düşünebilirim. Ve mümkün olan en basit

recursive definition is just a program that loops - it doesn't do anything at all.

özyinelemeli tanımı sadece bir programdır Bu döngüler - hiç bir şey yapmaz.

So here would be the program. So I just say loop equals loop. And if you think

Öyleyse program burada olacak. Yani ben sadece diyelim döngü eşittir. Ve eğer düşünüyorsan

about running this thing, we say what's the value of loop, or how do you execute

Bu şey hakkında çalışan, biz ne diyoruz döngü değeri veya nasıl yürütüyorsunuz

loop? Well, you just go to the right-hand side, and you say, well it's loop. So you

loop? Peki, sadece sağ tarafa git ve dediğin gibi, bu döngü. Yani sen

go back to the left-hand side, and it's just going to go around like this

sol tarafa git ve sadece böyle dolaşıp gideceğim

forever - it's just going to kind of spin on the spot, without doing anything at

sonsuza kadar - sadece bir tür dönüş olacak yerinde, hiçbir şey yapmadan

all. So this is the simplest recursive program which you could write down. So

herşey. Yani bu en basit özyinelemeli yazabileceğiniz bir program. Yani

how could I encode this behavior in the Lambda Calculus? And the key to this is

Bu davranışı nasıl kodlayabilirim? Lambda Matematik? Ve bunun anahtarı

something called self application - it's the idea of applying something to itself - or

kendi kendine uygulama denilen bir şey kendine bir şey uygulama fikri - veya

in this case, applying a function to itself. So let me show you how to encode

bu durumda, bir işlevi uygulama kendisi. Size nasıl kodlanacağını göstereyim.

loop. So the way this works is we will define loop to be this function here. So

döngü. Yani bu şekilde çalışır Burada bu fonksiyon olacak döngü tanımlayın. Yani

the first thing to observe is that we have two functions in here, and in fact

ilk gözetmen gereken şey Burada iki işlevi var ve aslında

two copies of the same function. If we look at this function here, and this function

aynı işlevin iki kopyası. Bakarsak Burada bu işlevde ve bu işlevde

here, they're both exactly the same. So what we're doing here is we're applying

Burada, ikisi de tamamen aynı. Yani Burada yaptığımız şey uyguluyoruz.

this function to itself - it's the idea of self application. And this actually

bu işlev kendi kendine - bu fikir Kendi kendine uygulama. Ve bu aslında

occurs at another level as well. If we look at what each of these functions

başka bir düzeyde de ortaya çıkar. Eğer biz bu fonksiyonların her birinin ne olduğuna bakın

actually does, it takes an input called x, and then applies x to itself; so again,

aslında, x adında bir girdi alır. ve sonra x'i kendine uygular; Ve yine,

this is the idea of self application - we're taking something in here, and then

bu kendi kendine uygulama fikridir - burada bir şey alıyoruz ve sonra

we're applying it to itself, and the same is happening over here.

Kendisine uyguluyoruz ve Burada da aynı oluyor.

And it turns out that this idea of self application is the key to how you do

Ve ortaya çıktı ki bu benlik fikri uygulama nasıl yaptığınızın anahtarıdır

looping, or recursion, in a language which doesn't have support

bir döngüde döngü veya özyineleme, desteği olmayan dil

for that feature. So let's actually check that this thing actually has the

bu özellik için. Hadi aslında Bu şey aslında olup olmadığını kontrol edin

behavior that we'd like - check that it actually performance looping. If we write

istediğimiz davranış - kontrol et aslında performans döngüsü. Eğer yazarsak

down the same thing again, we have lambda x, x x, and then we have lambda x, x x. Let's

Yine aynı şeyi, lambda x, xx, ve sonra lamda x, x x. Haydi

think about how we can actually run this thing. So we need to remember what a

Bunu gerçekten nasıl yönetebileceğimizi düşün şey. Öyleyse ne olduğunu hatırlamamız gerek.

function actually does. So a function takes an input, like x, and then it tells

işlev aslında yapar. Yani bir fonksiyon x gibi bir girdi alır ve sonra söyler

you what to do with it - so in this case it takes an x and just

ne yapman gerekiyorsa Bu durumda bir x alır ve sadece

makes two copies of it side by side. And in this case, the x is this thing here -

iki kopyasını yan yana yapar. Ve Bu durumda, x burada bu şey -

this is the argument, or the input, to the function - we're applying it to itself. So

bu argüman veya giriş işlevi - kendimize uyguluyoruz. Yani

what's going to happen is that this input is going to be plugged in, or

ne olacak bu giriş takılı olacak veya

substituted, for x and then we'll just get two copies of the thing in the box.

ikame, x için ve sonra biz sadece kutudaki şeyin iki kopyasını al.

So that's how you would run the function. So if we write this down, we're going to

Demek işlevi böyle yürütüyorsun. Yani bunu yazarsak, gideceğiz.

get two copies of the box, and inside the box will be exactly the same thing. And

kutunun iki kopyasını al ve kutu tamamen aynı şey olacak. Ve

what you see here, is that in going from here to here, we've got exactly back to

Burada ne görüyorsun, o gidiyor buraya buraya, tam olarak geri döndük

where we started. We started with this expression here, which was the definition

nerede başladık? Bununla başladık Burada ifade, tanımıydı

of loop, and we've ended up with exactly the same thing. And of course if we do

Döngü ve biz tam olarak sona erdi aynı şey. Ve elbette yaparsak

the same thing again, if we say this is a function, this is its input, let's plug it

Yine aynı şey, eğer bir fonksiyonu, bu onun girişi, hadi takalım

in, in the two places where we see x, then we'll get exactly the same thing again.

içinde, x'i gördüğümüz iki yerde, sonra yine aynı şeyi elde edeceğiz.

So this thing is just going to go around in circles. It will never get anywhere -

Yani bu şey sadece dolaşmak olacak Daire içinde. Asla bir yere gidemez -

every time you run one step of it, it will go back to exactly the same point,

her adımında bir adım attığın zaman aynı noktaya geri dönecek

so it encodes the idea of looping. So that's a simple example. Let's have a

bu yüzden döngü fikrini kodlar. Yani bu basit bir örnek. Hadi alalım

more general example of recursion. So here's a little recursive definition. I'm

özyinelemenin daha genel bir örneği. Yani işte biraz özyineli tanım. Ben

going to define a function called rec, for recursion, and it's going to take

rec adında bir fonksiyon tanımlayacak, özyineleme için, ve alacak

another function as an input, and what it's going to do is apply that function

giriş olarak başka bir işlev ve ne yapması gereken bu işlevi uygulamaktır

to rec of f. So what does this definition actually do? Well, first of all, we can see

geri almak Peki bu tanımı ne aslında öyle mi? Her şeyden önce, görebiliyoruz

that it's recursive, because rec of f is defined in terms of rec of f. But it's

özyinelemeli olduğundan, çünkü f f'nin rec terimleriyle tanımlanır. Ama o

not just looping around all the time - it's got a function f here, sitting in

sadece her zaman sadece döngü değil - Burada bir işlev f var, otururken

the way. So if you think about unwinding this definition, what you'll get is f of f of

yol. Yani gevşemeyi düşünürseniz Bu tanım, elde edeceğiniz şey f of f

f of f, forever. If you run this recursive program, it's just going to apply the

sonsuza dek f'den f'ye. Bu özyinelemeli çalıştırırsanız program, sadece uygulayacak

function f infinitely often. And this turns out to be the idea of what's

f fonksiyonu sonsuz sıklıkta. Ve bu neyin fikri olduğu ortaya çıkıyor

called general recursion in Computer Science - this is the most general pattern of

Bilgisayar Biliminde genel özyineleme olarak adlandırılan - bu en genel kalıp

recursion you can have, and any other recursive function can be encoded in

sahip olabileceğiniz özyineleme ve özyinelemeli işlevi kodlanmış olabilir

terms of this one. So if we can encode rec in the Lambda Calculus, we can encode

bunun şartları. Yani kodlayabilirsek Lambda Calculus'taki rec kodunu kodlayabiliriz.

any recursive function. But let me set you a couple of exercises at this point.

herhangi bir özyinelemeli işlev. Ama ayarlayayım size bu noktada birkaç egzersiz yapın.

Using the definition of rec, which is recursive, how do you program loop? Define,

Rec tanımını kullanarak özyinelemeli döngü nasıl programlanır? Tanımlamak,

or redefine, loop to be rec of some function. So you've got to figure out

veya yeniden tanımlayın, bazılarının rec olması için döngü işlevi. Yani çözmelisin

what function to apply rec to here. It's actually a very, very simple function -

Burada rec uygulamak için hangi işlevi. Onun aslında çok, çok basit bir fonksiyon -

it's probably the simplest, or it is the simplest function, you could write down

Muhtemelen en basit, ya da En basit fonksiyon, yazabilirsiniz

in the Lambda Calculus, so don't try and over complicate it - write down the

Lambda Calculus'ta, denemeyin ve fazla karmaşıklaştırmak - yazmak

simplest function you can here, work through the definition of rec, and you'll

Burada yapabileceğiniz en basit fonksiyon rec tanımını ve

see that it actually has the looping behaviour. A slightly more interesting

gerçekten döngü olduğunu görüyoruz davranışı. Biraz daha ilginç

exercise, and a bit more challenging, is how to define the factorial function using

Egzersiz ve biraz daha zorlu kullanarak faktöriyel fonksiyon nasıl tanımlanır

rec? And I'll give you a bit of a hint on this one - what you need to do is pass it

rec? Ve size biraz ipucu vereceğim bu - yapmanız gereken şey geçmek

lambda f, lambda n, and then you need to figure out what you write for the

lambda f, lambda n ve sonra yapmanız gerekir. için ne yazdığını bul

question mark here, okay. And what you'll find, is that the function that you write

Burada soru işareti, tamam. Ve ne yapacaksın bulmak, yazdığınız işlev

in here is not recursive - it's the non- recursive part of the factorial function.

Burada özyinelemeli değil - bu faktöriyel fonksiyonun özyinelemeli kısmı.

Okay, so that's a bit of a challenging exercise. This one's quite easy,

Tamam, bu biraz zorlu egzersiz. Bu oldukça kolay.

this one's a little bit more challenging, but you'll learn a lot about the way

bu biraz daha zor, ama yol hakkında çok şey öğreneceksiniz

recursion works in the Lambda Calculus if you do these two exercises. So what

Lambda Matematikinde özyineleme çalışmaları eğer bu iki alıştırmayı yaparsan. Ne olmuş yani

we've reached now is the point where, if we can encode rec, which is general

Şimdi ulaştığımız nokta, Eğer genel olan rec'i kodlayabilirsek

recursion - any other recursive function can be encoded in terms of that, or

özyineleme - herhangi bir özyinelemeli işlev açısından kodlanmış olabilir, veya

defined in terms of that - if we can encode rec, then we're done,

bununla tanımlanır - eğer biz rec'i kodlayabilir, sonra işimiz biter.

because that lets us do everything. So it's a bit of a mouthful, so I haven't

çünkü bu bize her şeyi yapmamızı sağlıyor. Yani biraz ağız dolusu, bu yüzden yapmadım.

tried to memorise it - I've just got a copy pre-prepared here. Here is the

ezberlemeye çalıştım - yeni aldım Burada önceden hazırlanmış bir kopyası. İşte

definition, or one possible definition, of rec in the Lambda Calculus. And this is

tanımı veya olası bir tanımı, lamda calculus içinde rec. Ve bu

what's known as the Y combinator. And if you look at this, I mean it looks like a

Y birleştiricisi olarak bilinen şey. Ve eğer Şuna bak, demek istediğim bir şeye benziyor

jumble of symbols, but it's actually very similar to loop. If we look back to see

sembollerin karmakarışıklığı, ama aslında çok döngü benzer. Görmek için geri bakarsak

the definition of loop, it had the idea of self application, so we applied a

döngü tanımı, fikri vardı Kendi uygulamanızdan dolayı

function to itself. And the function we applied was lambda x, x x. And we saw, how

kendine işlev. Ve biz işlev uygulanan lambda x, x x idi. Ve gördük, nasıl

when you run that, it will actually achieve the looping behaviour. If you look

Bunu çalıştırdığınızda, aslında olacak döngü davranışını elde etmek. Eğer bakarsan

at the definition of the Y combinator, which is defined here, it's got exactly

Y birleştiricinin tanımında, Burada tanımlanmış, tam olarak var

the same structure. Here we have a function, and here we have another copy of the

Aynı yapı. Burada bir fonksiyonumuz var. ve burada biz başka bir kopyası var

same function, so it's exactly the same idea of self application. The only

aynı işlev, bu yüzden tamamen aynı kendi kendine uygulama fikri. Tek

difference here, we haven't got lambda x, x x, we've got an f in the way, and that's

buradaki fark, lamda x'imiz yok, xx, bir yolumuz f, ve bu

the f which we're going to be kind of repeatedly applying when we do the

tür olacağımız f yaptığımız zaman tekrar tekrar uygulamak

recursion. So this is the Y combinator. It's not recursive, but it encodes

özyineleme. Demek bu Y birleştiricisi. Özyinelemeli değil ama kodlar

recursion. And this is a very simple but powerful idea, and you can do this in

özyineleme. Ve bu çok basit ama güçlü bir fikir ve bunu yapabilirsiniz

most programming languages, unless you have some kind of type system which

çoğu programlama dili bir çeşit sistem var ki

would stop you from doing this. This gives you a way of doing recursion in a

bunu yapmanı engellerdi. Bu size bir özyineleme yapmanın bir yolunu verir

language which doesn't have any recursion at all. If you want to know

hiç olmayan bir dil özyinelemede Eğer bilmek istiyorsan

where it comes from, it was invented by a mathematician from the United States -

nereden geldiği, tarafından icat edildi Amerika Birleşik Devletleri'nden bir matematikçi -

Haskell Curry, and this is the Haskell who gives his name to the Haskell

Haskell Curry, ve bu Haskell Adını Haskell'e veren

programming language. So if anyone asks you about the Y combinator, this is what

Programlama dili. Yani eğer biri sorarsa Sen Y birleştiricisiyle ilgili, bu ne

it is. If you want to know a bit more about the Y combinator, you can of

bu. Biraz daha bilmek istiyorsan Y birleştirici hakkında

course look online, and there's a very nice Wikipedia page about this, where you

Elbette çevrimiçi görünüyorsun ve çok Bu konuda güzel Vikipedi sayfası, sen

can find more details about these kind of things, and see how to do some of the

bu tür hakkında daha fazla ayrıntı bulabilirsiniz ve bazı şeylerin nasıl yapılacağını görün

calculations and proofs of some of the things which I have been saying. But

hesaplamalar ve bazı kanıtlar söylediğim şeyler. Fakat

actually, it's interesting that the top hit on Google for Y combinator is not

Aslında, bu ilginç Google için Y birleştirici isabet değil

this stuff. It's actually a company which is called Y combinator. And you think, well

bu şeyler. Bu aslında bir şirket Y birleştiricisi olarak adlandırılır. Ve iyi düşünüyorsun

why would anyone call their company Y combinator? If you look at the company's

Neden kimse şirketini Y olarak çağırır? combinator? Şirketin bakarsanız

web page, they've got a frequently asked questions list, and one of the questions

web sayfasında sıkça sorulanlar var sorular listesi ve sorulardan biri

is - why did you choose the name Y combinator for your company? And they say

is - neden Y adını seçtin şirketiniz için birleştirici? Ve diyorlar ki

a number of things here - so Y combinator is one of the coolest ideas in Computer

Burada bir çok şey var - yani Y birleştiricisi Bilgisayardaki en havalı fikirlerden biri

Science, and of course I'm going to agree with this, and I think this is a very nice,

Bilim ve tabii ki buna katılıyorum Bununla, ve bence bu çok hoş.

very interesting, fundamental idea about how you do recursion in a language

çok ilginç, temel fikir Bir dilde nasıl özyineleme yaptığınız hakkında

which doesn't have recursion. And it's also a metaphor for what this company

hangi özyineleme yok. Ve Onun ayrıca bu şirketin ne için bir metafor

does. So the Y combinator is a way of having programs that run

yapar. Yani Y birleştirici bir Çalışan programlara sahip olmanın yolu

other programs, and in this case it's a way of doing recursion in a language

diğer programlar ve bu durumda bir Bir dilde özyineleme yapmanın yolu

which doesn't have recursion. And that's basically what their company is doing -

hangi özyineleme yok. Ve bu temelde şirketlerinin ne yaptığını -

they're a company that helps start companies - they're a startup incubator in

onlar başlamasına yardım eden bir şirket şirketler - onlar bir inkübatör

Silicon Valley, and it's the same kind of self application idea. They want

Silikon Vadisi ve aynı tür kendi kendine uygulama fikri. İsterler

to help someone to make a company, and it's the same thing here - we

birisinin şirket kurmasına yardım etmek, ve burada aynı şey - biz

want to have programs that run other programs. So for me, this is certainly one

diğer programların çalışmasını istemek programları. Yani benim için bu kesinlikle bir tane

of the coolest ideas in Computer Science.

Bilimi'ndeki en güzel fikirlerin listesi.

This is Alonzo Church, who was a mathematician at Princeton University in the United

Bu bir matematikçi olan Alonzo Kilisesi. Amerika Birleşik Devletleri Princeton Üniversitesi'nde

States, and he was the person who invented the Lambda Calculus, and what he

Devletleri ve o kişi oldu Lambda Matematikini icat etti ve o

was interested in, is what is the notion of a function...

ilgilendi, ne bir işlev kavramıdır ...

Similar videos:

Functional Parsing - Computerphile
Computerphile
87.9K views 2.8K likes 92 dislikes 05 Feb 202082% match

What is a Monad? - Computerphile
Computerphile
357.7K views 7.6K likes 1.2K dislikes 24 Nov 201773% match

50 Years of Computer Science: Professor Brailsford Q&A - Computerphile
Computerphile
81.3K views 3K likes 17 dislikes 22 Apr 202056% match

Functional Programming & Haskell - Computerphile
Computerphile
493.3K views 12.2K likes 144 dislikes 30 Nov 201644% match

Why C is so Influential - Computerphile
Computerphile
1.6M views 22.5K likes 1.6K dislikes 25 Aug 201741% match

Lambda Calculus - Computerphile
Computerphile
803.9K views 19.5K likes 567 dislikes 27 Jan 201740% match

Sorting Secret - Computerphile
Computerphile
167.8K views 4.9K likes 136 dislikes 18 Nov 201638% match

Essentials: Pointer Power! - Computerphile
Computerphile
326.4K views 8.5K likes 203 dislikes 18 Aug 201738% match

ALGOL 60 at 60 - Computerphile
Computerphile
73.7K views 3.1K likes 20 dislikes 04 Jun 202038% match

PDF, What is it FOR? - Computerphile
Computerphile
409K views 12K likes 144 dislikes 16 Sep 201637% match

Computing Limit - Computerphile
Computerphile
358.4K views 11.3K likes 443 dislikes 03 Nov 201734% match

Program Correctness - Computerphile
Computerphile
48.8K views 2K likes 253 dislikes 27 Nov 202034% match

Fibonacci Programming - Computerphile
Computerphile
198.8K views 3.3K likes 52 dislikes 17 Jun 201433% match

Parsing Explained - Computerphile
Computerphile
134.2K views 3.6K likes 45 dislikes 13 Nov 201933% match

Where did Bytes Come From? - Computerphile
Computerphile
195.3K views 6.1K likes 60 dislikes 01 May 201833% match

Programming in PostScript - Computerphile
Computerphile
181.1K views 3.5K likes 42 dislikes 11 Apr 201432% match

Where HTML beats C? - Computerphile
Computerphile
551.2K views 11K likes 1.3K dislikes 27 May 201631% match

What is Bootstrapping? - Computerphile
Computerphile
375.1K views 5.5K likes 287 dislikes 19 Mar 201431% match

Where GREP Came From - Computerphile
Computerphile
644.1K views 23.4K likes 152 dislikes 06 Jul 201830% match

The Perfect Code - Computerphile
Computerphile
491.4K views 10.6K likes 196 dislikes 08 Mar 201730% match

How to Choose a Password - Computerphile
Computerphile
1M views 21.1K likes 235 dislikes 20 Jul 201629% match

Password Cracking - Computerphile
Computerphile
3M views 60.3K likes 1K dislikes 13 Jul 201629% match

Inside the CPU - Computerphile
Computerphile
280.2K views 6.2K likes 94 dislikes 22 Mar 201729% match

Deep Learning - Computerphile
Computerphile
392.2K views 6.1K likes 280 dislikes 19 Apr 201629% match

What on Earth is Recursion? - Computerphile
Computerphile
565.8K views 16.8K likes 123 dislikes 16 May 201429% match

Mac or PC? - Computerphile
Computerphile
587.9K views 9.7K likes 314 dislikes 21 May 201428% match

Tail Recursion Explained - Computerphile
Computerphile
104.2K views 5.2K likes 83 dislikes 27 May 202028% match

Why Use Binary? - Computerphile
Computerphile
588.4K views 10.9K likes 133 dislikes 04 Dec 201528% match

The Joys of Updating & Upgrading - Computerphile
Computerphile
95.9K views 4.1K likes 69 dislikes 06 May 202028% match

Finding the Edges (Sobel Operator) - Computerphile
Computerphile
359.3K views 6.9K likes 50 dislikes 04 Nov 201528% match

Settings Privacy About Contact Donate