fslang-design
hobbes
| fslang-design | hobbes | |
|---|---|---|
| 19 | 4 | |
| 501 | 1,155 | |
| 0.8% | 0.1% | |
| 6.7 | 3.7 | |
| 17 days ago | 3 months ago | |
| F# | C | |
| - | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fslang-design
-
My Thoughts on OCaml
The C# compiler got a ton of new smarts around reference type nullability and almost all of the BCL (.NET standard library) got annotated for it. I don't know when F# will finally pick up all the new compile-time smarts for Nullable Reference Types, but it has been proposed and prototyped, at least [1].
[1] https://github.com/fsharp/fslang-design/blob/main/RFCs/FS-10...
-
Drawbacks of adding 'Interfaces with static abstract members' in F#
Note: For some reason I cant submit the Url with the specific section of the Drawbacks section, but it is here https://github.com/fsharp/fslang-design/blob/main/FSharp-7.0...
- Drawbacks of adding Interfaces with static abstract members in F#
- What are the features you're looking forward to in the next version of Fsharp?
-
Is there a market for a complete fsharp ORM library?
Does type provider still only support literal strings for definition, right? Supporting records could make it feasible to create something really good as just a side project. I remember suggestions to allow taking record/types but can't find the gh issue or related. Found the rfc. Seems abandoned. It could be a game changer. :(
-
How do I use voptions in active patterns in F# 6?
But, when I try this example from the RFC, I get an "expected option but here has type voption" error.
-
F# Weekly #42, 2021 – .NET 6 RC2 and What’s new in F# 6.0
Add insert/remove/update functions for collections, also Keys/Values for Map
- RFC FS-1110,1111 - "index syntax (expr[idx] instead of expr.[idx]) and ref cell op deprecation (.Value instead of !)" has been merged into the F# compiler and will be available starting the next .NET 6 release candidate.
-
What are your thoughts about the standard library?
This is https://github.com/fsharp/fslang-design/blob/main/RFCs/FS-1079-union-properties-visible.md
-
Is there a way to connect RFCs <-> PRs <-> targeted F# releases <-> release dates?
Someone writes an RFC about the approved-in-principle suggestion with more details and opens a pull request to https://github.com/fsharp/fslang-design.
hobbes
- Hobbes: Comprehensions
-
My Thoughts on OCaml
https://github.com/morganstanley/hobbes
Things like structural equality and ordering are user functions here rather than magic internal definitions (e.g. equality is defined as a type class, and type class instances can deconstruct algebraic types at compile time to decide how to implement instances). But evaluation is eager by default, so it's pretty easy to reason about performance. And data structures can be persisted to files and/or shared transparently in memory with C/C++ programs without translation, also very convenient for the places where this was used. Actually we built some very big and complicated time series databases with it, used in both pre and post trade settings where ~15% of daily US equity trades happen. So I think these observations are useful and have passed through some pretty significant real tests.
-
C++ source code generation (focus on financial market data)
Have a look at Hobbes from Morgan Stanley
-
Peridot: A functional language based on two-level type theory
https://github.com/morganstanley/hobbes
This approach has several benefits, but there's a lot of appeal also to the way they're doing it, to have the same PL across stages (and then maybe have more than just two stages).
What are some alternatives?
fslang-suggestions - The place to make suggestions, discuss and vote on F# language and core library features
dream-html - Render HTML, SVG, MathML, htmx markup from your OCaml Dream backend server
VisualFSharp - The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
peridot - A fast functional language based on two level type theory
intellij-community - IntelliJ IDEA Community Edition & IntelliJ Platform
sexp - S-expression swiss knife
LiteDB.FSharp - Advanced F# Support for LiteDB, an embedded NoSql database for .NET with type-safe query expression through F# quotations
hail - A service for pull-based continuous deployment based on hydra.
SQLProvider - A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.
resharper-rider-plugin - https://www.jetbrains.com/help/resharper/sdk/
FSharpx.Collections - FSharpx.Collections is a collection of datastructures for use with F# and C#.
docs - This repository contains .NET Documentation.