Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
junkyarddog
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
Linux devs ponder pulling contributions over new Code of Conduct
(itnews.com.au)
20 points
by
junkyarddog
8y ago
|
17 comments
2.
▲
by
junkyarddog
10y ago
Agreed. A turing-complete language isn't the ideal choice for smart contracts. A strongly typed ML or Haskell style language would have been a much better choice as a starting point.
3.
▲
by
junkyarddog
10y ago
Six to seven foot tall praying mantis like entities are a common element in many alien abduction accounts. They're typically in the background, silently watching the proceedings while letting the little greys carry out the examinations
4.
▲
by
junkyarddog
10y ago
If the pattern matching isn't exhaustive, it will greatly reduce their usefulness.
5.
▲
by
junkyarddog
10y ago
It still has to look C#ish.
6.
▲
by
junkyarddog
10y ago
But they have the F# and Haskell teams, who are nearby, to talk to. In particular, F# seems to have had a great influence lately.
7.
▲
by
junkyarddog
10y ago
The C# team are very lucky to have F# as a reference implementation on how to implement ML style features on the .NET platform. I'm certain many more features from F#/OCaml will be added in forthcoming releases.
8.
▲
by
junkyarddog
10y ago
Using F# would have been a great choice. By using algebraic data types plus active patterns the size of the code base would have been dramatically reduced and much more comprehensible. And of course it would have been even more type safe.
9.
▲
by
junkyarddog
10y ago
There's more to F# then HM type inference plus ".NET's OOP and subtyping". OOP and subtyping are rarely used. While it lacks some of OCaml's powerful features it shares many core features such as algebraic data type
10.
▲
by
junkyarddog
11y ago
Have to agree that Active Patterns are an incredibly useful F# feature.
11.
▲
by
junkyarddog
11y ago
I would say F# is much safer than C# as it has immutability by default, non-nullable reference types, Option types, units of measure, and stricter casting rules.
12.
▲
by
junkyarddog
13y ago
So basically, the plan is to turn C# into F# with curly braces.
13.
▲
by
junkyarddog
15y ago
No. The whole point of going dark is to raise public awareness and to get politicians to take this issue seriously. Unlike the general population, we don't need a wake up call.
14.
▲
by
junkyarddog
15y ago
One company that's making heavy use of F# is Credit Suisse. They use it in their global modeling and analysis group. The F# based WebSharper web framework: http://websharper.com/ . WebSharper is based on the work of Philip Wadler, et al:
15.
▲
by
junkyarddog
15y ago
F# doesn't have an in-built iterate function, but found an equivalent on the F# Snippets site -- http://fssnip.net/18 . let rec iterate f value = seq { yield value yield! iterate f (f value) } Using the above we ge
16.
▲
by
junkyarddog
15y ago
For the F# developer, WebSharper ( http://websharper.com/ ) seems to offer a great implementation based on the Formlets abstraction. For some theoretical background, have a look at http://groups.inf.ed.ac.uk/links/formlets/ which has so
17.
▲
by
junkyarddog
15y ago
For the F# developer, WebSharper ( http://websharper.com/ ) seems to offer a great implementation based on the Formlets abstraction. For some theoretical background, have a look at http://groups.inf.ed.ac.uk/links/formlets/ which has so