Hrefna (DHC) · @hrefna
1176 followers · 4468 posts · Server hachyderm.io

Some in-the-genre languages I still want to play with some day that don't check the boxes or that I decided on over for other reasons:

*
*
* (F*)

(I'd also like to get into at some point, and a few others, but they aren't really in the genre).

#ocaml #flix #idris #fstar #elixir

Last updated 1 year ago

Zenith · @zenith
2 followers · 16 posts · Server mas.to

FLIXTRAIN - Finally Spotted the Green in Mannheim

youtu.be/iJvPQXG0aKs

#flix #station #train

Last updated 1 year ago

Börsen-Zeitung · @bz
176 followers · 1188 posts · Server hessen.social
Bahnblogstelle · @Bahnblogstelle
1127 followers · 1552 posts · Server mastodon.social
Bahnblogstelle · @Bahnblogstelle
1096 followers · 1454 posts · Server mastodon.social
ALLRAIL · @allrail
16 followers · 25 posts · Server eupolicy.social

Happy anniversary to our member Flix Mobility who turns 10 today!

Don't forget to register to Flix's online panel discussion on the Future of Mobility.

📅15 February
🕚11:00 - 11:55 CET
👉share-eu1.hsforms.com/1CIOFakA

#flix10 #mobility #transport #paneldiscussion #train #rail #future #eu #flix

Last updated 1 year ago

Bahnblogstelle · @Bahnblogstelle
1096 followers · 1448 posts · Server mastodon.social
Bahnblogstelle · @Bahnblogstelle
1096 followers · 1448 posts · Server mastodon.social
· @vascorsd
857 followers · 10255 posts · Server mastodon.social

I think I love the whole description of this. Linear types an capabilities, sounds awesome.

Other languages playing with linear types I'm aware of are and . is interesting since it also tracks purity and impurity in the effects.

For capabilities I'm aware of the new release of .

#idris #haskell #flix #ocaml

Last updated 2 years ago

Hrefna (DHC) · @hrefna
389 followers · 1397 posts · Server hachyderm.io

I have only a passing familiarity with. I've marked it as "I want to work with that on a toy project." It has a very minimalistic package functionality and no real dependency resolution to speak of. It doesn't build the same way. It is based on OCaml, and has a different type system from what you might expect in a JVM language (Hindley-Milner, specifically).

There's no reflection, no code generation, no compiler plugins, and a different concurrency model from java. It isn't interoperable

#flix

Last updated 2 years ago

Louis Rothschild · @LRothschildPhD
103 followers · 11 posts · Server indieweb.social

@nancylwayne &sticks ! Yum!

#flix

Last updated 2 years ago

Mike451 · @mike451
5 followers · 15 posts · Server mastodon.ie

Recent Films

Babarian 5/10
The Woman King 5/10
Macbeth (2015) 6/10
See How they Run 5/10
Terrifier 2 4/10

Barbarian starts well before becoming lazy. The Woman King feels like a TV movie of the week. Macbeth looks lovely and has Sean Harris, but Fassbender's not great. See How They Run starts well but runs out of steam and plods to the end. Terrifier 2, 70s style gore that isn't as shocking as it thinks it is.

#film #movies #cinema #flix

Last updated 2 years ago

Bahnblogstelle · @Bahnblogstelle
893 followers · 758 posts · Server mastodon.social
· @vascorsd
860 followers · 9632 posts · Server mastodon.social
· @vascorsd
860 followers · 9632 posts · Server mastodon.social
Adam Marshall Dobrin · @suzq
8 followers · 6822 posts · Server rettiwtkcuf.social

#flix #heim

Last updated 4 years ago