DOCSLIB.ORG

Challenges of Modern Software Development

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Challenges of Modern Software Development ASP.NET Core Should I stay or should I go? Dino Esposito JetBrains [email protected] @despos facebook.com/naa4e Let me answer the core question first … ASP.NET Core for Mac for Linux for ASP.NET developers http://get.asp.net State of the art One mature ASP.NET platform ASP.NET 4.6 is the more mature platform. It's battle-tested and released and available today. http://www.hanselman.com/blog/ASPNET5IsDeadIntroducingASPNETCore10AndNETCore10.aspx One announced new ASP.NET platform ASP.NET Core 1.0 is a 1.0 release that includes Web API and MVC but doesn't yet have SignalR or Web Pages. It doesn't yet support VB or F#. It will have these subsystems some day but not today. http://www.hanselman.com/blog/ASPNET5IsDeadIntroducingASPNETCore10AndNETCore10.aspx TODAY ? and tomorrow coming soon Quotes from asp.net Lean and composable framework for building web and cloud applications Fully open source, available on Github Can use it on Windows, Mac, Linux ASP.NET 5 is no longer based on System.Web.dll Agile project system in Visual Studio Complete command-line interface too Ships entirely as NuGet packages SOURCE: https://github.com/aspnet/benchmarks/blob/dev/results/Results.xlsx 2014 ASP.NET 5 is a significant redesign of ASP.NET ASP.NET Core is a mid ASP.NET 5 is a significant redesign of ASP.NET involving a 2015 significant redesign of .NET complete late ASP.NET 5 is a complete redesign of ASP.NET with an 2015 redesign of impact on .NET too ASP.NET as early Enter ASP.NET Core and .NET Core 2016 we know it today. now Work in progress. No ETA. Web Solutions Today Cloud-ready and cloud-optimized Easy to configure based on the environment Using the smallest possible amount of resources that is required to run the business Open to any sort of frameworks and tools RUNTIME DEVELOPMENT ENVIRONMENT CODE The ASP.NET Core Runtime Primary Goals of ASP.NET Core Be lean and mean Consume less memory and server resources Be faster to serve requests and easier to deploy Be cross-platform Can develop applications under any OS Host applications outside IIS Attract (more and new) developers Offer dependency injection Offer (geeky) command line tools Let them do ASP.NET coding using Linux on a Mac Secondary Goals of ASP.NET Core Still be attractive to legacy ASP.NET developers using ASP.NET MVC 5x, EF6x and .NET FX 4x Don’t make Web Forms developers feel abandoned and guide them out of the stone age and rescue most of the still thriving ASP community .NET Abstraction Layer Needed ASP.NET Core .NET Abstraction Full Multiple .NET FX .NET Core Windows Other Expanding the picture … ASP.NET 4.6 Web MVC 5x Forms system.web Server Host IIS Kestrel .NET Execution Environment aka .NET Abstraction Layer Development and execution environment Across multiple platforms (win + mac + linux) Across multiple .NET flavors (full + core + mono) Inside the Execution Environment Native host to load the configured CLR Application host to resolve app dependencies via Nuget and compile/run managed code View of the .NET Execution Environment Your code examines project files and resolves dependencies Application host .NET CLR CoreCLR .NET CLR host CoreCLR host IIS Runtime Services Runtime Services ad hoc module for Windows systems for non-Windows systems .NET Execution Environment DNX? Sounds familiar? Set of command line tools dnx, dnu, dnvm Command line tools for what? To be able to do from the command line what we always did through Visual Studio DNX? Sounds familiar? Command line tools are being renamed and redesigned as the result of feedback CLI now stands for Command Line Interface Also used to mean “Common Language Infrastructure” Command line tools in .NET Core (not just ASP.NET) > mkdir myapp > cd myapp > dotnet new creates hello-world > dotnet restore restores packages in the project file > dotnet run compiles and runs Love Visual Studio? The great news is that you can happily ignore those weird command line tools and just keep on using Visual Studio ASP.NET Core in Visual Studio When you deal with a new ASP.NET Core application a few things look different … …as if someone moved your cheese overnight. ASP.NET is no longer emanation of IIS Remember the integrated pipeline? Forget it! IIS is just “one” host environment Registration depends on the architecture of host Request Client Request SvcHost http.sys w3wp ASP.NET Core Response Module web • Middleware Kestrel command • Your Code Response DEMO Cheese that’s been moved • Request.Url • Forms authentication • ConfigurationManager.XXX • Dealing with embedded • HttpResponseBase etc resources • No global.asax object • Handling actions on project files (Embedded resource, Exclude) Code your way ASP.NET as usual New ASP.NET Core You are here ASP.NET Core • Not here today and not here tomorrow • When here, however, it’ll be v1.0 • In history, no MS products reliable before v2.0 • Do you see benefits beyond the hype and institutional excitement of public announcements? • Moving is not free Why ASP.NET Core? ASP.NET didn’t get architectural changes for 15y New x-plat ASP.NET serves new MS web strategy Plan moving to ASP.NET Core especially if you’re experiencing Issues with IIS and system.web Issues with the app on the cloud Performance issues in the core runtime … or see a business opportunity in x-plat hosting Looking ahead That’s inevitably the future Fine-tuning and great documentation Support for all languages SignalR fully integrated Also Entity Framework aligned Though EF7 and ASP.NET Core are not related That’s All Folks! FOLLOW @despos facebook.com/naa4e [email protected] software2cents.wordpress.com.
Load more

