Our favorite iconoclast, erik meijer, presented a very interesting talk at a recent goto chicago event, functional programming night. In this talk, dave will draw a distinction, and show us how to reclaim agility for ourselves. I am waving my hands on purpose here, this is very spaghetti like code. From 2000 to early 20 he was a software architect for microsoft where he. It turns out that while the agile industry is busy debasing the meaning of the word, the underlying values are still strong. Subjects are the mutable variables of the rx world and in most cases you do not need them. Erik meijer is a dutch computer scientist and entrepreneur. Manuel chakravarty, sigbjorn finne, fergus henderson, marcin kowalczyk, daan leijen, simon marlow, erik meijer, sven panne, simon peyton jones, alastair reid, malcolm. This is the main pr for what will become reactiveui 7. Microsoft opensources reactive extensions programming model. Sign up for your own profile on github, the best place to host code, manage projects, and build software alongside 40 million developers. Dec 09, 2015 view erik meijers profile on linkedin, the worlds largest professional community. Meijer recently tweeted that the course will use hugs instead of ghc.
Erikmeijerfunctionalprogrammingfundamentalslectureserieserikmeijerfunctionalprogrammingfundamentalschapter1 index. Applied duality is the goto source for all rx, ix, and general linq training. In a seminal paper, erik meijer 6 enthusiastically shows an interesting relation between the wellknown sql and oo representations of facts from the real world. Erik meijer s more detailed description of volta and earlier links from the oakleaf blog. My work investigates whether users can train models without any handlabeled training data, instead writing labeling functions, which programmatically label data using weak supervision strategies like heuristics, knowledge bases, or other models. Jan 08, 2015 now github has gulped down npm inc, whats next for the js package registry. This has been created a posteriori with a previous date. Erik meijer functional programming fundamentals, chapter 1. His opening keynote has a rather wild yet empowering message. They are not conversational in nature like most of w. Jun, 2014 erik meijer is actually one of the main guys responsible for the popularization of reactive programming with his rx extensions for. Net library that will take managed event based programming to new levels. I also created a community project to port a gadgeteer modules driver to tinycl. Dave thomas was one of the creators of the agile manifesto.
This is motivated by the discussion with sean parent about promise is a concept with many implementations. Erik meijer and team developer wes dyer, in particular have created a profound and beautiful. Quotes by erik meijer from reactive programming course github. This was my first real attempt at performance tuning and im happy to announce that ive been pretty successful with improving on the existing libraries available in the ecosystem. Fokkinga, an explanation of forwardsbackwards simulation. Jan, 2016 this is a very interesting debate is there a list of features side by side. Parsec is parser combinator library that provides parser building blocks such as primitive parsers, parser operators and higher order functions to build complex parsers out of simple parsers. I run a mac, and i use homebrew instead of mac ports. The goal of a reset stylesheet is to reduce browser inconsistencies in things like default line heights, margins and font sizes of headings, and so on. Erik meijer director of engineering facebook linkedin. He runs the cloud programmability team at microsoft, where his primary focus has been to remove the impedance mismatch between databases and programming languages. In it he says, starting with version 2, a user can conceivably write new powershell cmdlets in powershell, using the builtin ide, completely independently of visual studio. Quantifying the forecast, he says chinas economy or growth.
We crawl and search for broken pages and mixed content, send alerts when your site is down and notify you on expiring ssl certificates. Language agnostic software developer interested in functional programming, software design, web development. From 2000 to early 20 he was a software architect for microsoft where he headed the cloud programmability team. This site uses cookies for analytics, personalized content and ads. Erik meijer email protected is the founder of applied duality and professor of bigdata engineering at delft university of technology. Haskell is a general purpose programming language which is standardized and has pure functional programming features.
Erik meijer s list of recommended books view erik meijer books. I had a great time talking to erik meijer about powershell what it is, how it works under the covers, why we do what we do and where we are going. The value of the event is any associated data that needs to be used by the actor processing the event actor interface. Haskell vs scala know the 9 most useful differences. Reactive extensions rx is now open source scott hanselman. Now github has gulped down npm inc, whats next for the js package registry. This inspired me to start a series of blog posts showing the great stuff powershell has to offer. Learning functional programming through multimedia. Really nice to see this old school approach finally materialize in 2015. Erikmeijerfunctionalprogrammingfundamentals lectureserieserikmeijerfunctionalprogrammingfundamentalschapter1 index.
Standard libraries for the haskell 98 programming language. We offer public and inhouse training sessions for developers and decision makers involved in big data projects that require asynchronous and synchronous data streams and composition of heterogeneous distributed cloud services. We propose three constructive steps towards adoptionoriented language design. We can split the statement to two parts and treat each individually. Its typing discipline is strong, static, inferred, and has no strict semantics. First volta ctp available from microsoft live labs 1262007. Erik meijer footballer born 1969, retired dutch soccer player. Im squeamish about mixing and matching homebrew and ports, although im not sure it would cause. Scott fulton has a good article describing my pdc talk here. So, naturally he designed linq using the same concepts that proved to. Forwards and backwards simulation are techniques to prove that a concrete program satisfies the specification that has been formulated in terms of an abstract program. Erik meijer, who is commonly credited to be the creator of linq, was involved in the design of haskell language. This is true but there is more to the story so here it is. Ive compiled and tested it in windows and linux main os.
Welcome to a new technical series on channel 9 folded into a different kind of 9 format. Apr 06, 2015 erik meijer was also an microsoft employee and responsible for bring linq and fp programming into the vb. Watch this great going deep episode and see how jeffrey talks about this in detail with erik meijer. Interactive proof with cambridge lcf cambridge tracts in theoretical computer science. Robin hanson predicts china virus disaster robin hanson says in few months, china is likely to be a basket case, having crashed their economy in failed attempt to stop covid19 spreading. Swift for windows is a free, open source tool that provide runtime environment for swift programming language to compile and run on windows os with graphical interface dollar. Also provided lots of lectures about fp at channel 9. Jun 19, 2011 quoting jeffrey snover, the architect behind the product now responsible for the entire windows server platform.
The source of the event is the actor that is dispatching the event, and well primarily use this to store channels so that we can send messages events back to the actor. Since then thousands of people have enjoyed using rx in the projects and a number of open source projects like reactiveui also on the podcast have popped up around it. Intro to tinyclr os apac devsquad showcase channel 9. But id be happy if you can provide feedback about improvements, fixes, etc. One hacker way erik meijer picostitch stuff about crafting and.
A few years back i did a podcast with erik meijer about reactive extensions for. Erik meijer and jeffrey snover inside powershell powershell team november 3, 2008 nov 3, 2008 18 i had a great time talking to erik meijer about powershell what it is, how it works under the covers, why we do what we do and where we are going. Erik meijer computer scientist born 1963, dutch computer scientist. Nov 20, 2012 erik meijer discusses functional programming languages, academic versus realworld application of functional programming languages and himself. Sign in sign up instantly share code, notes, and snippets. Oh dear monitors your entire site, not just the homepage. Ill update this post as the team releases ctp source code that runs on visual studio 2010 beta 2 and later. Usually many foss advocates tend to be unaware how much money the big bad microsoft has invested into the ml ecosystem and making fp concepts mainstream. No amount of process, communication, monitoring, any of it can ultimately disguise the fact that were building uncertain and unpredictable things with unknown pitfalls and problems that we wont find out until long after it would have influenced our implementation. In this episode of expert to expert, programming language designer erik meijer chats with ccr creator george chrysanthakopoulos. Used to be a frontender, now im a scrum master ameijernl has 8 repositories available. Github for windows uses the reactive extensions for almost everything it does, including network requests, ui events, managing child processes git. Mar 27, 2012 your mouse is a database web and mobile applications are increasingly composed of asynchronous and realtime streaming services and push notifications.
Interactive proof with cambridge lcf cambridge tracts in theoretical computer science mathematical theory of programme correctness prenticehall international series in computer science the haskell school of expression. As erik meijer relates, if the mountain will not come to mohammed, then mohammed must go to the mountain 1. As most of you know, letsencryptauto is available as an alternative for os packaging, on those operating systems that do not yet have backported packages. From 2000 to early 20 he was a software architect for microsoft where he headed the cloud. Sign up notes playground for erik meijer s c9 haskell lecture series. In this video i will explain about what is tinyclr os, how to deploy it to your dev board and how to create embedded app. Meijer told the audience that he left microsoft in 20 to found his own startup, applied duality, with the goal of making the world asynchronous. Erik meijer quotes in reactive programming coursera. Dr erik meijer functional programming fundamentals. Ive been busy cranking away at this for a month or two. In fact, github uses rx a lot in their windows product. Its probably a fair assumption that he knows more about this topic than most people. Erik meijer is a dutch computer scientist, entrepreneur, and tiedye enthusiast.
Quotes by erik meijer from reactive programming course quotes. Jun 1, 2015 1 minute read comments poodr book category meta sandimetz this category is mainly dedicated to anything related or included in the book practical objectoriented design in ruby, by sandi metz note. Labeling training data is one of the biggest bottlenecks in machine learning today. Jan 03, 2010 first volta ctp available from microsoft live labs 1262007. Hi everyone, im pleased to announce a new base64 library. Among the hottest buzzwords in the it industry these days is big data, but the big is something of a misnomer. Erik meijers more detailed description of volta and earlier links from the oakleaf blog. I do not think overengineering is a subjective term, also common sense.
Erik meijer and peter drayton static typing where possible, dynamic typing when needed no date on pdf, but includes citations from 2004 however in general programmers want to express more advanced contracts about their code. See the complete profile on linkedin and discover eriks. Jan 18, 2008 i caught up with the venerable erik meijer recently to discuss functional programming languages, academic versus realworld application of functional programming languages there are very good reasons. Answers to these questions and much more are to be found in this channel 9 interview with some of microsofts leading language designers and programming thought leaders. It was developed and designed by lennart augustsson, john hughes, paul hudak, john launchbury, simon peyton jones, philip wadler, and erik meijer. Once again the venerable language master erik meijer leads the conversation. I really appreciate the things i learnt from erik meijer, but i am.
Being a big powershell fan but not seeing many fellow developers around me use it, i thought powershell could use some promotion among. There are a lot of different types of actors including. Har erik meijer en ful troja ar det nya har paven en ful hatt. Buses are the mutable variables of the bacon world and in most cases you do not need them. The elephant in the room that everyone is trying to pretend doesnt exist is that none of us know what the hell we are doing. Phrased in terms of category theory, these turn out to be dualizations of each other hence. After that, the claim always push async values should seem rather humdrum.