F#
MonkeyType
F# | MonkeyType | |
---|---|---|
26 | 9 | |
2,199 | 4,540 | |
- | 0.6% | |
0.0 | 5.4 | |
over 1 year ago | 17 days ago | |
F# | Python | |
MIT License | GNU General Public License v3.0 or later |
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.
F#
-
old languages compilers
F# F*
-
From Script to Scaffold in F#
This year I've been attempting Advent of Code in my favourite programming language, F#. This is a beginner(ish) centered post about making incremental changes from the smallest possible solution to something more robust.
-
for newbie , VScode+ionide or VisualStudio
I can recommend polyglot notebooks in vs code, so you can mix different languages.Take a look athttps://fsharp.org/ for some project ideas and frameworks.
-
The comeback of the Fediverse and the Old Web
I have many less followers on Mastodon than in the Birdsite (40 vs 341), yet my activity has generated many more interactions than there. Not only that, among the users who decided to interact with me I counted: a co-discoverer of the Laniakea supercluster, one of the lead developers behind F#, the author of many important books on Java & JVM, plus many others. I'm literally a nobody, but this time there was no algorithm relying on relevance and engament metrics to decide what to present to each one of us.
-
Chicago and London TDD Styles for Functional Programming
FP devs differ based on language here. Elm, like F#, tends to encourage "a bunch of functions and types in a file". While Elm supports modules, we don't really care where it came from; they're all pure, all deterministic, the compiler tells us if it works.
-
Performance of immutable collections in .NET
The builtin fsharp collections actually are just "immutable", not persistent as you mention. (Ref: https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/map.fs. This is just an AVL tree that returns a copy on mutations: https://github.com/fsharp/fsharp/blob/577d06b9ec7192a6adafefd09ade0ed10b13897d/src/fsharp/FSharp.Core/map.fs#L118)
-
Coming from Scala
You can dive into .NET ecosystem by trying F#. It's functional-first language so this should be familiar.
-
Parsing Lambda Error Logs in ReScript & Python
ReScript code is just like F# or OCAML; it doesn’t have a function parse phase like JavaScript, so we have to define our functions and types first before we can use them. That’s fine, but makes explaining the code backwards (meaning you start at the bottom of the file and work your way up), so we’ll start at our lambda handler and explain each part, regardless of where it’s defined.
-
Please put units in names
F# is a JavaScript and .NET language for web, cloud, data-science, apps and more.
-
E
Also a programming joke
MonkeyType
-
Enhance Your Project Quality with These Top Python Libraries
MonkeyType collects runtime types of function arguments and return values, and can automatically generate stub files or add type annotations directly to your Python code based on the types collected at runtime.
-
A Tale of Two Kitchens - Hypermodernizing Your Python Code Base
To alleviate the burden of manual annotation, MonkeyType offers a clever solution. It dynamically observes the types entering and leaving functions during code execution. Based on this observation, it generates a preliminary draft of type annotations. This significantly reduces the effort needed to add type hints to legacy code.
- Do you know any library that automatically detects unused files / functions inside a project folder?
-
Programming Breakthroughs We Need
https://github.com/instagram/MonkeyType can perform the call logging, and can export a static typing file which is used by mypy, but also e.g. PyCharm. It doesn't expose such fine grained types, but you could build that based on the logged data.
-
Gradually introduce type checking to an existing typed codebase.
Which introduces MonkeyType, a python library that generatics static type annotations by collecting runtime types.
- Call me naive, but would it not be possible to create a tool for python the auto adds type hints at run time?
- Is there any language that is as similar as possible to Python in syntax, readability, and features, but is statically typed?
-
Typehole – Create TypeScript interfaces from JS runtime values automatically
Not sure if you're joking but there is something similar for python developed by a rather well known company https://github.com/Instagram/MonkeyType
- Cinder: Instagram's performance oriented fork of CPython
What are some alternatives?
ClojureCLR - A port of Clojure to the CLR, part of the Clojure project
PythonBuddy - 1st Online Python Editor With Live Syntax Checking and Execution
julia - The Julia Programming Language
unimport - :rocket: The ultimate linter and formatter for removing unused import statements in your code.
Roslyn - The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
Cinder - Cinder is a community-developed, free and open source library for professional-quality creative coding in C++.
VisualFSharp - The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
typehole - TypeScript development tool for Visual Studio Code that helps you automate creating the initial static typing for runtime values
Nemerle - Nemerle language. Main repository.
cinder - Cinder is Meta's internal performance-oriented production version of CPython.
IronScheme - IronScheme
plum - Multiple dispatch in Python