#TypeFighter - Twitter Hashtag

almost 2 years ago

What's up guys! You might have heard of #typefighter (https://t.co/dZY7mgVpkS) - a tiny solver for in-app and dynamic languages written in #fsharp. You wanna see it in action? Then look at this step-by-step visualization of how it works. Stay tuned for my upcoming video for in-depth explanation 🤗

0

15

1

0

455

SchlenkR @SchlenkR

almost 2 years ago

An #fsharp success story! For a client, I used #trulla and #typeFighter as „solid foundation“ for type-checking an in-product programming language 🤩 My trusted friend @dawedev from @amplifyfsharp is now carrying on the work and ensuring customer success! Step on it, bro! 💪

1

13

1

0

342

SchlenkR @SchlenkR

almost 2 years ago

Hey #fsharp, #ocaml and everyone! I've polished my attempt for a small language with type inference - it's called #TypeFighter, and you can find it here: https://t.co/dZY7mgURvk The project provides foundational language elements such as functions, let- and do-bindings, and supports type features like records and polymorphic types, and it tries to assign types to all terms of a program Here's an example of a simple program with some info of external expressions (here: the "add" expression): The program's AST can be visualized (here also with the solved types assigned to every expression): The solver is running on a created constraint set, which is then recursively processed, solved problem by problem with a unification algorithm that generates even more problems :) - it's possible to visualize the internal solver runs: All you need is F# Interactive to play with it. There are many directly executable tests, a web based visualizer and more... Have FUN!

SchlenkR's tweet photo. Hey #fsharp, #ocaml and everyone! I've polished my attempt for a small language with type inference - it's called #TypeFighter, and you can find it here:

https://t.co/dZY7mgURvk

The project provides foundational language elements such as functions, let- and do-bindings, and supports type features like records and polymorphic types, and it tries to assign types to all terms of a program

Here's an example of a simple program with some info of external expressions (here: the "add" expression):

The program's AST can be visualized (here also with the solved types assigned to every expression):

The solver is running on a created constraint set, which is then recursively processed, solved problem by problem with a unification algorithm that generates even more problems :) - it's possible to visualize the internal solver runs:

All you need is F# Interactive to play with it. There are many directly executable tests, a web based visualizer and more...

Have FUN!

3

34

8

10

2K

On Brand Creatives @OBCreat1ves

over 4 years ago

A cool transition I made using #stencyl and its ImageApi. it's part of a game called "TYPE FIGHTER" which you can play here: https://t.co/Bf6ZaXKrpm #IndieGameDev #indiegames #gamedev #games #educational #typing #typefighter