fsharp/fslang-suggestions on Hacker News

…types) that are possible in F# Are you sure? This is a feature of OCaml but not F# IIUIR Edit: https://github.com/fsharp/fslang-suggestions/issues/538

comment by let_rec · 2026-04-08 · in Union types in C# 15

You can read this suggestion, and upvote, comment, contribute: https://github.com/fsharp/fslang-suggestions/issues/1434

comment by smoothdeveloper · 2025-08-09 · in Why F# could be the next mainstream programming language (2024)

…level programming. This is the Box of Pandora the designer of F# tried [0] not to open. ____ 0. https://github.com/fsharp/fslang-suggestions/issues/243#issu...

comment by exceptione · 2025-07-11 · in Flix – A powerful effect-oriented programming language

…indecisive between using async or mailbox for certain parallelism/concurrency scenarios). [0] [0] https://github.com/fsharp/fslang-suggestions/issues/581 [1] https://github.com/fsharp/fslang-design/blob/main/FSharp-6.0...

comment by shakna · 2024-11-25 · in OCaml Syntax Sucks (2016)

…the presence of reflection, and I imagine there are simpler cases. (See discussion on the similar https://github.com/fsharp/fslang-suggestions/issues/884 .)

comment by Smaug123 · 2024-11-11 · in What's New in F# 9

…setting C# `init` properties. [1] It took almost three years, I think, to release the fix. [1]: https://github.com/fsharp/fslang-suggestions/issues/904 Another rough example would be spans, and their more general feature, byref-like types…

comment by debugnik · 2024-08-07 · in Official proposal for Type Unions in C#

…think a simpler language has advantages over a more expressive one, in some cases. For example: https://github.com/fsharp/fslang-suggestions/issues/243#issu...

comment by lambda_garden · 2023-11-20 · in Roc – A fast, friendly, functional language

…argument accessor shorthand, there seems to be a proposal for exactly that (using _ instead of &): https://github.com/fsharp/fslang-suggestions/issues/506#issu...

comment by hencq · 2023-01-06 · in Microfeatures I'd like to see in more languages

> See for example https://github.com/fsharp/fslang-suggestions/issues/243#issu ... See Rust traits to get an idea what happens if you 'just' implement type classes without proper support for higher kinded types ;)

comment by ReleaseCandidat · 2022-02-08 · in I would like a job writing Haskell

…type systems are often incapable of recognizing the drawbacks of such systems. See for example https://github.com/fsharp/fslang-suggestions/issues/243#issu... for a critique that is never expressed by Haskellers.

comment by Kototama · 2022-02-08 · in I would like a job writing Haskell

Nice article! Highly related discussions: https://github.com/fsharp/fslang-suggestions/issues/243#issu... https://old.reddit.com/r/ProgrammingLanguages/comments/placo... F# designer Don Syme is making the "biformity" argument, e.g. needing…

comment by chubot · 2022-01-20 · in Why static languages suffer from complexity

…F# has Literals that mitigate some of this, but my understanding is that they are pretty limited: https://github.com/fsharp/fslang-suggestions/issues/539 On the other hand, Empirical can perform automatic compile-time function evaluation…

comment by chrisaycock · 2021-12-12 · in Types for Tables: A Language Design Benchmark

▲ 6

F# and Type Classes

story by selff · 2021-09-13 · 0 comments

▲ 3

F# support for type classes or implicits

story by lukashrb · 2021-09-12 · 0 comments

More specifically: https://github.com/fsharp/fslang-suggestions/issues/243#issu... I particularly like the comment: "I don't want F# to be the kind of language where the most empowered person in the discord chat is the category theorist."

comment by marcle · 2021-09-10 · in Don Syme, creator of F#, defends lack of type classes

▲ 8

Don Syme, creator of F#, defends lack of type classes

story by mdm12 · 2021-09-10 · 1 comment

▲ 5

Don Syme's response to requests for type-level programming support in F#

story by vector_spaces · 2021-09-10 · 0 comments

…it because it shows that there is a focus on practical FP even at the very top of the community. https://github.com/fsharp/fslang-suggestions/issues/243#issu...

comment by wheresmycraisin · 2021-09-10 · in Monads are monoids in the category of endofunctors

…That seems to be a pretty interesting feature. I followed the link to the F# suggestions and found https://github.com/fsharp/fslang-suggestions/issues/864 It seems like there is interest but with a "let’s wait and see what happens with C#"…

comment by dpwm · 2021-04-09 · in A Brief F# Exploration

…you do not want to do that because it's worse for performance. There is an issue for that: https://github.com/fsharp/fslang-suggestions/issues/838 In C#, the AggressiveInlining attribute works well, in predictable manner. Non-inlineable…

comment by buybackoff · 2021-02-01 · in F# is gaining independence from .NET

▲ 4

Extending pattern matching is a trap in programming language design

story by tentacles · 2021-01-28 · 1 comment

…I think this GitHub issue will probably give you the current status and background on this point https://github.com/fsharp/fslang-suggestions/issues/243 Update: the issue is tagged await-csharp-alignment, which is probably the relevant…

comment by gonesurfing · 2020-12-05 · in Fable 3: F# to JavaScript compiler

F# is not proprietary. https://github.com/fsharp/fslang-suggestions

comment by lostmsu · 2020-11-03 · in Dark’s new backend will be in F#

…Generalized Algebraic Data Types will ever come to F#. There's an issue for it you could vote for https://github.com/fsharp/fslang-suggestions/issues/179

comment by polskibus · 2020-09-10 · in Microsoft: 'We Are Finished with F# 5'

…types hack neater. If you find one, I'm all ears! There is an issue open with the F# compiler ( https://github.com/fsharp/fslang-suggestions/issues/567 ) to allow higher-ranked types, but there are (well-founded) objections that this could…

comment by Smaug123 · 2020-03-09 · in Defunctionalisation: An underappreciated tool for writing good software

…having them first). F# is really really great, but it is like an unwanted child of Microsoft :( https://github.com/fsharp/fslang-suggestions/issues/175

comment by sideeffffect · 2019-12-22 · in The Road to Scala 3

…work-in-progress, perhaps hampered by the complexity of .NET and Microsoft in general — example: https://github.com/fsharp/fslang-suggestions/issues/542 By comparison, the C# community just seems faster, larger, more decisive:…

comment by lstamour · 2019-08-29 · in TypeScript 3.6

…add big and important features like Type Classes or Higher-kinded Types, until C# adds them first https://github.com/fsharp/fslang-suggestions/issues/243

comment by sideeffffect · 2019-08-25 · in WebAssembly Interface Types: Interoperate with All the Things

Hopefully we will see this one day: https://github.com/fsharp/fslang-suggestions/issues/243

comment by adgasf · 2019-05-22 · in A whirlwind tour of object-oriented code in F# (2012)

Uhh, Span/Memory support is coming soon https://github.com/fsharp/fslang-suggestions/issues/648 Channel<T> uses ValueTask<T> which is kinda painful in F# for now. https://github.com/fsharp/fslang-suggestions/issues/581

comment by algorithmsRcool · 2018-05-30 · in Announcing .NET Core 2.1

…looking for (since an ask for HKTs typically means that Typeclasses are the ideal feature) is here: https://github.com/fsharp/fslang-suggestions/issues/243 Please leave opinions, commentary, and vote if this is something you want! F#…

comment by phillipcarter · 2016-12-10 · in What's New in F# 4.1? [video]