
Spanish: 
La programación funcional
es un tipo de programación
donde
las funciones no tienen efectos secundarios
¿Qué significa esto?
Cuando llamas a una función
le das unos datos de entrada
y entrega una salida
y eso es todo lo que hace.
No modifica la entrada
no hace nada en el mundo exterior
como disparar los misiles
no puede hacer eso.
Todo el comportamiento de la función
puede ser visto observando cuáles fueron los datos de entrada
y cuál fue la salida que generó.
Y programando de esa manera es que las funciones son
se puede saber mucho sobre su comportamiento
y muchos de los errores
que son fáciles de cometer
cuando programas en lenguajes de programación más convencionales
es que te olvidas de algunos efectos que tiene alguna función
además de
su resultado
Y cuando te olvidas de esos efectos
eso puede llevar a errores muy difíciles de encontrar
y perder mucho tiempo.
Sean: "¿Qué cosas útiles obtenemos de"
"estos lenguajes?"

Turkish: 
fonksiyonel programlama
esasen tür programlama
fonksiyonların yan etkisi yoktur
Öyleyse bir işlevi çağırdığınızda ona bazı girdiler vermeniz ne anlama geliyor?
Ve bazı çıktılar döndürür ve tek yaptığı şey girdileri değiştirmemesidir.
İnsanların sık sık füzeleri ateşlemekten bahsettiği tarafında bir şey yapmaz
Bunu yapamaz
Girdilerin ne olduğuna ve elmanın ne üretildiğine bakarak görebildiğiniz fonksiyonun tüm davranışı ve
[stil] [in] bu tarzda, o zaman fonksiyonlar
davranışlarını hakkında çok şey bildiğini biliyorsun ve
Daha geleneksel programlama dillerinde programlama yaparken yapmanız kolay olan hataların çoğu
bir fonksiyonun sonucunu döndürmenin yanı sıra bir fonksiyonunun sahip olduğu bazı etkileri unutmanız,
Bu etkiler hakkında unutacağınız şey, böcek ve çok fazla boşa zaman bulmak çok zor olabilir mi?
Bu diller için ne kullandım?

English: 
functional programming is
essentially kind of programming where
functions don't have side effects
So what does it mean when you call a function you give it some inputs?
And it will return some output and that's all that it does it doesn't modify the inputs
It doesn't do something on the side people often talk about firing the missiles
It can't do that
the entire behavior of the function you can see by [looking] at what the inputs were and what the apple was that was generated and
if you [program] [in] that style, then functions are
you know you know a lot [about] their behavior and
Many of the mistakes that are easy to make when you program in more conventional programming languages
is that [you] forget about some effects that a function has in addition to returning its result and
What you forget about those effects then they can lead to very difficult to find bugs and a lot of wasted time?
What did I get used for these languages?

Turkish: 
İnternet uygulamalarının sunucu tarafında çok fazla etkilemiş oldukları pek çok şey. Yani örneğin haskell
Tasarımda rol aldığım dil hangisidir. Bu şimdi Facebook'taki tüm spam filtrelemelerinde kullanılıyor
şimdi ilk söylediğim her şeyi duyduğumda Facebook'ta spam olduğunu düşünmüyordum ve
Sally Marlowe, şu an bunun sorumlusu adam bana tam olarak dedi.
İşte biz bu kadar iyiyiz.
Bunların hepsi bugünlerde Haskell'de çalışıyor
Başka bir örnek, şu anda çok çalıştığım başka bir işlevsel [programlama] [dil] olan havayolu şirketi [ve]
Havayolu uygulamak için kullanıldı. Whatsapp her zaman herkes bir noktada whatsapp kullanıyor
arkasında çalışan tüm havayolu kodları bu kadar başka örnekler var. Twitter’ın kodu, bir ölçek olan scala kullanılarak oluşturulmuştur.
Programlama dili ağır Haskell'den esinlenilmiştir, ancak
Java ile çok iyi bütünleşir ve
ama aynı zamanda çoğunlukla işlevsel ve

