The Business of the F# Programming Language with Don Syme

Подписаться 545

Просмотров 4,8 тыс.

50% 1

F# is a functional-first programming language developed by Don Syme and supported by Microsoft. Don Syme was motivated to create F# by his experience with programming languages and their limitations. Microsoft's initial vision for F# was to provide a language that could be used in conjunction with the .NET framework, enabling developers to write efficient, type-safe, and scalable code.
One feature that sets F# apart from other programming languages is its support for compilable specifications. This means that developers can use F# to write precise and expressive domain models for software systems, which can then be compiled into executable code. This makes it easier to write correct and maintainable code, as well as to reason about complex systems.
F# also runs on Linux, making it a versatile language for a wide range of applications. Developers can use F# to build scalable web applications, machine learning models, and more, all while taking advantage of the language's functional-first approach and strong type system.
Finally, F# provides support for property-based testing, which is a powerful testing technique that can help identify edge cases and corner cases in code. By generating random inputs and checking that the properties of the system hold for those inputs, property-based testing can help developers find bugs and ensure the correctness of their code.
00:00 - Intro
02:35 - Motivation for creating Fsharp
13:30 - Microsoft's initial vision for Fsharp
21:00 - Adopting F# at your business
24:30 - Writing Compilable specifications
35:30 - F# on Linux
41:00 - From Python to Fsharp
46:00 - Property-based Testing
59:00 - F# Online
Links
- Early History of F#: fsharp.org/history/hopl-final...
- ML 2021 - Keynote: Narratives and Lessons from The Early History of F#: • ML 2021 - Keynote: Nar...
- My Thoughts on the F# Ecosystem - • My thoughts on F# and ...
- Domain Modelling Made Functional: fsharpforfunandprofit.com/books
- Domain Modelling Made Functional Talk: • Domain Modeling Made F...
- Don Syme's F# Bonanza: • Don Syme's F# Bonanza ...
- F# Home Page: dot.net/fsharp
- Fable: fable.io
- F# for C# Programmers: • F# for C# programmers ...
- Darren Platt - A Year in Paradise: • Darren Platt / A Year ...
- TechEmpower Benchmark Results: www.techempower.com/benchmark...
- Data Science in F#: datascienceinfsharp.com/
- FsCheck: fscheck.github.io/FsCheck/
- GitHub Next: githubnext.com/
- F# Online: / fsharponline
- F# Conf 2023: fsharpconf.com/
- F# Weekly: sergeytihon.com/category/f-we...
#softwaredeveloper #softwareengineer #techstartup #softwaretesting #fsharp #ddd #functionalprogramming

Наука

Опубликовано:

31 июл 2024

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 25

@techconception Год назад

What are your thoughts on the F# programming language? Please share your thoughts in the comment section.

@WillEhrendreich Год назад

it's absolutely my favorite language. it's so fantastic, I genuinely have fun every day I get to program in it. It helps me do the simplest thing the quickest, with the most flexibility to pivot if I need to. It's so powerful for basically any task you want it to do. the only limitations are things that are only best done in things like C or Odin or Zig. super high perf stuff is less ergonomic than the normal path, because of CLR limitations and lack of direct memory management.

@Bizmonger Год назад

@Will Ehrendreich Thanks for sharing. How long did it take you to rock the language/programming paradigm?

@FastFSharp Год назад

It's fantastic!

@shankarvelayudhan 9 месяцев назад

Love it. Wish it was more popular.

@FastFSharp Год назад

I think the fact that F# supports mutation is what gives it super powers. My favorite is to write a library with a Functional user facing API with a mutable core for performance. Functional + Procedural = ❤

@torarinvik4920 10 месяцев назад

Yeah! The ability to have a functional programming language, that looks and feels like the ML family of language that supports mutation, OOP, side-effects, amazing module system, AND has proper ecosystem with excellent tooling. Haskell doesn't even have a graphical debugger.

@HealthyDev Год назад

Great interview and conversation! Thanks for sharing this yall.

@Bizmonger Год назад

Thanks for the help, Jayme.

@odytrice Год назад

Yeah, your help and advice have been very valuable

@Understand.Improve Год назад

I second the idea for Microsoft to focus on making f# the better python with docs, examples and guides showing the similarities but why it is better.

@PhilBachmann Год назад

I have discussed this (or similar) with a Microsoft person and it is clear that Microsoft think it is our (F# users) job not theirs. On reflection, I think they are probably right about that.

@aguluman Год назад

I love f#

@guillaumedechambre9138 10 месяцев назад

Great interview guys.

@noname78520 Год назад

For me, that I work with c# every day, looks like an awesome language, I read the docs and experimienting with dotnet core with f# , I think the real downside with this kind of lenguages is that depends on other languages, in this case c# , the cognitive charge of having to know c# and also f# it's too hard for beginners or not too advanced programmers like me .. For example if you have to make an web api , then you will have to use asp net core, and know all the related classes, you have to know the BCL of dotnet core itself, and that is with everything, if you have to work with sql, then you need to know how to work with dapper for example, and then translate it to f#, its too hard for the majority of projects.

@odytrice Год назад

Yeah one way we can help is making F# videos using these technologies.. You know, something practical

@cybernescens Год назад

There are F# implementations of these libraries you mention that are not dependent on C#. Computation Expressions make library development an absolute pleasure.

@kavereon 9 месяцев назад

Really insightful interview! There's always something new to discover in the F# world that makes you wonder how you got along without doing things this way in the first place.

@stephenpeterson2865 Год назад

Great discussion, fellas!

@Bizmonger Год назад

Thanks Stephen. Also, thanks for your mentoring on Azure. I built an order fulfillment system using Azure.

@sosoga1977 Год назад

Would be great to talk to Martin Odersky too, he's a very very cool guy actually

@Bizmonger Год назад

Can you introduce us?

@techconception Год назад

Thanks we will reach out to him

@sosoga1977 Год назад

@@Bizmonger Sure, I will let him know about you, I hope we will see a wonderful discussion of you three!

@PhilBachmann Год назад

I suppose everyone is asleep and not interested, but I found it fascinating to see Dom Syme highlight the truth about why Microsoft made F# part of its language suite at 15:18 (continuing for 3 minutes). The world might not work as we hope or imagine, but nevertheless things can work out :)