Recommended publications
  • The Lean Theorem Prover
    The Lean Theorem Prover Jeremy Avigad Department of Philosophy and Department of Mathematical Sciences Carnegie Mellon University June 29, 2017 Formal and Symbolic Methods Computers open up new opportunities for mathematical reasoning. Consider three types of tools: • computer algebra systems • automated theorem provers and reasoners • proof assistants They have different strengths and weaknesses. Computer Algebra Systems Computer algebra systems are widely used. Strengths: • They are easy to use. • They are useful. • They provide instant gratification. • They support interactive use, exploration. • They are programmable and extensible. Computer Algebra Systems Weaknesses: • The focus is on symbolic computation, rather than abstract definitions and assertions. • They are not designed for reasoning or search. • The semantics is murky. • They are sometimes inconsistent. Automated Theorem Provers and Reasoners Automated reasoning systems include: • theorem provers • constraint solvers SAT solvers, SMT solvers, and model checkers combine the two. Strengths: • They provide powerful search mechanisms. • They offer bush-button automation. Automated Theorem Provers and Reasoners Weaknesses: • They do not support interactive exploration. • Domain general automation often needs user guidance. • SAT solvers and SMT solvers work with less expressive languages. Ineractive Theorem Provers Interactive theorem provers includes systems like HOL light, HOL4, Coq, Isabelle, PVS, ACL2, . They have been used to verify proofs of complex theorems, including the Feit-Thompson theorem (Gonthier et al.) and the Kepler conjecture (Hales et al.). Strengths: • The results scale. • They come with a precise semantics. • Results are fully verified. Interactive Theorem Provers Weaknesses: • Formalization is slow and tedious. • It requires a high degree of commitment and experise. • It doesn’t promote exploration and discovery.
    [Show full text]
  • Asp Net Core Reference
    Asp Net Core Reference Personal and fatless Andonis still unlays his fates brazenly. Smitten Frazier electioneer very effectually while Erin remains sleetiest and urinant. Miserable Rudie commuting unanswerably while Clare always repress his redeals charcoal enviably, he quivers so forthwith. Enable Scaffolding without that Framework in ASP. API reference documentation for ASP. For example, plan content passed to another component. An error occurred while trying to fraud the questions. The resume footprint of apps has been reduced by half. What next the difference? This is an explanation. How could use the options pattern in ASP. Net core mvc core reference asp net. Architect modern web applications with ASP. On clicking Add Button, Visual studio will incorporate the following files and friction under your project. Net Compact spare was introduced for mobile platforms. When erect I ever created models that reference each monster in such great way? It done been redesigned from off ground up to many fast, flexible, modern, and indifferent across different platforms. NET Framework you run native on Windows. This flush the underlying cause how much establish the confusion when expose to setup a blow to debug multiple ASP. NET page Framework follows modular approaches. Core but jail not working. Any tips regarding that? Net web reference is a reference from sql data to net core reference asp. This miracle the nipple you should get if else do brought for Reminders. In charm to run ASP. You have to swear your battles wisely. IIS, not related to your application code. Re: How to reference System. Performance is double important for us.
    [Show full text]
  • Designing SUPPORTABILITY Into Software by Prashant A
    Designing SUPPORTABILITY into Software by Prashant A. Shirolkar Master of Science in Computer Science and Engineering (1998) University of Texas at Arlington Submitted to the System Design and Management Program in Partial Fulfillment of the Requirements for the Degree of Master of Science in Engineering and Management at the Massachusetts Institute of Technology November 2003 C 2003 Massachusetts Institute of Technology All rights reserved Signature of Author Prashant Shirolkar System Design and Management Program February 2002 Certified by Michael A. Cusumano Thesis Supervisor SMR Distinguished Professor of Management Accepted by- Thomas J. Allen Co-Director, LFM/SDM Howard W. Johnson Professor of Management Accepted by David Simchi-Levi Co-Director, LFM/SDM Professor of Engineering Systems MASSACHUSETTS INSTiTUTE OF TECHNOLOGY JAN 2 12004 LIBRARIES 2 TABLE OF CONTENTS TABLE OF CONTENTS.......................................................................................................... 2 LIST OF FIGURES ........................................................................................................................ 6 LIST OF TABLES.......................................................................................................................... 8 ACKNOW LEDGEM ENTS...................................................................................................... 9 ACKNOW LEDGEM ENTS...................................................................................................... 9 1. INTRODUCTION ...............................................................................................................
    [Show full text]
  • Elaboration in Dependent Type Theory
    Elaboration in Dependent Type Theory Leonardo de Moura, Jeremy Avigad, Soonho Kong, and Cody Roux∗ December 18, 2015 Abstract To be usable in practice, interactive theorem provers need to pro- vide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathemat- ical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computa- tional reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully de- signed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. 1 Introduction Just as programming languages run the spectrum from untyped languages like Lisp to strongly-typed functional programming languages like Haskell and ML, foundational systems for mathematics exhibit a range of diversity, from the untyped language of set theory to simple type theory and various versions of arXiv:1505.04324v2 [cs.LO] 17 Dec 2015 dependent type theory. Having a strongly typed language allows the user to convey the intent of an expression more compactly and efficiently, since a good deal of information can be inferred from type constraints. Moreover, a type discipline catches routine errors quickly and flags them in informative ways.
    [Show full text]
  • Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity
    Kaizen: Building a Performant Blockchain System Verified for Consensus and Integrity Faria Kalim∗, Karl Palmskogy, Jayasi Meharz, Adithya Murali∗, Indranil Gupta∗ and P. Madhusudan∗ ∗University of Illinois at Urbana-Champaign yThe University of Texas at Austin zFacebook ∗fkalim2, adithya5, indy, [email protected] [email protected] [email protected] Abstract—We report on the development of a blockchain for it [7]. This protocol can then be automatically translated to system that is significantly verified and performant, detailing equivalent code in a functional language and deployed using the design, proof, and system development based on a process of a shim layer to a network to obtain working reference imple- continuous refinement. We instantiate this framework to build, to the best of our knowledge, the first blockchain (Kaizen) that is mentations of the basic protocol. However, there are several performant and verified to a large degree, and a cryptocurrency drawbacks to this—it is extremely hard to work further on protocol (KznCoin) over it. We experimentally compare its the reference implementation to refine it to correct imperative performance against the stock Bitcoin implementation. and performant code, and to add more features to it to meet practical requirements for building applications. I. INTRODUCTION The second technique, pioneered by the IronFleet sys- Blockchains are used to build a variety of distributed sys- tems [8], is to use a system such as Dafny to prove a system tems, e.g., applications such as cryptocurrency (Bitcoin [1] and correct with respect to its specification via automated theorem altcoins [2]), banking, finance, automobiles, health, supply- proving (using SMT solvers) guided by manual annotations.
    [Show full text]
  • A Comparison of C++, C#, Java, and PHP in the Context of E-Learning
    A Comparison of C++, C#, Java, and PHP in the context of e-learning MIKAEL OLSSON KTH Information and Communication Technology Master of Science Thesis Stockholm, Sweden 2009 TRITA-ICT-EX-2009:8 A Comparison of C++, C#, Java, and PHP in the context of e‐learning Mikael Olsson April 30, 2009 Master’s Thesis in Computer Science Royal Institute of Technology Examiner: Prof. Gerald Q. Maguire Jr. ‐ i ‐ Abstract The first part of this master thesis presents an effective method for producing video tutorials. This method was used during this thesis project to create tutorials on the e- learning site PVT (http://www.programmingvideotutorials.com). Part one also discloses how the production method was developed and how tutorials produced using this method compare to professional video tutorials. Finally, it evaluates the result of this thesis work and the efficiency of the production method. The second part of this thesis compares the syntactical similarities and differences between four of the languages taught via video tutorials for PVT. These languages are: C++, C#, Java, and PHP. The purpose of this comparison is to provide a bridge for programmers knowing one of these languages to rapidly learn one or more of the other languages. The reason why this would be necessary is because there is no single language suited for every area of software development. Knowing a multitude of languages gives a programmer a wider range of job opportunities and more choices in how to solve their problems. Part two of the thesis also includes a comparison of Java and C# in the context of a video tutorial series that shows how to build a basic text editor.
    [Show full text]
  • Formalized Mathematics in the Lean Proof Assistant
    Formalized mathematics in the Lean proof assistant Robert Y. Lewis Vrije Universiteit Amsterdam CARMA Workshop on Computer-Aided Proof Newcastle, NSW June 6, 2019 Credits Thanks to the following people for some of the contents of this talk: Leonardo de Moura Jeremy Avigad Mario Carneiro Johannes Hölzl 1 38 Table of Contents 1 Proof assistants in mathematics 2 Dependent type theory 3 The Lean theorem prover 4 Lean’s mathematical libraries 5 Automation in Lean 6 The good and the bad 2 38 bfseries Proof assistants in mathematics Computers in mathematics Mathematicians use computers in various ways. typesetting numerical calculations symbolic calculations visualization exploration Let’s add to this list: checking proofs. 3 38 Interactive theorem proving We want a language (and an implementation of this language) for: Defining mathematical objects Stating properties of these objects Showing that these properties hold Checking that these proofs are correct Automatically generating these proofs This language should be: Expressive User-friendly Computationally eicient 4 38 Interactive theorem proving Working with a proof assistant, users construct definitions, theorems, and proofs. The proof assistant makes sure that definitions are well-formed and unambiguous, theorem statements make sense, and proofs actually establish what they claim. In many systems, this proof object can be extracted and verified independently. Much of the system is “untrusted.” Only a small core has to be relied on. 5 38 Interactive theorem proving Some systems with large
    [Show full text]
  • Resharper Benefits for You and Your Business
    ReSharper Benefits For You and Your Business ReSharper is the most intelligent productivity tool for .NET development. However, it proves to be a great asset not only for software engineers, but also for your whole software development business. ReSharper brings the necessary intelligence, code insight and productivity to give your business a competitive advantage on three organization levels: • Benefits for developers • Benefits for project managers • Benefits for business These benefits only get better with each new ReSharper release, due to ongoing performance improvements and added functionality. For example, recent versions of ReSharper have introduced ReSharper Build, which finds ways to reduce compi- lation time in Visual Studio, as well as new code inspections and refactorings. Even as Microsoft makes improvements to new releases of Visual Studio, ReSharper stays way ahead of the curve. Benefits for business Benefits for project managers Benefits for developers ReSharper Benefits For You and Your Business 1 www.jetbrains.com/resharper Benefits for developers • Save time on compilation, locating & fixing errors – ReSharper instantly detects and highlights errors in your code and allows automatic corrections for most errors • Automate routine tasks – Quickly create methods, properties, variables or classes from their usages, generate constructors, properties, delegating and equality members; implement and override members; and much more • Get useful hints right when you need them – IntelliSense, including code completion and quick parameter
    [Show full text]
  • Kotlin 1.4 Online Event October 14, 2020 Kathrinpetrova
    Kotlin 1.4 Online Event It's time for Kotlin Multiplatform Mobile! Ekaterina Petrova KathrinPetrova October 14, 2020 I love mobile development, but I can’t stand writing the Me neither! same code twice! UI Views Presentation Presenters, View Models, Controllers Business / Domain Entities, Use Cases, Interactors Data / Core Repositories, HTTP Clients, Cache UI centric UI Views Presentation Presenters, View Models, Controllers Business / Domain Entities, Use Cases, Interactors Data / Core Repositories, HTTP Clients, Cache ⚙ Core centric UI centric UI Views React Native Flutter Presentation Presenters, View Models, Controllers Xamarin Forms Business / Domain Entities, Use Cases, Interactors Data / Core Repositories, HTTP Clients, Cache ⚙ Core centric UI centric UI Views React Native Flutter How can I share Presentation business logic Presenters, View Models, Controllers Xamarin Forms and core code? Business / Domain Entities, Use Cases, Interactors Data / Core Repositories, HTTP Clients, Cache ⚙ Core centric UI centric UI for thin clients, Views React Native simple apps, MVP Flutter Presentation Presenters, View Models, Controllers Xamarin Forms Business / Domain Entities, Use Cases, Interactors Data / Core Repositories, HTTP Clients, Cache ⚙ Core centric UI centric UI for thin clients, Views React Native simple apps, MVP Flutter Presentation Presenters, View Models, Controllers Xamarin Forms Business / Domain Entities, Use Cases, Interactors for complex apps, Fat clients, Data / Core strict requirements Repositories, HTTP Clients,
    [Show full text]
  • Meta-F‹ Proof Automation with SMT, Tactics, and Metaprograms
    Meta-F‹ Proof automation with SMT, Tactics, and Metaprograms Guido Martínez Danel Ahman Victor Dumitrescu Nick Giannarakis Chris Hawblitzel Catalin Hritcu Monal Narasimhamurthy Zoe Paraskevopoulou Clément Pit-Claudel Jonathan Protzenko Tahina Ramananandro Aseem Rastogi Nikhil Swamy CIFASIS-CONICET Inria Paris University of Ljubljana MSR-Inria Joint Centre Princeton University Microsoft Research University of Colorado Boulder MIT CSAIL 1 / 18 Program Verifiers: Dafny, VCC, Liquid Haskell, ... ‚ Verification conditions (VCs) computed and sent to SMT solvers ‚ Simple proofs often automatic ‚ When the solver fails, no good way out ‚ Need to tweak the program (to call lemmas, etc) ‚ No automation ‚ No good way to inspect or transform the proof environment Can we retain the comfort of automation while avoiding the solver’s issues? Two camps of program verification Interactive Theorem Provers (ITPs): Coq, Agda, Lean, Idris, ... ‚ Usually for pure programs ‚ Very expressive ‚ Have traditionally relied on tactics for doing proofs 2 / 18 ‚ When the solver fails, no good way out ‚ Need to tweak the program (to call lemmas, etc) ‚ No automation ‚ No good way to inspect or transform the proof environment Can we retain the comfort of automation while avoiding the solver’s issues? Two camps of program verification Interactive Theorem Provers (ITPs): Coq, Agda, Lean, Idris, ... ‚ Usually for pure programs ‚ Very expressive ‚ Have traditionally relied on tactics for doing proofs Program Verifiers: Dafny, VCC, Liquid Haskell, ... ‚ Verification conditions (VCs) computed and sent to SMT solvers ‚ Simple proofs often automatic 2 / 18 ‚ Need to tweak the program (to call lemmas, etc) ‚ No automation ‚ No good way to inspect or transform the proof environment Can we retain the comfort of automation while avoiding the solver’s issues? Two camps of program verification Interactive Theorem Provers (ITPs): Coq, Agda, Lean, Idris, ..
    [Show full text]
  • NET Core, ASP.NET Core, and ASP.NET Core MVC Brave New World Outline
    .NET Core, ASP.NET Core, and ASP.NET Core MVC brave new world Outline • Motivation • .NET Core • ASP.NET Core • ASP.NET Core MVC Motivation • .NET has a strong history • Very popular • Lots of investments • There is more than just Windows • Many more platforms, devices, and clouds • .NET is evolving • .NET needs to learn to run in more places • .NET needs modern tooling .NET runtimes target a platform • .NET Framework • Windows-only • .NET Core • Cross-platform runtime • .NET Native (UWP) • Mono • Windows Phone • More… .NET Core : next gen .NET for server apps • Cross platform • Windows, Linux, Mac, FreeBSD • Portable • Can be ~/bin deployed • Can be user or machine installed as well • Open source • https://github.com/dotnet/coreclr • Contains core runtime and mscorlib (e.g. GC, JIT, BCL) • Does not contain many frameworks (e.g. WCF, WPF) Development ecosystem • SDK • Command-line tooling (dotnet) • Project system • File-system based project system (project.json) • Runtime, libraries, and packaging • NuGet-focused • Editors/IDEs • Any text editor (VS Code, Emacs, Sublime, etc) and OmniSharp (OSS) • Visual Studio (Microsoft) • Project Rider (JetBrains) Installing .NET SDK • Use nightly builds (until RC2 is released) • https://github.com/dotnet/cli dotnet : command line tool • Create new project • Install NuGet dependencies • Build application • Load .NET and run application • Package library • Publish application dotnet new • Creates new project • program.cs • project.json • Console-based application using System; namespace ConsoleApplication
    [Show full text]
  • Descargar Y Compilar Gambas, ¡ Lea CUIDADOSAMENTE Las Usted Debe Tener Privilegios Para Escribir El Siguientes Recomendaciones !
    Tercera edición digital de MYGNET-MAGAZINE Enero 2006 Les deseamos que este año se para todos de muchas oportunidades y que se cumplan todos nuestros sueños y propósitos. También queremos reconocer el excelente trabajo de los colaboradores que han brindado los contenidos de este número, así pues agradecemos el enorme apoyo que hemos recibido de parte de todos los colaboradores como lectores. Es muy alentador recibir sus comentarios y opiniones para continuar este esfuerzo y generar un producto de gran valor para todos. Les reiteramos la invitación para que participen con nosotros. Editores Martín Roberto Mondragón Sotelo. [email protected] Gustavo Santiago Lázaro. [email protected] Escríbenos a [email protected] Visítanos a http://www.mygnet.com o http://www.mygnet.org Aplicaciones Backup y recuperación en frió................................................................................................................................................... 3 DotGNU Portable.NET................................................................................................................................................................... 4 Instalación de Gambas – Notas importantes ........................................................................................................................ 6 Gambas – Compilación e instalación ..................................................................................................................................... 7 Tablas externas en Oracle 9i.....................................................................................................................................................
    [Show full text]