All geek questions in one place

Are there type providers in languages ​​other than F #?

I got stuck on this for a few days ... Sorry for such a question, but I'm just a beginner in F #. Since there is a lot of discussion about type providers, I decided to build one and write an article about it. When I started, I had no idea what type of provider. Now I have an idea, and I created a simple provider of the CSV type, but I don’t have enough arguments in assessing how much time and work it will take to do something similar in other languages. So far I have not found any information about this, just a provider of this type is a function in F # 3.0. Can someone help me please?

+7
source share
2 answers

As far as I know, the only other language that directly implements type providers is Idris. See Idris Documentation for Type Providers . There are several examples, including the SQL type provider in the David Christiansen GitHub repository . Depending on the typed language, type providers have a completely different appearance than in F # - they are mainly calculations in the IO monad that are invoked with the command %provide, so they are a bit more homogeneous with the rest of the language compared to the F # design.

There are other language features related to type providers.

  • ( Template Haskell camplp4 OCaml). ( , " " ).

  • , Java # (LINQ to SQL ), , , .

  • - -, , , , , , .

, . - , ( ) - -, . - , - , , JSON, XML CSV .

+11

Java - , Manifold.

, . Manifold Java , API- Type Manifold , . F #, Manifold Java SQL CSV, JSON Javascript... , Type Manifold. IntelliJ IDEA Manifold Manifold.

.

+1

Source: https://habr.com/ru/post/1689866/

More articles:


All Articles