How F# Learned to Stop Worrying and Love the Data
•Download as PPTX, PDF•
4 likes•1,996 views
The world of data speaks a different language than the world of programming languages. It uses REST, SQL database schema, XML, JSON while programming languages only understand types and classes. This causes big confusion when we try to access data from programming languages, especially from those with (otherwise very useful) static type systems. How can a programming language learn to understand data? In this talk, I'll show how this is done using type providers in F# 3.0. You'll see how integrating data into the programming language opens the possibilities for creating exciting applications.
Report
Share
Report
Share
Recommended
Domain Specific Languages: The Functional Way
In software development, we often face the same problem over and over again. For example, when designing user-interfaces, we need to specify the layout of components; when designing financial systems, we need to detect various patterns in changing prices. The Domain Specific Language (DSL) approach is to design a language for the specific problem domain and then use it repeatedly to solve multiple instances of the same problem.
In this talk, we look how to think about DSLs in a functional way. This lets us focus on the domain. Rather than worrying about the syntax, we start by understanding what problems we actually want to model and what is the best way to do so. Along the way, we’ll look at three fun examples ranging from a language for building 3D objects to a language for detecting price change patterns.
Information-rich programming in F# (ML Workshop 2012)
We live in an information-rich world that provides huge opportunities for programmers to explore and create exciting applications. Traditionally, statically typed programming languages have not been aware of the data types that are implicitly available in the outer world such as the web, databases and semi-structured files. This tutorial presents the recent work on F# Type Providers - a language mechanism that enables a smooth integration of diverse data sources into an ML-style programming language. As a case study, we look at a type provider for accessing the world development indicators from the World Bank and we will discuss some intriguing research problems associated with mapping real-world data into an ML-style type system.
Dmitry mozorov on code quotations code as-data for f#
This document summarizes code quotations in F# and their uses, including for meta-programming, code transformation, testing frameworks, type providers, and data binding. Key points include: code quotations allow treating code as data; F# supports full language quotations unlike C# expression trees; quotations enable composing and decomposing code; and quotations are essential for type providers to access and represent types from other sources. Examples are provided for constructing and splicing quotations, implementing type providers, and using quotations for GUI input validation and data binding.
Creating Domain Specific Languages in F#
When designing software, we often need to solve numerous instances of the same problem. When designing user-interfaces, we need to describe the layout and interaction. When financial systems, we need to describe a wide range of financial contracts or, for example, recognize different patterns in price change.
Domain Specific Languages (DSLs) give us a way to solve such repeating problems. By designing a composable functional library, we can build an expressive language for describing our problems. Using the flexible F# syntax, we can get code that even non-programmers can understand.
In this practically oriented talk, we'll develop a number of sample DSLs, ending with realistic examples. We'll cover both basic principles of DSL design as well as advanced tricks, such as using the F# 3.0 query syntax.
Progressive f# tutorials nyc dmitry mozorov & jack pappas on code quotations ...
Code Quotations: Code-as-Data for F#
This tutorial will cover F# Code Quotations in-depth. You'll learn what Code Quotations are, how to use them, and where to apply them in your applications. We'll work through several real-world examples to highlight the important features -- and potential pitfalls -- of Code Quotations.
F# and Financial Data Making Data Analysis Simple
This document discusses F# and its use for financial data analysis. It introduces Tomas Petricek and his work contributing to F# and authoring books on functional programming. It also discusses BlueMountain Capital, where Tomas worked briefly and where F# is used for trading strategies. The document then describes the F# Data Science Working Group and its libraries for data acquisition, cleaning, transformation, and visualization. Key libraries discussed are Deedle for exploratory data analysis and the F# R Provider for integration with R packages. Examples are provided demonstrating use of these libraries for understanding time series data and US debt. Support for the FsLab project is encouraged through contributions, feedback, and integration with other packages.
F# Type Providers in Depth
Talk slides from the Functional Programming eXchange 2012 on F# type providers. Examples include WorldBank data, SQL, OData and WSDL as well as structure inference for XML files.
Effective Data Analysis with Deedle
Deedle is an open source library for data analysis and time series analysis in F# and C#. It allows working with data in series (key-value mappings) and frames (row-key, col-key mappings). Deedle supports missing values, immutable series, column-wise mutable frames, and data alignment. The document demonstrates how to use Deedle to explore titanic passenger data, stock prices, and US debt data. It also discusses integrating Deedle with other packages like R and opportunities to contribute to the project.
Recommended
Domain Specific Languages: The Functional Way
In software development, we often face the same problem over and over again. For example, when designing user-interfaces, we need to specify the layout of components; when designing financial systems, we need to detect various patterns in changing prices. The Domain Specific Language (DSL) approach is to design a language for the specific problem domain and then use it repeatedly to solve multiple instances of the same problem.
In this talk, we look how to think about DSLs in a functional way. This lets us focus on the domain. Rather than worrying about the syntax, we start by understanding what problems we actually want to model and what is the best way to do so. Along the way, we’ll look at three fun examples ranging from a language for building 3D objects to a language for detecting price change patterns.
Information-rich programming in F# (ML Workshop 2012)
We live in an information-rich world that provides huge opportunities for programmers to explore and create exciting applications. Traditionally, statically typed programming languages have not been aware of the data types that are implicitly available in the outer world such as the web, databases and semi-structured files. This tutorial presents the recent work on F# Type Providers - a language mechanism that enables a smooth integration of diverse data sources into an ML-style programming language. As a case study, we look at a type provider for accessing the world development indicators from the World Bank and we will discuss some intriguing research problems associated with mapping real-world data into an ML-style type system.
Dmitry mozorov on code quotations code as-data for f#
This document summarizes code quotations in F# and their uses, including for meta-programming, code transformation, testing frameworks, type providers, and data binding. Key points include: code quotations allow treating code as data; F# supports full language quotations unlike C# expression trees; quotations enable composing and decomposing code; and quotations are essential for type providers to access and represent types from other sources. Examples are provided for constructing and splicing quotations, implementing type providers, and using quotations for GUI input validation and data binding.
Creating Domain Specific Languages in F#
When designing software, we often need to solve numerous instances of the same problem. When designing user-interfaces, we need to describe the layout and interaction. When financial systems, we need to describe a wide range of financial contracts or, for example, recognize different patterns in price change.
Domain Specific Languages (DSLs) give us a way to solve such repeating problems. By designing a composable functional library, we can build an expressive language for describing our problems. Using the flexible F# syntax, we can get code that even non-programmers can understand.
In this practically oriented talk, we'll develop a number of sample DSLs, ending with realistic examples. We'll cover both basic principles of DSL design as well as advanced tricks, such as using the F# 3.0 query syntax.
Progressive f# tutorials nyc dmitry mozorov & jack pappas on code quotations ...
Code Quotations: Code-as-Data for F#
This tutorial will cover F# Code Quotations in-depth. You'll learn what Code Quotations are, how to use them, and where to apply them in your applications. We'll work through several real-world examples to highlight the important features -- and potential pitfalls -- of Code Quotations.
F# and Financial Data Making Data Analysis Simple
This document discusses F# and its use for financial data analysis. It introduces Tomas Petricek and his work contributing to F# and authoring books on functional programming. It also discusses BlueMountain Capital, where Tomas worked briefly and where F# is used for trading strategies. The document then describes the F# Data Science Working Group and its libraries for data acquisition, cleaning, transformation, and visualization. Key libraries discussed are Deedle for exploratory data analysis and the F# R Provider for integration with R packages. Examples are provided demonstrating use of these libraries for understanding time series data and US debt. Support for the FsLab project is encouraged through contributions, feedback, and integration with other packages.
F# Type Providers in Depth
Talk slides from the Functional Programming eXchange 2012 on F# type providers. Examples include WorldBank data, SQL, OData and WSDL as well as structure inference for XML files.
Effective Data Analysis with Deedle
Deedle is an open source library for data analysis and time series analysis in F# and C#. It allows working with data in series (key-value mappings) and frames (row-key, col-key mappings). Deedle supports missing values, immutable series, column-wise mutable frames, and data alignment. The document demonstrates how to use Deedle to explore titanic passenger data, stock prices, and US debt data. It also discusses integrating Deedle with other packages like R and opportunities to contribute to the project.
Accessing loosely structured data from F# and C#
Slides from my talk at GOTO 2011. The presentation discusses how to bridge the impedance mismatch between the structure used in programming languages (classes, records, unions, ...) and structure used in data sources (database schema, XML file or JSON document). The talk shows how to solve this problem at three scales - using dynamic typing, by defining structure explicitly and using F# type providers.
Concurrent programming with Agents
This document discusses building concurrent programs using agents. It introduces agents and describes how they exchange messages and react in a reactive way. Inside an agent's brain, the document explains how agents can have a single state or multiple states implemented as a state machine. Agents communicate through messages and events to decouple them. Reusable agents like a bulking agent and blocking queue agent are presented. The document concludes with discussing how to organize large networks of agents using patterns like worker agents, layered networks, and pipeline processing.
Asynchronous programming in F# (QCon 2012)
Asynchronous programming on the server (using F# agents) and on the client (using Pit framework to translate F# to JavaScript).
Madrid F# Meetup: Introduction to F#
This document summarizes an introduction to F# presentation given at a Madrid F# meetup. The presenter introduces themselves and explains that the talk will provide an overview of F# based on their personal experience, and will focus more on practical than theoretical aspects. They then discuss what F# is, its type system including tuples, records, discriminated unions and built-in types, as well as features like pattern matching, units of measure, and type providers. Real-world applications and platforms that F# supports are also mentioned.
Functional programming in f sharp
This document provides an overview of functional programming and the F# language. It discusses the benefits of functional programming such as focusing on logic over control flow and side effects. It introduces concepts like declarative programming, immutable data, and higher-order functions. The document also summarizes why F# is a powerful language, as it combines functional, object-oriented, and .NET capabilities. Examples are provided to demonstrate how F# allows writing complex algorithms in a simple, readable way using patterns, functions, and data types.
Qcon2011 functions rockpresentation_f_sharp
This document provides an overview of functional programming concepts and introduces the F# programming language. It discusses core FP topics like immutable values, recursion, and higher-order functions. It then presents an introduction to F#, explaining that it combines object-oriented and functional programming. The document provides examples of basic F# syntax like functions, pattern matching, and the type system. It also illustrates concepts like currying, lazy evaluation, and the pipeline operator.
F# Eye 4 the C# Guy
The document discusses the F# programming language. It provides an overview of F# including that it is a functional, object-oriented .NET language. It also summarizes key features of F# like strong typing, higher-order functions, pattern matching and compares syntax examples to C#. Additionally, it mentions resources for learning F# such as books, jobs listings, conferences and community sites.
F# Tutorial @ QCon
Turning to the Functional Side using C# and F#. In this tutorial, we introduce essential functional concepts using analogies from the object-oriented world. We also look at a real-world point of sale application written using Silverlight and asynchronous workflows.
F# on the Server-Side
Talk about server-side programming in F# from Functional Programming eXchange 2011 at SkillsMatter. The talk progresses from callback-based programming to asynchronous workflows and to agents in F#.
Docase notation for Haskell
Slides from a brief presentation about the 'docase' notation that I did at Haskell Hackathon in Cambridge. The notation makes it easier to work with monads that have some additional operations (such as Par monad or Parsers).
Queries in general purpose languages
This document discusses representing queries in general purpose programming languages. It covers relational algebra and monads as theoretical foundations. It also discusses specific query implementations in Haskell, C#, and F#. Haskell uses monad comprehensions while C# uses LINQ and F# allows custom query operators. Key topics are expressing queries, compiling queries to SQL efficiently, and dealing with functions in SQL code.
London F-Sharp User Group : Don Syme on F# - 09/09/2010
This document provides an overview of the F# programming language and discusses some of its key features and benefits. It includes examples of using F# for financial modeling, event processing, and 3D simulation. F# allows for both functional and object-oriented programming, and supports features like units of measure, asynchronous and parallel programming. Case studies demonstrate how F# was used successfully for power grid scheduling and online advertising. The document concludes with a demonstration of using F# for a 3D simulation.
Academia
F# is a functional programming language that can now be used across platforms like Mac and Linux through the MonoDevelop IDE and F# add-in. This provides IntelliSense and an interactive environment for F#. The presentation demonstrated how F# can be used in academia for teaching functional programming, processing scientific data, and programming language research. Universities are encouraged to use F# for classes on programming concepts and data analysis or statistics work.
F# intro
This document provides an introduction and overview of the F# programming language through examples of F# syntax. It demonstrates key F# concepts like functions, type inference, partial application, tuples, lists, records, discriminated unions, pattern matching, and more through short code samples. The document is intended to familiarize readers with common F# patterns and techniques.
F# and SignalR for a FastWeb
F# and SignalR can be used to create fast and scalable web applications. F#'s support for asynchronous and reactive programming simplifies building real-time web functionality. SignalR enables adding real-time functionality like live data updates and chat to web apps using technologies like websockets, server-sent events and long polling. The CQRS pattern also supports scalability by separating command and query operations.
Functional Programming in C# and F#
Functional programming concepts like lambda calculus and category theory can help organize code in C# and F#. Lambda calculus uses expressions instead of statements to represent computations. This emphasizes composability over side effects. Category theory provides a framework for reasoning about program structure using concepts like functors that map types and morphisms that represent functions. Functors allow abstracting different computation contexts like tasks and sequences. Monads can then combine computations across contexts through applicative functors. Overall, functional programming brings a mathematical approach to code organization that emphasizes composability, pure functions, and handling side effects through abstraction rather than mutation.
Mobile F#un
The document discusses the F# functional programming language and community. It provides information about F# meetups in London that meet every 2-4 weeks to discuss topics like machine learning, finance, and games. It also summarizes that F# is a statically typed, functional-first language that can be used with .NET and is influenced by languages like OCaml, Python, and C#. Code examples are provided to demonstrate F# features like pattern matching and type providers.
Introduction to F#
Slides from Functional Programming Day in Oslo 17. December - Introduction to F#. Slides are in Norwegian.
F# Presentation
F# is a new functional programming language created by Microsoft Research that will have a CTP release this summer. It is based on OCaml and allows for functional, object-oriented and imperative programming. Key features include type inference, immutable values like lists and tuples, pattern matching, and support for generics. Functions are basic units that can be composed in various ways for more expressive code. F# also supports object-oriented features like classes while allowing a functional approach.
F# Data: Making structured data first class citizens
Slides from a talk at DCP 2014 workshop, about F# Data type providers. For live code samples, see the YouTube links in the slides!
Doing data science with F# (BuildStuff)
The ability to take data, understand it, visualize it and extract useful information from it is becoming a hugely important skill. How can you turn all those logs, histories of purchases and trades or open government data, into useful information that help your business make money?
In this talk, we’ll look at doing data science using F#. The F# language is perfectly suited for this task – type providers integrate external data directly into the language – your language suddenly _understands_ CSV, XML, JSON, REST services and other sources. The interactive development style makes it easy to explore data and test your algorithms as you’re writing them. Rich set of libraries for working with data frames, time series and for visualization gives you all the tools you need. And finally – F# easily integrates with statistical environments like R and Matlab, giving you access to the industry standard libraries.
More Related Content
Viewers also liked
Accessing loosely structured data from F# and C#
Slides from my talk at GOTO 2011. The presentation discusses how to bridge the impedance mismatch between the structure used in programming languages (classes, records, unions, ...) and structure used in data sources (database schema, XML file or JSON document). The talk shows how to solve this problem at three scales - using dynamic typing, by defining structure explicitly and using F# type providers.
Concurrent programming with Agents
This document discusses building concurrent programs using agents. It introduces agents and describes how they exchange messages and react in a reactive way. Inside an agent's brain, the document explains how agents can have a single state or multiple states implemented as a state machine. Agents communicate through messages and events to decouple them. Reusable agents like a bulking agent and blocking queue agent are presented. The document concludes with discussing how to organize large networks of agents using patterns like worker agents, layered networks, and pipeline processing.
Asynchronous programming in F# (QCon 2012)
Asynchronous programming on the server (using F# agents) and on the client (using Pit framework to translate F# to JavaScript).
Madrid F# Meetup: Introduction to F#
This document summarizes an introduction to F# presentation given at a Madrid F# meetup. The presenter introduces themselves and explains that the talk will provide an overview of F# based on their personal experience, and will focus more on practical than theoretical aspects. They then discuss what F# is, its type system including tuples, records, discriminated unions and built-in types, as well as features like pattern matching, units of measure, and type providers. Real-world applications and platforms that F# supports are also mentioned.
Functional programming in f sharp
This document provides an overview of functional programming and the F# language. It discusses the benefits of functional programming such as focusing on logic over control flow and side effects. It introduces concepts like declarative programming, immutable data, and higher-order functions. The document also summarizes why F# is a powerful language, as it combines functional, object-oriented, and .NET capabilities. Examples are provided to demonstrate how F# allows writing complex algorithms in a simple, readable way using patterns, functions, and data types.
Qcon2011 functions rockpresentation_f_sharp
This document provides an overview of functional programming concepts and introduces the F# programming language. It discusses core FP topics like immutable values, recursion, and higher-order functions. It then presents an introduction to F#, explaining that it combines object-oriented and functional programming. The document provides examples of basic F# syntax like functions, pattern matching, and the type system. It also illustrates concepts like currying, lazy evaluation, and the pipeline operator.
F# Eye 4 the C# Guy
The document discusses the F# programming language. It provides an overview of F# including that it is a functional, object-oriented .NET language. It also summarizes key features of F# like strong typing, higher-order functions, pattern matching and compares syntax examples to C#. Additionally, it mentions resources for learning F# such as books, jobs listings, conferences and community sites.
F# Tutorial @ QCon
Turning to the Functional Side using C# and F#. In this tutorial, we introduce essential functional concepts using analogies from the object-oriented world. We also look at a real-world point of sale application written using Silverlight and asynchronous workflows.
F# on the Server-Side
Talk about server-side programming in F# from Functional Programming eXchange 2011 at SkillsMatter. The talk progresses from callback-based programming to asynchronous workflows and to agents in F#.
Docase notation for Haskell
Slides from a brief presentation about the 'docase' notation that I did at Haskell Hackathon in Cambridge. The notation makes it easier to work with monads that have some additional operations (such as Par monad or Parsers).
Queries in general purpose languages
This document discusses representing queries in general purpose programming languages. It covers relational algebra and monads as theoretical foundations. It also discusses specific query implementations in Haskell, C#, and F#. Haskell uses monad comprehensions while C# uses LINQ and F# allows custom query operators. Key topics are expressing queries, compiling queries to SQL efficiently, and dealing with functions in SQL code.
London F-Sharp User Group : Don Syme on F# - 09/09/2010
This document provides an overview of the F# programming language and discusses some of its key features and benefits. It includes examples of using F# for financial modeling, event processing, and 3D simulation. F# allows for both functional and object-oriented programming, and supports features like units of measure, asynchronous and parallel programming. Case studies demonstrate how F# was used successfully for power grid scheduling and online advertising. The document concludes with a demonstration of using F# for a 3D simulation.
Academia
F# is a functional programming language that can now be used across platforms like Mac and Linux through the MonoDevelop IDE and F# add-in. This provides IntelliSense and an interactive environment for F#. The presentation demonstrated how F# can be used in academia for teaching functional programming, processing scientific data, and programming language research. Universities are encouraged to use F# for classes on programming concepts and data analysis or statistics work.
F# intro
This document provides an introduction and overview of the F# programming language through examples of F# syntax. It demonstrates key F# concepts like functions, type inference, partial application, tuples, lists, records, discriminated unions, pattern matching, and more through short code samples. The document is intended to familiarize readers with common F# patterns and techniques.
F# and SignalR for a FastWeb
F# and SignalR can be used to create fast and scalable web applications. F#'s support for asynchronous and reactive programming simplifies building real-time web functionality. SignalR enables adding real-time functionality like live data updates and chat to web apps using technologies like websockets, server-sent events and long polling. The CQRS pattern also supports scalability by separating command and query operations.
Functional Programming in C# and F#
Functional programming concepts like lambda calculus and category theory can help organize code in C# and F#. Lambda calculus uses expressions instead of statements to represent computations. This emphasizes composability over side effects. Category theory provides a framework for reasoning about program structure using concepts like functors that map types and morphisms that represent functions. Functors allow abstracting different computation contexts like tasks and sequences. Monads can then combine computations across contexts through applicative functors. Overall, functional programming brings a mathematical approach to code organization that emphasizes composability, pure functions, and handling side effects through abstraction rather than mutation.
Mobile F#un
The document discusses the F# functional programming language and community. It provides information about F# meetups in London that meet every 2-4 weeks to discuss topics like machine learning, finance, and games. It also summarizes that F# is a statically typed, functional-first language that can be used with .NET and is influenced by languages like OCaml, Python, and C#. Code examples are provided to demonstrate F# features like pattern matching and type providers.
Introduction to F#
Slides from Functional Programming Day in Oslo 17. December - Introduction to F#. Slides are in Norwegian.
F# Presentation
F# is a new functional programming language created by Microsoft Research that will have a CTP release this summer. It is based on OCaml and allows for functional, object-oriented and imperative programming. Key features include type inference, immutable values like lists and tuples, pattern matching, and support for generics. Functions are basic units that can be composed in various ways for more expressive code. F# also supports object-oriented features like classes while allowing a functional approach.
Viewers also liked (20)
London F-Sharp User Group : Don Syme on F# - 09/09/2010
London F-Sharp User Group : Don Syme on F# - 09/09/2010
Similar to How F# Learned to Stop Worrying and Love the Data
F# Data: Making structured data first class citizens
Slides from a talk at DCP 2014 workshop, about F# Data type providers. For live code samples, see the YouTube links in the slides!
Doing data science with F# (BuildStuff)
The ability to take data, understand it, visualize it and extract useful information from it is becoming a hugely important skill. How can you turn all those logs, histories of purchases and trades or open government data, into useful information that help your business make money?
In this talk, we’ll look at doing data science using F#. The F# language is perfectly suited for this task – type providers integrate external data directly into the language – your language suddenly _understands_ CSV, XML, JSON, REST services and other sources. The interactive development style makes it easy to explore data and test your algorithms as you’re writing them. Rich set of libraries for working with data frames, time series and for visualization gives you all the tools you need. And finally – F# easily integrates with statistical environments like R and Matlab, giving you access to the industry standard libraries.
Bay NET Aug 19 2009 presentation ppt
The document discusses the F# programming language and how it is well-suited for parallel and concurrent programming on multi-core systems. It provides a brief history of F#, describes its current capabilities, and looks ahead to its future roadmap and co-evolution with other Microsoft languages. The document also discusses how functional programming concepts in F# can help address challenges of parallel and concurrent programming.
Visual Studio .NET2010
The document discusses new features in Visual Studio 2010 and .NET Framework 4.0, including an improved IDE, new language features in C# 4.0, and the Managed Extensibility Framework. It provides examples of using Parallel LINQ, named and optional parameters in C#, and asynchronous programming in F#.
Doing data science with F#
The ability to take data, understand it, visualize it and extract useful information from it is becoming a hugely important skill. How can you turn all those logs, histories of purchases and trades or open government data, into useful information that help your business make money?
In this talk, we’ll look at doing data science using F#. The F# language is perfectly suited for this task – type providers integrate external data directly into the language – your language suddenly _understands_ CSV, XML, JSON, REST services and other sources. The interactive development style makes it easy to explore data and test your algorithms as you’re writing them. Rich set of libraries for working with data frames, time series and for visualization gives you all the tools you need. And finally – F# easily integrates with statistical environments like R and Matlab, giving you access to the industry standard libraries.
.NET and C# introduction
What is .NET?
What is C#?
Language Differences VB + C#
Review of OOP
N-Tier Solution Design
Creating WinForms applications
Progressive f# tutorials nyc don syme on keynote f# in the open source world
F# is a powerful open-source language which Microsoft, other companies and the F# community all contribute to. In this talk, Don will discuss how the “F# space” has recently opened up significantly in interesting ways. F# now includes contributions that range from Cloud IDE platforms, Cloud Compute frameworks, Data interoperability components, Cross-platform execution, Try F#, MonoDevelop, and even Emacs editor integration with surprising tooling support, as well as the Visual F# tools from Microsoft and the broader NuGet package ecosystem. Don will also talk about some of the latest contributions from Microsoft Research, including new type provider components for F#, and describe how his team work with the Visual F# team and other teams around Microsoft. There will also be demos of some fun new stuff that’s been going on with F# at MSR and the community.
Domain Modeling & Full-Stack Web Development F#
In this case study, we will look at how F# helps tackle the complexity; its type system allows for a clean and intuitive representation of the domain, while keeping us from introducing all sorts of accidental bugs.
In the modern web applications, the issues are many. Developers must be expert of different stacks to be able impact the software. One of those issues is to be able to move from the back-end to the front-end using different languages which involves a lot of context switching and potentially duplicating code such as for validation, or introducing bugs by manually creating objects in a Javascript and sending them back to the server for it to handle. SAFE brings many technologies together into a single type-safe and flexible F# stack. It enables skill reuse since the models can be shared and all you’re required to know is F# for your next web application.
F# for functional enthusiasts
Slides for my talk to the Bay Area Clojure User Group. Unlike most "entry level" F# talks, this presentation assumes some familiarity with functional programming concepts, although I think even folks unfamiliar with functional programming will find the content and demonstrations interesting. The talk includes a survey of the state of the F# community and community-driven (open source) projects.
Net framework
The document provides an overview of Microsoft's .NET framework, including its evolution from earlier web application technologies. It describes the key components of .NET such as the Common Language Runtime (CLR), common language specification (CLS), and development tools like Visual Studio.NET. Web services are presented as a core part of .NET for enabling distributed applications and integration across platforms.
Synapse india sharing info on dotnet framework part1
The document discusses Microsoft .NET Framework, which provides a standardized set of services and common interface that allows programs to run on any system supporting .NET. It includes a common runtime environment and language-independent development framework. The core of .NET Framework consists of the Common Language Runtime (CLR) and Framework Class Library (FCL). The CLR manages code execution and provides features like garbage collection and security. The FCL contains core functionality like ASP.NET, Windows Forms, and ADO.NET.
Project_Report (BARC-Jerin)_final
This document is an internship report submitted by Jerin J. John to K. J. Somaiya College of Engineering. The report details a project to develop a program in C# to dynamically query XML data using LINQ queries obtained from a text file or user input at runtime. The program utilizes dynamic code compilation to generate and execute a method containing the LINQ query on the XML data. Key concepts used include LINQ, lambda expressions, delegates, and generating C# code at runtime to dynamically process queries.
facebookthrift-151001153400-lva1-app6891.pptx
Thrift is an interface definition language and binary communication protocol used at Facebook for building scalable cross-language services. It works by defining data structures and service interfaces in an IDL file, then using a code generation engine to create client and server code in various languages like C++, Java, Python and PHP. Some key services at Facebook that use Thrift include Cassandra for database access, Scribe for log aggregation, and HipHop for optimizing PHP code.
Facebook thrift
Thrift is an interface definition language and binary communication protocol used at Facebook as a remote procedure call framework. It combines a software stack with a code generation engine to build services that work efficiently across multiple languages like C#, C++, Java, PHP and Python. Thrift allows developers to define data structures and service interfaces in an IDL file, then generates code for clients and servers. It provides features like common data transport, versioning, and supports efficient protocols to handle large service call volumes across Facebook applications.
Net framework
The .NET Framework is Microsoft's software technology that provides extensive libraries and tools to simplify development and deployment. It uses a Common Language Runtime (CLR) to manage running code and allow applications written in multiple languages to run on different operating systems and hardware. The .NET Framework includes services like ASP.NET, ADO.NET, and support for XML and web services to make information available anywhere.
Practical F#
This document summarizes an introduction to the F# programming language presented at the Houston TechFest 2009. It covers core F# concepts like functional, object-oriented, and language-oriented programming paradigms. It also provides an overview of basic F# syntax, when to use F#, when not to use it, and resources for learning more about F#.
Data-First Online Functional Programming with F# (Adam Granicz)
The world around us is producing data at an enormous speed and in huge quantities. Processing this complex, multifaceted data, turning it into information and visualizing it to drive business decision making is the paramount challenge for today’s corporate software developers.
In this talk, I will demonstrate the unique data-driven capabilities of F# and how these can be used to connect to a multitude of heterogeneous data sources to obtain structured, strongly-typed data that can be processed in a functional style, and presented and visualized in stunning HTML5 output that is guaranteed to win everyone’s attention.
By the end of the talk, you will become familiar with CloudSharper, the world’s first online F# development environment, and will have mastered key data visualization techniques that will make you a better and more informed developer.
Building scalable and language-independent Java services using Apache Thrift ...
Session Presented at 5th IndicThreads.com Conference On Java held on 10-11 December 2010 in Pune, India
WEB: http://J10.IndicThreads.com
------------
PHP TRAINING
PHP is a widely used server-side scripting language used primarily for developing web applications and sites. It has advantages like being free, open-source, platform independent, and having a simpler syntax compared to other languages. While powerful, PHP also has some disadvantages such as weaker typing that can lead to errors, and not being as suitable for very large applications.
Similar to How F# Learned to Stop Worrying and Love the Data (20)
F# Data: Making structured data first class citizens
F# Data: Making structured data first class citizens
Progressive f# tutorials nyc don syme on keynote f# in the open source world
Progressive f# tutorials nyc don syme on keynote f# in the open source world
Synapse india sharing info on dotnet framework part1
Synapse india sharing info on dotnet framework part1
Data-First Online Functional Programming with F# (Adam Granicz)
Data-First Online Functional Programming with F# (Adam Granicz)
Building scalable and language-independent Java services using Apache Thrift ...
Building scalable and language-independent Java services using Apache Thrift ...
Recently uploaded
Skybuffer SAM4U tool for SAP license adoption
Manage and optimize your license adoption and consumption with SAM4U, an SAP free customer software asset management tool.
SAM4U, an SAP complimentary software asset management tool for customers, delivers a detailed and well-structured overview of license inventory and usage with a user-friendly interface. We offer a hosted, cost-effective, and performance-optimized SAM4U setup in the Skybuffer Cloud environment. You retain ownership of the system and data, while we manage the ABAP 7.58 infrastructure, ensuring fixed Total Cost of Ownership (TCO) and exceptional services through the SAP Fiori interface.
dbms calicut university B. sc Cs 4th sem.pdf
Its a seminar ppt on database management system using sql
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
Webinar Recording: https://www.panagenda.com/webinars/hcl-notes-und-domino-lizenzkostenreduzierung-in-der-welt-von-dlau/
DLAU und die Lizenzen nach dem CCB- und CCX-Modell sind für viele in der HCL-Community seit letztem Jahr ein heißes Thema. Als Notes- oder Domino-Kunde haben Sie vielleicht mit unerwartet hohen Benutzerzahlen und Lizenzgebühren zu kämpfen. Sie fragen sich vielleicht, wie diese neue Art der Lizenzierung funktioniert und welchen Nutzen sie Ihnen bringt. Vor allem wollen Sie sicherlich Ihr Budget einhalten und Kosten sparen, wo immer möglich. Das verstehen wir und wir möchten Ihnen dabei helfen!
Wir erklären Ihnen, wie Sie häufige Konfigurationsprobleme lösen können, die dazu führen können, dass mehr Benutzer gezählt werden als nötig, und wie Sie überflüssige oder ungenutzte Konten identifizieren und entfernen können, um Geld zu sparen. Es gibt auch einige Ansätze, die zu unnötigen Ausgaben führen können, z. B. wenn ein Personendokument anstelle eines Mail-Ins für geteilte Mailboxen verwendet wird. Wir zeigen Ihnen solche Fälle und deren Lösungen. Und natürlich erklären wir Ihnen das neue Lizenzmodell.
Nehmen Sie an diesem Webinar teil, bei dem HCL-Ambassador Marc Thomas und Gastredner Franz Walder Ihnen diese neue Welt näherbringen. Es vermittelt Ihnen die Tools und das Know-how, um den Überblick zu bewahren. Sie werden in der Lage sein, Ihre Kosten durch eine optimierte Domino-Konfiguration zu reduzieren und auch in Zukunft gering zu halten.
Diese Themen werden behandelt
- Reduzierung der Lizenzkosten durch Auffinden und Beheben von Fehlkonfigurationen und überflüssigen Konten
- Wie funktionieren CCB- und CCX-Lizenzen wirklich?
- Verstehen des DLAU-Tools und wie man es am besten nutzt
- Tipps für häufige Problembereiche, wie z. B. Team-Postfächer, Funktions-/Testbenutzer usw.
- Praxisbeispiele und Best Practices zum sofortigen Umsetzen
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
This case study explores designing a scalable e-commerce platform, covering key requirements, system components, and best practices.
GNSS spoofing via SDR (Criptored Talks 2024)
In the realm of cybersecurity, offensive security practices act as a critical shield. By simulating real-world attacks in a controlled environment, these techniques expose vulnerabilities before malicious actors can exploit them. This proactive approach allows manufacturers to identify and fix weaknesses, significantly enhancing system security.
This presentation delves into the development of a system designed to mimic Galileo's Open Service signal using software-defined radio (SDR) technology. We'll begin with a foundational overview of both Global Navigation Satellite Systems (GNSS) and the intricacies of digital signal processing.
The presentation culminates in a live demonstration. We'll showcase the manipulation of Galileo's Open Service pilot signal, simulating an attack on various software and hardware systems. This practical demonstration serves to highlight the potential consequences of unaddressed vulnerabilities, emphasizing the importance of offensive security practices in safeguarding critical infrastructure.
JavaLand 2024: Application Development Green Masterplan
My presentation slides I used at JavaLand 2024
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Folding is a recent technique for building efficient recursive SNARKs. Several elegant folding protocols have been proposed, such as Nova, Supernova, Hypernova, Protostar, and others. However, all of them rely on an additively homomorphic commitment scheme based on discrete log, and are therefore not post-quantum secure. In this work we present LatticeFold, the first lattice-based folding protocol based on the Module SIS problem. This folding protocol naturally leads to an efficient recursive lattice-based SNARK and an efficient PCD scheme. LatticeFold supports folding low-degree relations, such as R1CS, as well as high-degree relations, such as CCS. The key challenge is to construct a secure folding protocol that works with the Ajtai commitment scheme. The difficulty, is ensuring that extracted witnesses are low norm through many rounds of folding. We present a novel technique using the sumcheck protocol to ensure that extracted witnesses are always low norm no matter how many rounds of folding are used. Our evaluation of the final proof system suggests that it is as performant as Hypernova, while providing post-quantum security.
Paper Link: https://eprint.iacr.org/2024/257
Astute Business Solutions | Oracle Cloud Partner |
Your goto partner for Oracle Cloud, PeopleSoft, E-Business Suite, and Ellucian Banner. We are a firm specialized in managed services and consulting.
Best 20 SEO Techniques To Improve Website Visibility In SERP
Boost your website's visibility with proven SEO techniques! Our latest blog dives into essential strategies to enhance your online presence, increase traffic, and rank higher on search engines. From keyword optimization to quality content creation, learn how to make your site stand out in the crowded digital landscape. Discover actionable tips and expert insights to elevate your SEO game.
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
Predictive maintenance is a proactive approach that anticipates equipment failures before they happen. At the forefront of this innovative strategy is Artificial Intelligence (AI), which brings unprecedented precision and efficiency. AI in predictive maintenance is transforming industries by reducing downtime, minimizing costs, and enhancing productivity.
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks creates AI-boosted business software that helps employees work more efficiently and effectively. Managing data across multiple RDBMS and NoSQL databases was already a challenge at their current scale. To prepare for 10X growth, they knew it was time to rethink their database strategy. Learn how they architected a solution that would simplify scaling while keeping costs under control.
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Mix Chart displays historical data of numbers in a graphical or tabular form. The Kalyan Rajdhani Mix Chart specifically shows the results of a sequence of numbers over different periods.
A Comprehensive Guide to DeFi Development Services in 2024
DeFi represents a paradigm shift in the financial industry. Instead of relying on traditional, centralized institutions like banks, DeFi leverages blockchain technology to create a decentralized network of financial services. This means that financial transactions can occur directly between parties, without intermediaries, using smart contracts on platforms like Ethereum.
In 2024, we are witnessing an explosion of new DeFi projects and protocols, each pushing the boundaries of what’s possible in finance.
In summary, DeFi in 2024 is not just a trend; it’s a revolution that democratizes finance, enhances security and transparency, and fosters continuous innovation. As we proceed through this presentation, we'll explore the various components and services of DeFi in detail, shedding light on how they are transforming the financial landscape.
At Intelisync, we specialize in providing comprehensive DeFi development services tailored to meet the unique needs of our clients. From smart contract development to dApp creation and security audits, we ensure that your DeFi project is built with innovation, security, and scalability in mind. Trust Intelisync to guide you through the intricate landscape of decentralized finance and unlock the full potential of blockchain technology.
Ready to take your DeFi project to the next level? Partner with Intelisync for expert DeFi development services today!
SAP S/4 HANA sourcing and procurement to Public cloud
SAP S4 HANA to Public cloud data object differences
Building Production Ready Search Pipelines with Spark and Milvus
Spark is the widely used ETL tool for processing, indexing and ingesting data to serving stack for search. Milvus is the production-ready open-source vector database. In this talk we will show how to use Spark to process unstructured data to extract vector representations, and push the vectors to Milvus vector database for search serving.
Public CyberSecurity Awareness Presentation 2024.pptx
Cyber security awareness slides for a busisness by TreeTop Security
Choosing The Best AWS Service For Your Website + API.pptx
Have you ever been confused by the myriad of choices offered by AWS for hosting a website or an API?
Lambda, Elastic Beanstalk, Lightsail, Amplify, S3 (and more!) can each host websites + APIs. But which one should we choose?
Which one is cheapest? Which one is fastest? Which one will scale to meet our needs?
Join me in this session as we dive into each AWS hosting service to determine which one is best for your scenario and explain why!
TrustArc Webinar - 2024 Global Privacy Survey
How does your privacy program stack up against your peers? What challenges are privacy teams tackling and prioritizing in 2024?
In the fifth annual Global Privacy Benchmarks Survey, we asked over 1,800 global privacy professionals and business executives to share their perspectives on the current state of privacy inside and outside of their organizations. This year’s report focused on emerging areas of importance for privacy and compliance professionals, including considerations and implications of Artificial Intelligence (AI) technologies, building brand trust, and different approaches for achieving higher privacy competence scores.
See how organizational priorities and strategic approaches to data security and privacy are evolving around the globe.
This webinar will review:
- The top 10 privacy insights from the fifth annual Global Privacy Benchmarks Survey
- The top challenges for privacy leaders, practitioners, and organizations in 2024
- Key themes to consider in developing and maintaining your privacy program
Recently uploaded (20)
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
HCL Notes und Domino Lizenzkostenreduzierung in der Welt von DLAU
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
System Design Case Study: Building a Scalable E-Commerce Platform - Hiike
JavaLand 2024: Application Development Green Masterplan
JavaLand 2024: Application Development Green Masterplan
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
zkStudyClub - LatticeFold: A Lattice-based Folding Scheme and its Application...
Deep Dive: AI-Powered Marketing to Get More Leads and Customers with HyperGro...
Deep Dive: AI-Powered Marketing to Get More Leads and Customers with HyperGro...
Astute Business Solutions | Oracle Cloud Partner |
Astute Business Solutions | Oracle Cloud Partner |
Best 20 SEO Techniques To Improve Website Visibility In SERP
Best 20 SEO Techniques To Improve Website Visibility In SERP
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
leewayhertz.com-AI in predictive maintenance Use cases technologies benefits ...
WeTestAthens: Postman's AI & Automation Techniques
WeTestAthens: Postman's AI & Automation Techniques
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
Freshworks Rethinks NoSQL for Rapid Scaling & Cost-Efficiency
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
How to Interpret Trends in the Kalyan Rajdhani Mix Chart.pdf
A Comprehensive Guide to DeFi Development Services in 2024
A Comprehensive Guide to DeFi Development Services in 2024
SAP S/4 HANA sourcing and procurement to Public cloud
SAP S/4 HANA sourcing and procurement to Public cloud
Building Production Ready Search Pipelines with Spark and Milvus
Building Production Ready Search Pipelines with Spark and Milvus
Public CyberSecurity Awareness Presentation 2024.pptx
Public CyberSecurity Awareness Presentation 2024.pptx
Choosing The Best AWS Service For Your Website + API.pptx
Choosing The Best AWS Service For Your Website + API.pptx
How F# Learned to Stop Worrying and Love the Data
- 1. How F# Learned to Stop Worrying and Love the Data Tomas Petricek @tomaspetricek Conspirator behind http://fsharp.org
- 2. software stacks trainings teaching F# user groups snippets mac and linux cross-platform books and tutorials F# Software Foundation F# community open-source MonoDevelop http://www.fsharp.org contributions research support consultancy mailing list
- 3. The Data
- 6. let wb = WorldBank() wb.
- 8. Asynchronous programming Asynchrony matters Node.js and C# 5.0 F# Async workflows Without inversion of control Exception handling and loops simple Sequential and parallel composition
- 10. [DEMO] WorldBank App for the Web http://tomasp.net/techmesh
- 11. F# to JavaScript TypeScript type provider Import types for JS libraries Somebody else writes them! Libraries & frameworks Open source: FunScript and Pit Commercial: IntelliFactory WebSharper
- 12. Accessing REST services REST (Representational State Transfer) is a style of software architecture for distributed systems such as the World Wide Web. REST has emerged as a predominant Web service design model.
- 14. [DEMO] Introducing Apiary Type Provider
- 15. Apiary.io Type Provider Common REST conventions GET /movie/{id} Get movie summary GET /movie/{id}/casts Get cast details Types from JSON samples { "page": 1, "total_pages": 1, "total_results": 5, "results": [ { "title": "Skyfall", "id": 94221 } ] }
- 16. [DEMO] The Movie Database Web App http://tomasp.net/techmesh
- 17. Type Providers in Action WorldBank Type Provider JSON Type Provider Apiary Type Provider TypeScript Type Provider
- 18. [SUMMARY] Where to learn more?
- 19. Online resources www.fsharp.org Information & community www.tryfsharp.org Interactive F# tutorials
- 20. User groups and trainings Functional and F# trainings In London and New York Get in touch tomas@tomasp.net F#unctional Londoners meetup http://meetup.com/FSharpLondon/
- 21. F#, Data and Services other languages web tool support extensibility code-first type script Love the Data REST unstructured data static typing inference and integration schema R language transparent java script