frank

Frank compiler (by frank-lang)

Frank Alternatives

Similar projects and alternatives to frank

  • GitHub repo langs

  • GitHub repo ponyc

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

  • GitHub repo jellylanguage

    Jelly is a recreational programming language inspired by J.

  • GitHub repo granule

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

  • GitHub repo perlweeklychallenge-club

    Knowledge base for The Weekly Challenge club members using Perl, Raku, Ada, APL, Awk, Bash, Bc, Befunge, BQN, Brainfuck, C, CESIL, C++, C#, Clojure, COBOL, Crystal, D, Dart, Elm, Erlang, Excel VBA, Fish, Forth, Fortran, Gembase, GNAT, Go, Haskell, Haxe, HTML, Idris, Janet, Java, JavaScript, Kotlin, Lisp, Lua, M4, Macro Processor, Miranda, MMIX, Mumps, Myrddin, Nim, Nix, Node.js, OCaml, Odin, Ook, Pascal, PHP, Python, Postscript, Prolog, R, Ruby, Rust, Scala, Scheme, Sed, Smalltalk, SQL, Swift, T

  • GitHub repo gerty

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

  • GitHub repo prolog-to-minizinc

    A Prolog-to-MiniZinc translator

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

Posts

Posts where frank has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-04-12.
  • Extensible Effects in the van Laarhoven Free Monad
    news.ycombinator.com | 2021-07-29
  • What are some cool/wierd features of a programming language you know?
    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."

Stats

Basic frank repo stats
2
193
0.0
9 months ago

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