• FSharping |> Beer

    Polo

    Like every summer, we will have a beer session somewhere in Prague to chat about F#, community, conferences, projects and other great things (not only) from IT world and functional programming. Please RSVP only if you are 100% SURE that you'll come. We will book proper place later and let you know. Looking forward! ---------------------- Stejně jako minulý rok o prázdninách se i letos sejdeme nad pivkem někde v centru rozpálené Prahy, abychom si pokecali o F#, komunitě, konferencích, projektech, ale i dalších věcech (nejen) ze světa IT a funkcionálního programování. Prosím, hlaste se co nejdříve, ať zamluvíme vhodný prostor. Těšíme se!

  • fsharpConf 2020

    Online event

    5. června nás čeká již třetí ročník virtuální konference fsharpConf, organizované lidmi z @fsharponline. Můžete se těšit na F# experty z celého světa. Uvidíte praktické využití vlastností F# na různých typech aplikací. Pro více informací sledujte web: http://fsharpconf.com Registrace: https://www.meetup.com/FSharpOnline/events/270751433/ Sledujte na: https://www.youtube.com/watch?v=ybkYHYKYeNw ---------------------------------- Join us online on June 5th 2020 for the live streaming of the third year of fsharpConf, a free virtual event organized by @fsharponline featuring world-class F# experts across the globe. You will see F# in action on a wide range of practical applications. Timeline and speakers coming soon! For more information: http://fsharpconf.com Register at: https://www.meetup.com/FSharpOnline/events/270751433/ Watch at: https://www.youtube.com/watch?v=ybkYHYKYeNw

  • Josef Starýchfojtů: Advanced FP in F# (Workshop)

    Pracovna

    We would like to invite you to our very first FShaping Functional Programming workshop. ==== Basic information ==== Workshop is planned for 3 hours. We will start at 18:00! (Watch out! NOT 19:00 as usually.) There is attendee RSVP limit 15 people (+2 organizers). We will contact you upfront to discuss setup of your noteboks (this is BYOD workshop). Workshop will be in English. As always, there is no entry fee. This time we will be at the biggest room in Pracovna (straight on from entrance) to have proper comfort for writing F#. ==== Agenda ==== Stage 1: Domain modeling - strong typing - ADT - aliasy - no cyclic dependencies Stage 2: Domain functions (pure functions on domain, no technology involved) - pure domain, no IO - lenses Stage 3: Use cases - error handling - explicitely passing interfaced environment - this stage will be ugly on purpose Stage 4: Reader - introduction to Reader monad - will still be pretty ugly Stage 5: ZIO - this stage will cleanup the previous ones with ZIO like monad Stage 6: Real world - validation with applicatives - implementing API - implementing data access Stage 7: Testing (optional) - showcase of how easy is to test this - property based testing

  • Jan Skála: Lambda Calculus aneb kde se vzalo funkcionální programování

    Honzův Github: https://github.com/skalahonza !!! Talk is in Czech language only !!! Disclaimer: Nejedná se o nudnou školní přenášku a počítání na papír. Vše bude simulování pomocí moderních jazyků a technologií. ## Trocha historie Původ funkcionálního programování Stavové automaty, zásobníky a regexy Turing Complete jazyky ## Analogie k hardwaru Lambda Calculus vs Turing Machine Jak propojit oba světy Jaké společné problémy je trápí ## Základní stavební kameny všech funkcionálních jazyků Co jsou combinátory a jak fungují Jak v funguje bool v Lambda Calculu Jak (teoreticky) fungují přirozená čísla ## Co si z funkcionálního programování odnést i do ostatních jazyků, třeba do C# Jak správně použít rekurzi Statelessness and immutability Algebraický operátor OR Pattern matching ## Bonus: Features of C# 7/8 that make it almost functional Readonly members Immutable structs (Not only switch) pattern matching Async streams Indexing

    9
  • Édgar Sánchez Gordón: WebAssembly and FsBolero

    Pracovna

    These days WebAssembly gets a lot of attention as an alternative/complement to JavaScript for building smart UIs that run inside a browser. In this talk we'll show what WebAssembly is about, its architecture, possibilities and limitations. Then we will show FsBolero, a set of libraries and tools that allows to write interactive Web UIs using F#, getting the functional code compiled into WebAssembly. Come to see this code filled presentation to see if F#, Bolero, and WebAssembly are the right mix for your next project! About Édgar: Six lustrums developing commercial apps ( Pascal, C, PowerBuilder, Lotus Notes, Java, C#, TypeScript, F#). In love with functional programming since learning LISP in college. Of late also active in big data and analytics with tools like DataBricks, Power BI, and ML.NET. Co-founder and CEO at Logic Studio and NetBy, software houses with offices in Ecuador and Panama, and customers in Latin America and the United States. Microsoft Regional Director for Latin America for over 15 years. Member of the F# Foundation and .NET Foundation. Beginner trail runner and triathlonist.

    5
  • Two talks night: Karel Šťastný & Zaid Ajaj

    Pracovna

    One night, two amazing F# talks including community guest star and member of F# Software Foundation Board of Trustees Zaid Ajaj! Karel Šťasný's talk: Azure Functions Azure Functions are Microsoft's version of serverless compute. They are an Azure service that enables you to run code without explicitly provisioning or managing infrastructure. You need neither physical nor virtual servers, not even containers to run them. Just you and the code. And your Azure account. Karel will show you scenarios where Azure Functions can simplify your life as a developer but also how and when they can (sometimes) complicate it. You will see when it is useful to consider using them, how can you go about implementing them and what problems you might encounter along the way. Zaid Ajaj's talk: Understanding bindings of React components in Fable Elmish has become the de-facto library for building front-end applications in Fable. Under the hood, Elmish uses React as the main engine to build the user interface and render it on screen. Because of this, we can utilise the entirety of the React ecosystem and re-use the existing components in our Elmish applications as Fable bindings. In this talk, Zaid will walk you through the process of building such bindings and integrating them in our applications by means of Fable's interop capabilities.

    2
  • FSharping |> Beer

    Bernard Pub

    As every summer, we will have a beer session somewhere in Prague to chat about F#, community, conferences, projects and other great things (not only) from IT world and functional programming. Please RSVP only if you are 100% SURE that you'll come. We will book proper place later and let you know. Looking forward! ---------------------- Stejně jako minulý rok o prázdninách se i letos sejdeme nad pivkem někde v centru rozpálené Prahy, abychom si pokecali o F#, komunitě, konferencích, projektech, ale i dalších věcech (nejen) ze světa IT a funkcionálního programování. Prosím, hlaste se co nejdříve, ať zamluvíme vhodný prostor. Těšíme se!

  • Josef Starýchfojtů: FSharpPlus - Advanced FP concepts in F#

    Many developers who discover F# as their first functional language are amazed by features such as algebraic data types or immutability by default. However, this is not the end of what FP has to offer, but mere beginning. In this talk, we will go discover more advanced concepts of functional programming through a library called FSharpPlus, which provides various features such as Lens/Optics module, Monads and other common FP abstractions. I will showcase example usages of those concepts in my in-progress recommendation system for recipes, so you can see their benefit in real project.

    4
  • Peter Semkin: Check Your Czech - a SAFE app for practicing Czech grammar

    Hello, my name is Peter, I am learning Czech and creating a service for that in F#: https://check-your-czech.azurewebsites.net. In the talk, I will describe its motivation, story and related development adventures. In short, Duolingo and other apps available for Czech help with training vocabulary and speaking ASAP. They don't help much with speaking correctly though and I don't want to sound like a child all my life. I realized that and my developer's soul commanded to create something to help me. Having C# background, after attending all the FSharping meetups, I decided to try the SAFE stack. Check Your Czech is supposed to selectively train Czech grammar rules. There are five exercises now, the project is open source under active development: https://github.com/psfinaki/CheckYourCzech

    2
  • Krzysztof Cieślak - State of the union

    Pracovna

    F# Community has been known for being pragmatic and focused on real-world problems. This is also shown by F# open source ecosystem - from simple libraries, through complex framework or technology stacks, to the tooling - maintainers focuses on the developer and user experience, building welcoming communities and solving people's problems. Over the last few years, the F# open source ecosystem has grown at a rapid rate - new web frameworks, new compilers, support for new editors and new tools have been announced every day... well, maybe every month. In this talk, I'll give a subjective walkthrough of the F# ecosystem, showcasing some of the best, most interesting and innovative projects that were developed over the last few years - about some of the everyone knows, some of them failed or are not as successful as they should be. I'll share all the secrets behind the success of F# OSS ecosystem, all its failures, and... all the funny anecdotes. I'll also share all my experiences of the maintainer of F# OSS projects - the lessons I wish I knew when I started building the first version of Ionide. ------- Krzysztof Cieślak Hacker, Open Source contributor, builds stuff Chris is software developer, consultant, founder of Lambda Factory(http://lambdafactory.io). He's author of Ionide(http://ionide.io/), Saturn(https://github.com/SaturnFramework/Saturn), Forge(http://forge.run), Fornax(https://gitlab.com/Krzysztof-Cieslak/Fornax), project owner and maintainer of VSCode-Elm(https://marketplace.visualstudio.com/items?itemName=sbrink.elm) and contributor to many OSS projects. Chris is also international speaker, that tries to convince developers around the world that OSS and FP are good, pragmatic choices for writing software. You can find him on Twitter as @k_cieslak, GitHub - @Krzysztof-Cieslak and read his blog at http://kcieslak.io

    1