bilgisayar bilimcileri haklıymıs¸ · 2016-08-09 · i 2012 %20 functional i “lambdas in java...

Is it hot or is it not?Bilgisayar Bilimleri Kel Alaka?

Neden Fonksiyonel Programlama?Nedir Fonksiyonel Programlama?

Bilgisayar Bilimcileri HaklıymısProgramlama dillerindeki son gelismeler

Chris Stephenson

Department of Computer Science, Istanbul Bilgi University

Last compiled on March 30, 2012

Chris Stephenson Bilgisayar Bilimcileri Haklıymıs Slide 1 of 47



I Java is the new Cobol




I Java is the new CobolI lambda is the new boy on the block




I Anahtar kelimelerI Functional,I lambda,I closure,I first class functions,I first class types,I Generic types




λis the new boy on the block




I Yazılı gelistirme konferanslarıI Let’s Google for itI http://bit.ly/GW7GsbI Biraz tarihi olanları seçelim




I QCON 2010, 2011, 2012I %20 Functional Konuları




I QCON 2012I Simon RitterI “Java is not the new Cobol”I Sunuma bir göz atalım




I QCON 2012I Philip WadlerI Pizzayı kim ısmarlamıs?




I ACCU (C ve C++)I 2002-2007 %0 FunctionalI 2008 Özel track %10 FunctionalI 2009-2011 %10 - %15 Functional




I ACCU (C ve C++)I 2012 %20 FunctionalI “Lambdas in Java 8”I “Refactoring to Functional”I “Functional programming you

already know”I “Generic Types”




bizde bile...




En samimi iltifat taklittir




Kötü taklit olsa da




Dart and Go -Google has started to lose the plot.




I Diller - syntax ve semanticsI Space and time




I Church - λ - motation yokI Turing Makinesi - mutationI birlestilerI Church-Turing thesis




VisionIt is not the task of the University to offer

what society asks for, but to give whatsociety needs.

Edsger W Dijkstra




- eski bir slayt

Vision - eski bir slayt

I FOSS - 2000I Java - 2000I Data Driven Design and functional

programming - 2003




Bilgisayar Bilimlerinin (eski) Türkiye Bayisinin vizyonun üç (deli)maddesi

I Java (2000)

I FOSS (2000)

I Functional programming (2003)





Java - yep yeniydi (1995)





FOSS:"We think of Linux as a competitor in the student and hobbyist

market but I really don’t think in the commercial market we’ll see itin any significant way." Bill Gates, 2001





FOSS:





FOSS:Windows Phone’i unutmayalım...





Functional Programming





Functional ProgrammingThe future is functional - the time has come.




The future is functional - the time hascome.

I Scala (who is there?) Martin OderskyI ClojureI JavascriptI Whalesong




The future is functional - the time hascome.




Neden yeni diller? Yeni yaklasımlar?Sorunlar var.




Tabii, Ama neden fonksiyonel?




Scala’dan birkaç örnek.




Twitter diyor ki:“ I think it may just be a property of large

systems in dynamic languages, that eventuallyyou end up rewriting your own type system,

and you sort of do it badly. You’re checking fornull values all over the place. ”




Twitter diyor ki:“ It is a shame to have to write all that when

there is a solution that has existed in the worldof programming languages for decades now. ”




Twitter diyor ki:“ .. it was wonderful to use a runtime I wasfamiliar with and be able to use functionalcombinators and closures and higher order

functions, all these things that I’ve wanted touse more in production systems. ”




Twitter diyor ki:“ To me, languages like Ruby, Scala, and Pythonare very high level, because you can write a few

lines of code to do what might take ten ortwenty lines in Java, or 250 lines in C. ”




Twitter diyor ki:“ The hardest part was just switching over from

the Ruby mentality to the Scala mentality.Trying to think more functionally. Trying to

think more immutably. Thinking about statictyping for the first time in several years.

”http://www.artima.com/scalazine/articles/twitter_on_scala.html




The Guardian diyor ki:“ It took us a while to realise that most of theloops we wrote in Java were actually ’map’ or

’flatMap’ ”http://www.slideshare.net/tackers/java-to-

scala




Ne var?I First class functions -parametre ve

sonuç olabilirI lambdaI Static, nested, scopeI ClosuresI Comprehensions, map, filter, fold ve

saireI Mutation - yoookI (bazen) First class static types




Ufak örnekler:




Bunlar da lazımI Program by DesignI Data Driven designI Test Driven Development




Çalısyor mu?I No mutation -> optimisationI Higher order -> optimisationI Deforesting




Bilgisayar Bilimlerine Ihtiyaç var.




Bilgisayar Bilimlerine Ihtiyaç var.video.cs.bilgi.edu.tr

courses.cs.bilgi.edu.tr(login as guest)

is Creative Commons licensed!




Çünkü....Standart müfredat budur

Pieter Bruegel the Elder, 1568, The blind leading the blind




And if you do not believe me, the news from theEuropean job market is:http://bit.ly/H31VgK


bilgisayar bilimcileri haklıymıs¸ · 2016-08-09 · i 2012 %20 functional i “lambdas in java...

Documents