Top Tweets for #TypeFighter
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 π€
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! πͺ
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!

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
#TypeFighter mini update; shimmer effect added to commands + backup ships can now have homing projectiles.
#GameDev
We also released a WebGL version of #TypeFighter today!
Come try it out!
https://t.co/walv9yGpOQ
#GameDev #Unity2D

SHOOT THINGS! TYPE WORDS! MAKE EXPLOSIONS HAPPEN!
#TYPEFIGHTER
COMING SOON
#GameDev #MadeWithUnity @PlayWestHQ
Last Seen Hashtags on Sotwe
minichat()teenageee()snapchat()filter:native_video
brosis
Seen from United States
anxiouspanda
Seen from United States
omegle
Seen from United States
minichat https
Seen from Brazil
taksimtrAvesti
Seen from Turkey
HetRoerOm
Seen from Netherlands
cewektelanjang
Seen from Indonesia
minichat girl filter:videos
Seen from Saudi Arabia
ηΈη²Ύ
Seen from Korea
Most Popular Users

Elon Musk 
@elonmusk
241.7M followers

Barack Obama 
@barackobama
119M followers

Cristiano Ronaldo 
@cristiano
114.5M followers

Donald J. Trump 
@realdonaldtrump
111.9M followers

Narendra Modi 
@narendramodi
107.2M followers

Rihanna 
@rihanna
98.7M followers

NASA 
@nasa
92.4M followers

Justin Bieber 
@justinbieber
91.8M followers

KATY PERRY 
@katyperry
90M followers

Taylor Swift 
@taylorswift13
84M followers

Lady Gaga 
@ladygaga
75.4M followers

Virat Kohli 
@imvkohli
73.4M followers

Kim Kardashian 
@kimkardashian
70.9M followers

YouTube 
@youtube
68.8M followers

Neymar Jr 
@neymarjr
66.4M followers

Bill Gates 
@billgates
65.2M followers

Selena Gomez 
@selenagomez
63.1M followers

The Ellen Show
@theellenshow
62.3M followers

CNN 
@cnn
61.8M followers

X 
@x
60.7M followers






