frank

Frank compiler (by frank-lang)

Frank Alternatives

Similar projects and alternatives to frank

  1. langs

    185 frank VS langs
  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. ponyc

    Pony is an open-source, actor-model, capabilities-secure, high performance programming language

  4. perlweeklychallenge-club

    Knowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, BASIC, Bc, Befunge-93, Bourne Shell, BQN, Brainfuck, C3, C, CESIL, C++, C#, Clojure, COBOL, Coconut, Crystal, D, Dart, Dc, Elm, Emacs Lisp, Erlang, Excel VBA, Fennel, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, IO, J, Janet, Java, JavaScript, Julia, Kotlin, Lisp, Lua, M4, Miranda, Modula 3, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, Nuweb, OCaml, Odin, Ook, Pascal, PHP, Python, Post

  5. FStar

    48 frank VS FStar

    A Proof-oriented Programming Language

  6. koka

    33 frank VS koka

    Koka language compiler and interpreter

  7. eff

    18 frank VS eff

    🚧 a work in progress effect system for Haskell 🚧 (by hasura)

  8. effekt

    13 frank VS effekt

    A language with lexical effect handlers and lightweight effect polymorphism

  9. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  10. jellylanguage

    Jelly is a recreational programming language inspired by J.

  11. granule

    4 frank VS granule

    A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  12. effects-bibliography

    A collaborative bibliography of work related to the theory and practice of computational effects

  13. prolog-to-minizinc

    A Prolog-to-MiniZinc translator

  14. gerty

    3 frank VS gerty

    A small implementation of graded modal dependent type theory. A younger cousin to Granule.

  15. ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell (by nicuveo)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better frank alternative or higher similarity.

frank discussion

Log in or Post with

frank reviews and mentions

Posts with mentions or reviews of frank. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-11-19.
  • Do Be Do Be Do (2017) [pdf]
    1 project | news.ycombinator.com | 2 Apr 2024
  • Efficient Compilation of Algebraic Effect Handlers - Ningning Xie
    1 project | /r/ProgrammingLanguages | 13 Jul 2022
  • Effekt, a research language with effect handlers and lightweight polymorphism
    6 projects | news.ycombinator.com | 19 Nov 2021
    How does this compare to other effect-oriented languages like Koka, Frank, and Eff?

    I've been doing some work with Koka lately, but I briefly looked into the other three (including Effekt) and it mostly came down to, 'Koka seems most active in development'[1] and 'Koka had the easiest to use documentation for me'[2].

    [1] E.g. https://github.com/effekt-lang/effekt had its last commit back in June; https://github.com/frank-lang/frank last commit last year; but https://github.com/koka-lang/koka last update was Oct 15. Effekt seems semi-active, at least, compared to Frank. While stability is good, I wouldn't expect it in a language actively being used for research.

    [2] Comparing https://koka-lang.github.io/koka/doc/book.html and https://effekt-lang.org/docs/ and https://www.eff-lang.org/learn/

  • The Problem of Effects (2020)
    5 projects | news.ycombinator.com | 27 Aug 2021
  • Extensible Effects in the van Laarhoven Free Monad
    1 project | news.ycombinator.com | 29 Jul 2021
  • What are some cool/wierd features of a programming language you know?
    9 projects | /r/ProgrammingLanguages | 12 Apr 2021
    Frank's effect handling. "A strict functional programming language with a bidirectional effect type system designed from the ground up around a novel variant of Plotkin and Pretnar's effect handler abstraction. ... Frank [is different from other PLs with effect type systems in that it is based on] generalising the basic mechanism of functional abstraction itself. A function is simply the special case of a Frank operator that interprets no commands. Moreover, Frank's operators can be multihandlers which simultaneously interpret commands from several sources at once, without disturbing the direct style of functional programming with values. Effect typing in Frank employs a novel form of effect polymorphism which avoid mentioning effect variables in source code. This is achieved by propagating an ambient ability inwards, rather than accumulating unions of potential effects outwards."
  • A note from our sponsor - InfluxDB
    influxdata.com | 29 Apr 2025
    Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems. Learn more →

Stats

Basic frank repo stats
6
288
0.0
about 1 year ago

frank-lang/frank is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.

The primary programming language of frank is Haskell.


Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?