home.social

#flixlang — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #flixlang, aggregated by home.social.

  1. vascorsd @[email protected] ·

    Oh look #flixlang is on the orange site :blobcatcoffee:

    Flix – A powerful effect-oriented programming language | Hacker News

    news.ycombinator.com/item?id=4

    #jvm #scala #flix

    #flixlang #jvm #scala #flix
  2. vascorsd @[email protected] ·

    Oh look #flixlang is on the orange site :blobcatcoffee:

    Flix – A powerful effect-oriented programming language | Hacker News

    news.ycombinator.com/item?id=4

    #jvm #scala #flix

    #flix #scala #jvm #flixlang
  3. vascorsd @[email protected] ·

    Oh look #flixlang is on the orange site :blobcatcoffee:

    Flix – A powerful effect-oriented programming language | Hacker News

    news.ycombinator.com/item?id=4

    #jvm #scala #flix

    #flixlang #jvm #scala #flix
  4. vascorsd @[email protected] ·

    Oh look #flixlang is on the orange site :blobcatcoffee:

    Flix – A powerful effect-oriented programming language | Hacker News

    news.ycombinator.com/item?id=4

    #jvm #scala #flix

    #flixlang #jvm #scala #flix
  5. vascorsd @[email protected] ·

    Oh look #flixlang is on the orange site :blobcatcoffee:

    Flix – A powerful effect-oriented programming language | Hacker News

    news.ycombinator.com/item?id=4

    #jvm #scala #flix

    #flixlang #jvm #scala #flix
  6. vascorsd @[email protected] ·

    The Flix Programming Language - flix.dev

    -

    PSA: New Type Inference Engine

    «merging in a completely new type inference engine

    - Associated types and effects
    - begin to use associated types and effects in the standard library
    - new, simpler, and faster Boolean unification solver
    - A path towards a set based Boolean unification solver
    - A path towards significantly improved interoperability
    »

    github.com/flix/flix/discussio

    #flix #flixlang #fp #functionalProgramming #plt #scala

    #flix #flixlang #fp #functionalprogramming #plt #scala
  7. vascorsd @[email protected] ·

    The Flix Programming Language - flix.dev

    -

    PSA: New Type Inference Engine

    «merging in a completely new type inference engine

    - Associated types and effects
    - begin to use associated types and effects in the standard library
    - new, simpler, and faster Boolean unification solver
    - A path towards a set based Boolean unification solver
    - A path towards significantly improved interoperability
    »

    github.com/flix/flix/discussio

    #flix #flixlang #fp #functionalProgramming #plt #scala

    #flix #flixlang #fp #functionalprogramming #plt #scala
  8. vascorsd @[email protected] ·

    The Flix Programming Language - flix.dev

    -

    PSA: New Type Inference Engine

    «merging in a completely new type inference engine

    - Associated types and effects
    - begin to use associated types and effects in the standard library
    - new, simpler, and faster Boolean unification solver
    - A path towards a set based Boolean unification solver
    - A path towards significantly improved interoperability
    »

    github.com/flix/flix/discussio

    #flix #flixlang #fp #functionalProgramming #plt #scala

    #flix #flixlang #fp #functionalprogramming #plt #scala
  9. vascorsd @[email protected] ·

    The Flix Programming Language - flix.dev

    -

    PSA: New Type Inference Engine

    «merging in a completely new type inference engine

    - Associated types and effects
    - begin to use associated types and effects in the standard library
    - new, simpler, and faster Boolean unification solver
    - A path towards a set based Boolean unification solver
    - A path towards significantly improved interoperability
    »

    github.com/flix/flix/discussio

    #flix #flixlang #fp #functionalProgramming #plt #scala

    #scala #plt #functionalprogramming #fp #flixlang #flix
  10. vascorsd @[email protected] ·

    The Flix Programming Language - flix.dev

    -

    PSA: New Type Inference Engine

    «merging in a completely new type inference engine

    - Associated types and effects
    - begin to use associated types and effects in the standard library
    - new, simpler, and faster Boolean unification solver
    - A path towards a set based Boolean unification solver
    - A path towards significantly improved interoperability
    »

    github.com/flix/flix/discussio

    #flix #flixlang #fp #functionalProgramming #plt #scala

    #flix #flixlang #fp #functionalprogramming #plt #scala
  11. vascorsd @[email protected] ·

    An introduction to Datalog in Flix: Part 1 | Paul Butcher - paulbutcher.com/blog/2022/data

    #datalog #flix #flixlang #programming #programmingLanguages #plt

    #datalog #flix #flixlang #programming #programminglanguages #plt
  12. vascorsd @[email protected] ·

    An introduction to Datalog in Flix: Part 1 | Paul Butcher - paulbutcher.com/blog/2022/data

    #datalog #flix #flixlang #programming #programmingLanguages #plt

    #datalog #flix #flixlang #programming #programminglanguages #plt
  13. vascorsd @[email protected] ·

    An introduction to Datalog in Flix: Part 1 | Paul Butcher - paulbutcher.com/blog/2022/data

    #datalog #flix #flixlang #programming #programmingLanguages #plt

    #plt #programminglanguages #programming #flixlang #flix #datalog