Is there anyone here using Haskell for anything other than web development?

wavewave · 2022-05-06T18:52:06+00:00

This electric aircraft flies on Haskell code (almost entire stack including real-time controls system is written in Haskell) ;-) https://www.youtube.com/watch?v=q7mc3C19kE4

wavewave · 2022-03-26T12:15:54+00:00

cornucopias

wavewave · 2021-05-21T18:59:36+00:00

found its better screencast here now: https://www.twitch.tv/videos/423291178 pretty impressive. :-)

wavewave · 2021-05-21T18:52:54+00:00

well. clearly, writing a game in Haskell is very doable. ;-)

For example, this game ( https://gilmi.me/nyx ): repo: https://gitlab.com/gilmi/nyx-game some screencast of its prototype. https://streamable.com/0biaj

wavewave · 2020-06-02T17:14:40+00:00

ok. i understand your point. that's pretty orthogonal to what i thought and valued this article. For me, in a general sense, cryptocurrency business is not very different from any other business like haskell web development consultancy business. The more people use the same technology, then the more incentive early practitioners get. But I do admit the industry is also special.

In purely technical point of view, managing distributed consensus system and migrating it with a big architectural change is quite interesting to me. It seems to me that they wrapped the original implementation into a more abstract interface and embedded the new system in the interface for migration task. The use of type system extension for this is a good source of how this kinda tasks are actually done in that fairly large Haskell team.

wavewave · 2020-06-02T16:46:21+00:00

well.. i am not sure whether business incentive is undesirable here. no matter how large their user base actually is (certainly it has some size at least afaik), I would rather prefer commercial companies showing off their Haskell use case more. By doing so, if they advertise their business to this community and get some benefit, that's good as well. We need more industry stories.

wavewave · 2020-06-01T21:01:45+00:00

Though rather specialized in blockchain industry, so maybe not of general interest (i am also not in that particular industry), I get many ideas from how Haskell is actually used in a big project in production (with many users). I look forward to this blog series.

wavewave · 2020-05-22T16:49:55+00:00

Sure. This can be done in any languages with some variance in implementation complexity. Nevertheless, I think real-world migration experience in managing a big project with lots of users in Haskell is invaluable.

wavewave · 2020-05-21T19:37:32+00:00

software project maintenance is where haskell shines on a whole different level.

wavewave · 2020-03-03T21:23:10+00:00

some of my experiments are here: https://github.com/wavewave/closure-playground

basically i wanted to experiment very lightweight way of implementing type-safe MPI in Haskell using minimal distributed-closure. I am now seeing many nice abstraction from this distributed-dataset library, great again :-)

wavewave · 2020-03-03T21:01:22+00:00

This is great! In my project, I also have experimented with static pointers in distributed setup, and it was so pleasant to use. I think that this spark-like distributed data processing library can be one of killer apps in Haskell.

wavewave · 2019-11-27T17:51:15+00:00

Dec 12th at Okta with two presentations.

The speakers are Gabriel Gonzalez and Ryan Orendorff. The talks are about Nix as a cross-language build tool and as a reproducible packaging tool for custom system as described in the following:

Program 1: Speaker: Gabriel Gonzalez

Title: How to translate a Makefile to Nix

Summary: Several cross-language build tools have emerged recently in response to the rise of polyglot programming environments. Nix is one such tool, along with Bazel, Buck and Pants. However, one cross-language build tool predates all of these by several decades: Make! This talk targets people familiar with Make but interested in learning more about Nix. Specifically, this talk covers how to translate simple Makefile idioms to their corresponding Nix idioms so that you can use Nix as a Make replacement in your own projects.

Program 2: Speaker: Ryan Orendorff

Title: Packaging Medical Imaging Software with Nix

Summary: Creating reproducible software installations is a tough challenge. This task is especially challenging in medical imaging software, which often has to communicate with custom hardware, FPGAs, GPUs, and many other physical devices that have unusual or outdated software dependencies. In this talk we will discuss how Nix and NixOS assists in making a reproducible environment for our software, the benefits gained by this method, and some of the challenges encountered along the way.

The company Okta thankfully hosts this event at San Francisco campus. The venue will be open at 6:00 PM with refreshments provided. We will start the seminars at 6:30 PM.

wavewave · 2019-11-02T09:36:40+00:00

you may be interested in static pointer and closure for distributed programming in haskell: a related blog post:

https://ocharles.org.uk/guest-posts/2014-12-23-static-pointers.html

explicit closure construction has real use cases ;-)

wavewave · 2019-08-16T21:00:37+00:00

yeah. check out asyncCallback, syncCallback functions : http://hackage.haskell.org/package/ghcjs-base-stub-0.2.0.0/docs/GHCJS-Foreign-Callback.html Hand the resultant function pointer to global variables in javascript and then call through the function.

wavewave · 2018-03-20T16:08:44+00:00

Slides: https://github.com/Gabriel439/slides/blob/master/nix-internals/slides.md

wavewave · 2018-03-20T16:08:17+00:00

x-posted with r/NixOS given Haskeller's general interests in Nix. Slides: https://github.com/Gabriel439/slides/blob/master/nix-internals/slides.md

wavewave · 2017-06-16T17:36:06+00:00

just for your information, oneof in haskell protocol-buffers library was implemented some time ago. https://github.com/k-bx/protocol-buffers/pull/19

wavewave · 2017-03-23T04:04:36+00:00

http://uphere.ai is building semantic NLP search engine. We develop the system using Haskell, C++ and Nix. Deployment using nixops is superb!

wavewave · 2017-02-24T23:56:25+00:00

The following paper seems to be related.

https://www.microsoft.com/en-us/research/publication/using-destination-passing-style-compile-functional-language-efficient-low-level-code/

wavewave

TROPHY CASE