• FSharping |> Beer

    Bernard Pub

    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 the IT world and functional programming.

    Please RSVP only if you are 100% SURE that you'll come. We will book the proper place later and let you know.

    *UPDATE*: We will meet in Bernard Pub, Jeseniova 93, Praha 3 - Žižkov

    Looking forward!

    Oh, and one more thing: This time, beers are paid by our beloved sponsor CN Group company! So 🍻 = FREE!

    ----------------------

    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.

    *UPDATE*: Setkáme se v Bernard Pub, Jeseniova 93, Praha 3 - Žižkov

    Těšíme se!

    Jo a ještě jedna věc: Tentokrát piva platí náš milovaný sponzor společnost CN Group! Čili 🍻 = FREE!

    1
  • 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