English: 
Quite a variety of things they've made a lot of impact on the server side of internet applications. So for example haskell
Which is the language that I played a part in designing. That's now used for all the spam filtering on Facebook
now when I heard that first of all I said, I didn't think there was spam on Facebook and
Sally Marlowe, the man is now in charge of this said to me exactly
That's how good we [are]
All of that is running in Haskell nowadays
another example would be airline that's another functional [programming] [language] which I'm working with a lot at the moment [and]
Airline was used to implement. Whatsapp always everybody uses whatsapp at some point
that's all airline code running behind it there are other examples Twitter's code is built using scala which is a
programming language that I think was heavily inspired by Haskell, but
integrates very well with Java and
but it's also mostly functional and

Spanish: 
Varias cosas
han tenido un impacto importante en el lado del servidor
de aplicaciones web
Por ejemplo, Haskell
que es un lenguaje en el que yo participe
es su diseño
se utiliza para todo el filtro anti-spam
en Facebook
Ahora, cuando yo escuché eso
dije que no pensaba que hubiera spam en Facebook
y Simon Marlow
quién estaba a cargo de esto
me dijo: "Exactamente
... así de buenos somos"
Todo eso está corriendo en Haskell hoy.
Otro ejemplo sería Erlang
otro lenguaje de programación funcional en el que estoy trabajando
y Erlang fue utilizado
para implementar Whatsapp
casi todos hemos utilizado Whatsapp alguna vez
Todo eso es código en Erlang por detrás.
Hay otros ejemplos
El código de Twitter está hecho usando Scala
el cual es un lenguaje de programación
que yo creo fue bastante inspirado por Haskell
pero se integra muy bien con Java
pero también es principalmente funcional
como puedes ver, muchos de los servicios que usamos en el día a día

Turkish: 
Yani, her gün kullandığımız hizmetlerin çoğunun aslında arka planda işlevsel kodlar çalıştırdığını biliyorsunuz.
Az önce bahsettiniz, sonra haskell gelişiminde bir eliniz vardı. Nereden başladın?
Bana bundan bahsetmediğin büyük bir ekibin var mıydı? Ah?
bu ilginçti ve
Böylece fonksiyonel programlamaya ilk başladığımda, dünyadaki farklı üniversitelerde çalışan az sayıda insan vardı.
O günlerde, kendi derleyicinizi yazmak zorunda kaldığınız başka bir yerden işlevsel bir programlama dilini gerçekten alamadınız
[Dünyadaki] birçoğumuz bunu yapıyordu ve sonra [a] sonrasında
Farkettik ve Paul [hugh] denilen bir adamdı güverte yale üniversitesi bu konuda ilk girişimi yaptı.
Hepimizin aynı tür programlama diliyle çalıştığımızı fark ettik
Ama çünkü her birimizin kendi derleyicimiz vardı. Hiçbir kod paylaşamadık
Sonuçlarımızı paylaşamadık
Ve bu sadece bir çaba kaybı gibi görünüyordu, bu yüzden teklife [tooned] yol açtı.

English: 
So you know many of the services that we use [everyday] are actually running functional code in the background
You've just mentioned then you had a hand in the development of haskell. Where did you start?
[did] you have a big team that you weren't where tell me about that? Oh?
so that was interesting and
so when I first got in functional programming there were small number of people working on it at different universities around the world and
In those days you couldn't really get hold of a functional programming language from somewhere else you had to write your own compiler
So many of us around the [world] were doing that and then after [a] while
We realized and it was a man called Paul [hugh] deck yale university took the first initiative to this
We realized that we were all working with very much the same kind of programming language
But because we each had our own compiler. We couldn't share any code
We couldn't share our results
And that just seemed [like] a waste of effort so that led to the proposal [tooned] just

