Databases
StackOverflow2013
Postsdbo
POHow would I translate a Haskell type class into F#?
 

Note that there are some explanatory texts on larger screens.

plurals
  1. POHow would I translate a Haskell type class into F#?
    primarykey
    data
    text
    <p>I'm trying to translate the Haskell core library's Arrows into F# (I think it's a good exercise to understanding Arrows and F# better, and I might be able to use them in a project I'm working on.) However, a direct translation isn't possible due to the difference in paradigms. Haskell uses type-classes to express this stuff, but I'm not sure what F# constructs best map the functionality of type-classes with the idioms of F#. I have a few thoughts, but figured it best to bring it up here and see what was considered to be the closest in functionality.</p> <p><strong>For the tl;dr crowd:</strong> How do I translate type-classes (a Haskell idiom) into F# idiomatic code?</p> <p>For those accepting of my long explanation:</p> <p>This code from the Haskell standard lib is an example of what I'm trying to translate:</p> <pre><code>class Category cat where id :: cat a a comp :: cat a b -&gt; cat b c -&gt; cat a c class Category a =&gt; Arrow a where arr :: (b -&gt; c) -&gt; a b c first :: a b c -&gt; a (b,d) (c,d) instance Category (-&gt;) where id f = f instance Arrow (-&gt;) where arr f = f first f = f *** id </code></pre> <p><strong>Attempt 1: Modules, Simple Types, Let Bindings</strong></p> <p>My first shot at this was to simply map things over directly using Modules for organization, like:</p> <pre><code>type Arrow&lt;'a,'b&gt; = Arrow of ('a -&gt; 'b) let arr f = Arrow f let first f = //some code that does the first op </code></pre> <p>That works, but it loses out on polymorphism, since I don't implement Categories and can't easily implement more specialized Arrows. </p> <p><strong>Attempt 1a: Refining using Signatures and types</strong></p> <p>One way to correct some issues with Attempt 1 is to use a .fsi file to define the methods (so the types enforce easier) and to use some simple type tweaks to specialize.</p> <pre><code>type ListArrow&lt;'a,'b&gt; = Arrow&lt;['a],['b]&gt; //or type ListArrow&lt;'a,'b&gt; = LA of Arrow&lt;['a],['b]&gt; </code></pre> <p>But the fsi file can't be reused (to enforce the types of the let bound functions) for other implementations, and the type renaming/encapsulating stuff is tricky.</p> <p><strong>Attempt 2: Object models and interfaces</strong></p> <p>Rationalizing that F# is built to be OO also, maybe a type hierarchy is the right way to do this.</p> <pre><code>type IArrow&lt;'a,'b&gt; = abstract member comp : IArrow&lt;'b,'c&gt; -&gt; IArrow&lt;'a,'c&gt; type Arrow&lt;'a,'b&gt;(func:'a-&gt;'b) = interface IArrow&lt;'a,'b&gt; with member this.comp = //fun code involving "Arrow (fun x-&gt; workOn x) :&gt; IArrow" </code></pre> <p>Aside from how much of a pain it can be to get what should be static methods (like comp and other operators) to act like instance methods, there's also the need to explicitly upcast the results. I'm also not sure that this methodology is still capturing the full expressiveness of type-class polymorphism. It also makes it hard to use things that MUST be static methods.</p> <p><strong>Attempt 2a: Refining using type extensions</strong></p> <p>So one more potential refinement is to declare the interfaces as bare as possible, then use extension methods to add functionality to all implementing types.</p> <pre><code>type IArrow&lt;'a,'b&gt; with static member (&amp;&amp;&amp;) f = //code to do the fanout operation </code></pre> <p>Ah, but this locks me into using one method for all types of IArrow. If I wanted a slightly different (&amp;&amp;&amp;) for ListArrows, what can I do? I haven't tried this method yet, but I would guess I can shadow the (&amp;&amp;&amp;), or at least provide a more specialized version, but I feel like I can't enforce the use of the correct variant. </p> <p><strong>Help me</strong></p> <p>So what am I supposed to do here? I feel like OO should be powerful enough to replace type-classes, but I can't seem to figure out how to make that happen in F#. Were any of my attempts close? Are any of them "as good as it gets" and that'll have to be good enough?</p>
    singulars
    1. PO
      singulars
      1. PTAnswer
    1. This table or related slice is empty.
    1. PTQuestion
    1. USCodexArcanum
    1. USCodexArcanum
    plurals
    1. This table or related slice is empty.
    1. PL
      singulars
      1. LTLinked
    2. PL
      singulars
      1. LTLinked
    3. PL
      singulars
      1. LTLinked
    1. This table or related slice is empty.
    1. PO
      singulars
      1. PTAnswer
    2. PO
      singulars
      1. PTAnswer
    1. VO
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. This table or related slice is empty.
      1. VTUpMod
    1. CO"How do I translate type-classes (a Haskell idiom) into F# idiomatic code?" Bad idea. You should look at the *problem* you were trying to solve instead of the solution that happened to use type classes and figure out how to solve it using the feature that F# does provide.
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. USJon Harrop
    2. CO@Jon Harrop That's the point of the question. Haskell solves dozens of problems with Type Classes, and I wanted to know what the F# alternatives were to solving a similar *class* of problems. Also the Arrow port isn't to solve any problems, its just a "I thought it would be fun to learn more about Arrows" activity.
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. USCodexArcanum
    3. COThen I think it would be really valuable if you could explain some of the problems that type classes solve and ask people how they would solve the same problems in F#.
      singulars
      1. POHow would I translate a Haskell type class into F#?
      1. USJon Harrop
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload