<!-- 
RSS generated by JIRA (9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66) at Wed Feb 07 21:38:02 UTC 2024

It is possible to restrict the fields that are returned in this document by specifying the 'field' parameter in your request.
For example, to request only the issue key and summary append 'field=key&field=summary' to the URL of your request.
-->
<rss version="0.92" >
<channel>
    <title>MongoDB Jira</title>
    <link>https://jira.mongodb.org</link>
    <description>This file is an XML representation of an issue</description>
    <language>en-us</language>    <build-info>
        <version>9.7.1</version>
        <build-number>970001</build-number>
        <build-date>13-04-2023</build-date>
    </build-info>


<item>
            <title>[CSHARP-859] F# Type Provider</title>
                <link>https://jira.mongodb.org/browse/CSHARP-859</link>
                <project id="10041" key="CSHARP">C# Driver</project>
                    <description>&lt;p&gt;I would like a F# type provider for MongoDB.  I was at Tech Jam today and Osmar Olivo from MongoDB mentioned that this is the way to open a request.  I added this to the C# Driver b/c there is not a F# Driver listed.&lt;/p&gt;

&lt;p&gt;Thanks&lt;/p&gt;</description>
                <environment></environment>
        <key id="96835">CSHARP-859</key>
            <summary>F# Type Provider</summary>
                <type id="2" iconUrl="https://jira.mongodb.org/secure/viewavatar?size=xsmall&amp;avatarId=14711&amp;avatarType=issuetype">New Feature</type>
                                            <priority id="4" iconUrl="https://jira.mongodb.org/images/icons/priorities/minor.svg">Minor - P4</priority>
                        <status id="6" iconUrl="https://jira.mongodb.org/images/icons/statuses/closed.png" description="The issue is considered finished, the resolution is correct. Issues which are closed can be reopened.">Closed</status>
                    <statusCategory id="3" key="done" colorName="success"/>
                                    <resolution id="9">Done</resolution>
                                        <assignee username="-1">Unassigned</assignee>
                                    <reporter username="jamie.dixon">Jamie Dixon</reporter>
                        <labels>
                    </labels>
                <created>Sun, 3 Nov 2013 01:58:16 +0000</created>
                <updated>Thu, 7 Nov 2013 20:29:33 +0000</updated>
                            <resolved>Thu, 7 Nov 2013 20:29:33 +0000</resolved>
                                                                                        <votes>1</votes>
                                    <watches>2</watches>
                                                                                                                <comments>
                            <comment id="453175" author="craiggwilson" created="Thu, 7 Nov 2013 20:29:33 +0000"  >&lt;p&gt;Hi Jamie,&lt;/p&gt;

&lt;p&gt;Thanks for the feature request.  We have spiked a native F# driver here: &lt;a href=&quot;https://github.com/10gen-interns/mongo-fsharp-driver-prototype&quot; class=&quot;external-link&quot; target=&quot;_blank&quot; rel=&quot;nofollow noopener&quot;&gt;https://github.com/10gen-interns/mongo-fsharp-driver-prototype&lt;/a&gt;.  Feel free to file an issue at github.&lt;/p&gt;

&lt;p&gt;As we finish up the refactoring of the C# driver, we&apos;ll be able to focus on cleaning up the F# driver and driving it towards completion.  For now, it&apos;s sitting and hasn&apos;t been touched in a little while.&lt;/p&gt;

&lt;p&gt;Craig&lt;/p&gt;</comment>
                    </comments>
                    <attachments>
                    </attachments>
                <subtasks>
                    </subtasks>
                <customfields>
                                                                                                                                                                                                                                                                                                                                                                    <customfield id="customfield_15850" key="com.atlassian.jira.plugins.jira-development-integration-plugin:devsummary">
                        <customfieldname>Development</customfieldname>
                        <customfieldvalues>
                            
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    <customfield id="customfield_12550" key="com.pyxis.greenhopper.jira:gh-lexo-rank">
                        <customfieldname>Rank</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>2|hrtydb:</customfieldvalue>

                        </customfieldvalues>
                    </customfield>
                                                                <customfield id="customfield_10558" key="com.pyxis.greenhopper.jira:gh-global-rank">
                        <customfieldname>Rank (Obsolete)</customfieldname>
                        <customfieldvalues>
                            <customfieldvalue>88700</customfieldvalue>
                        </customfieldvalues>
                    </customfield>
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            </customfields>
    </item>
</channel>
</rss>