Spanish: 
están corriendo código funcional por debajo
Sean: "Tu acabas de mencionar el haber tenido una participación en el desarrollo de Haskell"
"¿Donde comenzaron?"
"¿Tenían un equipo grande?"
"Cuéntame sobre eso"
¡Oh! Eso fue interesante.
Cuando me adentré en la programación funcional
había un pequeño número de personas trabajando en diferentes universidades alrededor del mundo
y en esos días
tu no podías realmente tener todo de un lenguaje funcional
de alguien más.
Tenías que escribir tu propio compilador.
Y muchos alrededor del mundo estabamos haciendo eso.
y luego, tras un tiempo
supimos que había un hombre llamado Paul Hudak
de la Universidad de Yale
que tomó la primera iniciativa en esto
nos dimos cuenta de que todos estabamos trabajando con
el mismo tipo de lenguaje de programación
pero como todos teníamos nuestro propio compilador
No podíamos compartir ningún código, no podíamos compartir nuestros resultados
y eso parecía ser un desgaste innecesario
y eso llevó a la propuesta de
simplemente tomar el núcleo común
de lo que todos estabamos haciendo

Turkish: 
Hepimizin ne yaptığının ortak çekirdeğini bir araya getirin ve [tasarımcı] hepimizin kullandığı bir programlama dili alın
Haskell olan isim bundan sonra nereden geldi?
Aslında adını aldı
Haskell Curry kimdi
İlk kurulan lambda matematiği ile birlikte çalışan ilk logistlerden biri, kurduğu komitenin dili bir araya getirdiğini mi tasarladı?
sonra bir isim seçmemiz gerektiğine karar verdik ve
kimse gerçekten ne seçeceğini bilmiyordu, bu yüzden biz
Herkesin tahtaya bir teklif yazmasına izin verildi.
ve
O zaman herkesin gidip bir teklifi geçmesine izin verildi, şimdi sıfır isimle sonuçlanacağımızı düşünebilirsiniz.
Yol, ama hayır bir isim vardı
Hayatta kaldı ve köri oldu.
sonra adlandırılmış
Haskell köri
Yani bu iyi oldu. Tamam, yeni dilin köri olarak adlandırılacağını düşündük ve
Bu akşam son şey. Böylece hepimiz yattık
bunun üzerinde uyuma şansımız olduğu ve ertesi sabah birimizin

Spanish: 
juntarlo y diseñar un lenguaje de programación que todos usemos
el que se volvió Haskell
Sean: "¿De donde vino el nombre?"
Se llama así por Haskell Curry
Que fue uno de los primeros logísticos
que trabajó con el cálculo lambda
La primera vez que se juntó el comité
para diseñar el lenguaje
decidimos que debíamos elegir un nombre
y nadie sabía qué elegir
entonces a todos se nos permitió escribir una propuesta
en la pizarra
y luego todos podíamos tachar una propuesta
Podrías pensar que terminaríamos con 0 nombres
pero no, hubo un nombre
que sobrevivió
y fue Curry
por Haskell Curry
Y estaba bien, dijimos "De acuerdo, el nuevo lenguaje se llamará Curry".
Y esto duró una tarde, así que fuimos a dormir.
Lo que significó que tuvimos la oportunidad de consultaro con la almohada.
Y la mañana siguiente uno de nosotros se dio cuenta de que

English: 
Take the common core [of] what we were all doing put it together and [designer] a programming language that we all use
Which became haskell what where did the name come from then?
It's actually named after
Haskell Curry who was
One of the early logicians who work with with lambda calculus the first time that the committee that was formed designed the language got together?
then we decided we had to choose a name and
nobody really knew [what] to choose so we
Everybody was allowed to write up one proposal on the blackboard
and
Then everybody was allowed to go round and cross off one proposal now you might think that we would end up with zero names that
Way, but no there was one name that
Survived and it was curry
named after
Haskell curry
So that was fine. We thought okay the new language will be called curry and
This is last thing in the evening. So we all went to bed
which meant we had a chance to sleep on it and next morning one of us realized that one of the

Turkish: 
O zamanlar çok popüler olan soyut makinelere Tim deniyordu.
Tim curry
Ah sevgili [o] [iyi olmaz] ve bu yüzden onun yerine haskell demeye karar verdik, bu yüzden hala haskell curry'den sonra adlandırıldı
Ancak, işlevsel bir programa baktığımda, ilk gördüğümden sonra ikinci ismi.
Matematiksel bir denklem buna çok benziyor. Evet bu doğru. Yani şeylerden biri matematik gibi
İşlevsel programlar, örneğin matematik dersinde yasa dediğimiz şeyi yerine getirecektir.
x artı y eğer daha rahat ve uygunsa, her zaman y artı x ile değiştirebilirsiniz.
İşlevsel programlar o zaman çok sık bir programı bir başkasıyla değiştirebilir, böylece aynı şeyi ifade etmenin farklı yollarını kullanabilirsiniz.
Ve bir tanesini değiştirmek isteyebilirsiniz, çünkü bunlardan biri çok daha fazla olabilir.
diğerinden daha verimli
ve bilirsin
bu değişimin programınızın genel davranışını değiştirmeyeceği ve

English: 
Abstract machines that was very popular at that time was called the Tim
Tim curry
Oh dear [that] [wouldn't] be good and so we decided to call it haskell instead, so it's still named after haskell curry
But his first name rather than second from what I've [seen] when you look at a functional program
It is very much like a mathematical equation am [I] right with that. Yes, that's right. So one of the things is that like mathematics
Functional programs will satisfy what we call laws for example in mathematics if you see
x plus y you can always replace it by y plus x if that's more convenient and in
Functional programs then very often you may be able to replace one program by another so you have different ways of expressing the same thing
And you can replace one by the other which you may want to do because one of them may be much more
efficient than the other
and you know
that that replacement will not change the overall behavior of your program and

Spanish: 
una de las máquinas abstractas que eran bastantes populares en ese tiempo
se llamba "El Tim"
"Tim Curry"
Oh cielos, eso no hubiese sido bueno.
Entonces decidimos llamarlo Haskell
Todavía llamado en honor a Haskell Curry
pero el nombre en vez del apellido.
Sean: "Me parece que cuando vemos un programa funcional"
"se parece mucho a una ecuación matemática"
"¿Estoy en lo correcto?"
Si, eso es correcto,
una de las razones es que, como las matemáticas
los lenguajes funcionales satisfacen lo que llamamos "reglas"
por ejemplo, en las matemáticas, si tu ves
x+y siempre puedes reemplazarlo por y+x
si eso es más conveniente
y en los lenguajes funcionales
muy comunmente se puede reemplazar un programa por otro
así que tienes diferentes formas de expresar lo mismo
y puedes reemplazar una por la otra
lo que quizá quieres hacer porque una puede ser más eficiente
que la otra
y tu sabes que ese reemplazo no modificará el comportamiento global de tu programa

Turkish: 
Bu yüzden bu yasaların programlar hakkında muhakeme için son derece önemli olduğunu ve size izin verebileceklerini düşünüyoruz.
Örneğin, performansını denemek ve iyileştirmek için programınızı serbestçe yeniden yazın ve hataları tanımadığınızdan emin olun
[Ben] aynı türden farz ediyorum
Bilgisayarda herhangi bir yerde başka bir programlama dili olan mekanikler başka bir programlama dili ile olsa da [yürekten]
Daha hızlı. Bu da ne? Anlaşma ne? Oh, peki, öyleyse
İşlevsel programlama dilleri, daha eski bir programlama dilinin yapmanız gereken uygulama detaylarını çok fazla dikkate alır.
örneğin hafıza yönetimi
ama bugünlerde
Java gibi dilleri kullanmak çok popüler, örneğin bellek yönetimini programlama dilinde işlevsel dil olarak kullanan diller de bunu yapar
Çok sık bunun için bir tür performans cezası var ve bu da demek oluyor ki
İşlevsel programlama araştırmasının en aktif bölümlerinden biri, iyi performans verebilecek derleyiciler geliştirmektir.

English: 
So we find that these laws extremely important for reasoning about programs and they can let you
Rewrite your program quite freely in order to try and improve its performance for example and be sure that you're not introducing bugs
[I'm] assuming that the same kind of
Mechanics are happening somewhere at some level on the computers with any other programming language though is a [repeal] for this is it slow is
It faster. What's that? What's the deal? Oh, well, so
Functional programming languages take care of a lot [of] the implementation details that an older programming languages you have to do
manually for example memory management
but nowadays
It's very popular to use languages like even Java for example which builds memory management into the programming language functional languages do that too
Very often there is some kind of performance penalty for this and that has meant that
One of the very active parts of functional programming research has been developing compilers that [can] give good performance

Spanish: 
Entonces, nosotros encontramos estas reglas extremadamente importantes para razonar sobre
programas, y eso te permite reescribir tu programa
con libertad
por ejemplo para mejorar el desempeño
y asegurarte de que no estás agregando errores
Sean: "Asumiendo que el mismo tipo de mecánicas ocurren en algún lugar de la computadora"
"que con otros lenguajes de programación"
"Hay un costo por esto ¿Es más lento?"
"¿Es más rápido?¿Cuál es la diferencia?"
Los lenguajes de programación funcionales se encargan de
muchos de los detalles de implementación que en otros lenguajes de programación
tienes que hacer manualmente
por ejemplo el manejo de memoria
pero hoy en día es bastante popular usar lenguajes como
Java por ejemplo, que incluye el manejo de memoria en el mismo lenguaje de programación
los lenguajes funcionales hacen eso también
Frecuentemente hay algún tipo de penalización de rendimiento por esto
y eso ha significado que una de las partes más activas de
investigación en programación funcional
ha sido desarrollar compiladores que den un buen desempeño

Spanish: 
a pesar de estar programando en alto nivel
Hoy en día, el código en lenguajes funcionales puede ser tan rápido como
o a veces más rápido que en lenguajes convencionales
Uno de los más grandes beneficios de la programación funcional, por cierto,
es que siempre es seguro
evaluar dos expresiones independientes en paralelo
y eso es porque las funciones no tienen efectos secundarios
todo lo que una función va a hacer es convertir datos de entrada en una salida
y puedes tener dos de esas computaciones
avanzando al mismo tiempo
no pueden interferirse
a diferencia de cuando usas lenguajes de programación en que
cada función puede modificar datos en algún otro lugar al mismo tiempo
no puedes saber cuando, o cuando no, dos funciones se interferirán
y es bastante probable que así sea
y eso significa que
cuando quieres hacer que programas corran en paralelo
cuando quieres que utilicen más de uno de los núcleos
en tu computadora
es mucho más fácil hacer eso si usas un programa funcional
y eso puede dar una ventaja en desempeño
sobre lo que los lenguajes convencionales dan.

Turkish: 
Daha yüksek seviyede programlama yapmanıza rağmen
şu günlerde
Kod yazılan ve işlevsel diller, geleneksel programlama dillerinde yazılan kodlardan daha hızlı veya bazen daha hızlı olabilir
Bu arada fonksiyonel programın çok güzel yararlarından biri
Paralel olarak iki bağımsız ifadeyi değerlendirmenin her zaman güvenli olduğu ve
Bunun nedeni, fonksiyonların hiçbir yan etkisi olmamasıdır; böylece, yapacağınız tüm fonksiyonları girişleri çıkışlara dönüştürebilirsiniz.
Ve bu hesaplardan ikisini aynı anda devam ettirebilirsiniz, aynı zamanda müdahale edemezler.
Oysa eğer kullanırsan
Her işlevin aynı anda başka bir yerde verileri değiştirebileceği programlama dilleri, o zaman söyleyip söyleyemeyeceğinizi söyleyemezsiniz.
İki işlev, büyük olasılıkla buna engel olacak ve programları paralel olarak çalıştırmak istediğinizde bu anlamına gelir.
Bunları dizüstü bilgisayarınızda birden fazla çekirdek kullanmasını istediğinizde
Öyleyse, işlevsel bir programla başlarsanız ve bu performansın üstünde ve üstünde performans avantajı sağlayabiliyorsa, bunu yapmak çok daha kolaydır.

English: 
Despite the fact that you're programming at a higher level
nowadays
Code written and functional languages can be as fast as or sometimes faster than code written in conventional programming languages
one of the very nice benefits of functional program by the way
is that it's always safe to evaluate two independent expressions in Parallel and
That's because functions have no side effects so you can all the functions going to do is convert inputs to outputs
And you can have two of those computations going on at the same time they cannot interfere
Whereas if you use
Programming languages in which each function may be modifying data somewhere else at the same time then you can't tell whether or not
Two functions will interfere they're very likely to and that means that when you want to make programs run in parallel
When you want to make them use more than one of the cores in your laptop
Then it's much easier to do that if you start with a functional program and that can give a performance benefit over and above

Turkish: 
Hangi geleneksel programlama dillerini de duydum?
Fonksiyonel programlamayı kullanarak hack geçirmez bir kod yapma ihtimaliniz var:
Evet, mümkünse hacklenemeyen şeyleri yapmaya çalışmak için birçok çalışma var. Sızıntı olamaz
gizli veri ve
Bu konuda bazı garantiler sağlayacak programlama dilleri üzerinde çalışan insanlar var.
Oldukça başarılı yaklaşımlardan biri, aslında bir kitaplık haline gelmek için haskell içine bir kütüphane inşa etmektir.
özellikle Gizlilik kısıtlamalarını uygulamak
Yani evet, o alanda [iş] devam ediyor
Hızlı çekiniz gibi şeyler hakkında konuşacağız
Ve biliyorsun ki zaten bununla ilgili bazı şeyler çektik ve ne yapıyorsun? Ne yaparsın?
Sırada ne var?
Bu yüzden zamanımın çoğunu bugünlerde hızlıca kontrol etmeye adayorum
çünkü temel fikir elle testler yazmak değildir, çünkü
Çünkü temelde işe yaramıyor

Spanish: 
Sean: "He escuchado también que es posible hacer código a prueba de hackers"
"usando programación funcional ¿Puedes hablarme de eso?"
Sí... hay mucho esfuerzo en
intentar hacer que no se pueda hackear
por ejemplo, las filtraciones
de datos confidenciales
y hay personas trabajando en lenguajes de programación
que ofrecen algunas garantía sobre eso
una de las estrategias más exitosas
es hacer una librería en Haskell
que puede ser utilizada para
forzar las limitaciones de privacidad en particular.
Entonces sí, hay trabajo en esa área.
Sean: "Vamos a hablar de algunas cosas como tu 'Quick check' "
"Tu sabes, hemos grabado algunas cosas respecto a eso"
"Así que ¿Qué haces? ¿Que has hecho? ¿Qué encuentras bueno?"
He dedicado la mayor parte de mi tiempo a "Quick check" estos días
donde la idea básica es
no escribir pruebas a mano
porque...
porque, básicamente, no funciona

English: 
What conventional programming languages have I've heard as well?
there is [a] possibility to make hack-proof code using functional programming is that something you could tell me about or
Yes, so there is a lot of work in trying to make of the cannot be hacked of for example. Can't leak
confidential Data and
There are people who are working on programming languages that will provide some guarantees about that
one of the quite successful approaches is to build a library into haskell in fact that can be used for
enforcing in particular Privacy constraints
So yes, there's work [going] on in [that] area
We're going to talk about things like your quick check
And you know that we've already filmed some stuff on that and what do you up to? What do you do?
What's what's next for you?
So I'm devoting most of my time to quick check nowadays
where the basic idea is not to write tests by hand because
Because basically it doesn't work

Turkish: 
Yazılım o kadar karmaşık ki içinde hiçbir hata olmadığından emin olmak için her türlü garip şeyi denemek zorundasınız.
Kombinasyonlar ve insanların hepsini deneyebilmeleri için denemek için çok fazla kombinasyon var.
Seni temin ederim
Bu hatalardan kaçınmak yerine testler yapmaktır.
Hızlı kontrolün test yazmanıza izin verdiği şey budur
Programınızın ne yapması gerektiğini söyleyen ve ardından ne yaptığınızı kontrol etmek istediğiniz kadar test ürettiği kod
Ve ben uzun yıllar hızlı kontrol ile çalışıyorum [10] yıl önce
Hızlı çek reklamı yapan bir şirket kurdum
Ve bu çok eğlenceliydi çünkü başvurmam [demek]
Bu teknolojiyle tüm gerçek sorunlara her türlü farklı türde yazılımlar, ve bu benim için büyük bir öğrenme deneyimi oldu.
Muazzam kaynağı
Oh bulduğumuz zaman araştırma sorunları, bu durumda iyi uygulamak zordur
Bir profesör ve bir araştırmacı olarak çözecek bir araştırma var.
Üzerinde çalışılması gereken ve çok teşvik edici olan problemler için bana her türlü yeni fikir verildi.

Spanish: 
El software es tan complejo que para asegurarse de que no tiene errores
tienes que probar todo tipo de raras combinaciones
y simplemente hay demasiadas combinaciones que probar
para que sea posible probarlas todas
así que la única forma de
asegurarse de evitar estos errores
es generar pruebas
Y eso es lo que hace "Quick check"
Te permite escribir tests que indican lo que tu programa debería hacer
y entonces genera tantas pruebas como quieras
para comprobar que lo hace
Y he estado trabajando con "Quick check" por varios años ya
hace 10 años fundé una compañía
que ha comercializado "Quick check"
y ha sido tremendamente divertido
porque ha significado aplicar tecnología a todo tipo de problemas reales
diferentes tipos de software
y eso ha sido una gran experiencia de aprendizaje para mi
y una gran fuente de
problemas de investigación en que nos damos cuenta de que es dificil aplicar
en este caso. Bueno, entonces es un problema de investigación a resolver.
Entonces como profesor e investigador
me da todo tipo de ideas nuevas de problemas en los que trabajar
lo que me parece bastante estimulante

English: 
Software is so complex that to make sure there are no bugs in it you have to try all kinds of weird
Combinations, and there are just too many combinations to try for people to be able to try them all so really the only way to
ensure that you
Avoid these bugs is to generate tests instead
That's what quick check does it lets you write test
Code that says what your program [should] do and then it generates as many tests as you want to check that it does
And I've been working with quick check for many years now [10] years ago
I founded a company that is commercializing quick check
And that's been huge fun because it means I get [to] apply
this technology to all of real problems all kinds [of] different kinds of software, and that's been a huge learning experience for me and a
Tremendous source of
Research problems when we find oh, it's hard to apply it in this case well
There's a research [property] to solve so [as] a professor and a researcher
It's given me all kinds of new ideas for problems to work on which which has been very very stimulating

Turkish: 
ve
Bu pozisyonda y'nin değeri, hangisini bulmak için bulmamız gereken bir polinom olacak.
x kuşbaşı artı [olmak] x kare
Artı C. X artı d. Burada bilinmeyen dört şey var x biliyoruz, çünkü biz hayır arasında gidiyoruz [1] 1

English: 
and
the value of y at this position is going to be some polynomial that we have to find which is a
x cubed plus [be] x squared
Plus C. X plus d. There are four unknowns here x we know because we're going between no [1] 1

Spanish: 
Y el valor de y en esta posición
va a ser algún polinomio que debemos hallar
qué es a... x al cubo....
más b... x al caudrado...
más cx... más d.
Hay cuatro incógnitas. Conocemos x porque...
