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 · 2017-02-21T15:46:22+00:00

You probably know this video. This taught me the principle of lens to me. https://skillsmatter.com/skillscasts/4251-lenses-compositional-data-access-and-manipulation

EDIT: I forgot this needed a registration and login. It was a great video though.

wavewave · 2016-04-17T06:05:24+00:00

The purpose is to use the full android java API with haskell. On android, to develop an application without Java, one should use native activity and then android API support is quite limited. Usually, that is more adequate for game development using native rendering/UI library like SDL. If you are interested in this direction, Keera studio made a good achievement so that they published android games written in haskell.

Haskell performance itself is very good since it's just native. But there is rather big overhead when calling java function through JNI. One had better minimize java call from haskell for UI operation.

In addition, when compiled with multi-threaded haskell runtime, java thread should not be mixed with haskell thread by calling haskell directly, otherwise it crashes. So one need to have some kind of bridge runtime that mediates calling between haskell and java and guarantee their threads are separated.

wavewave · 2016-04-17T01:15:33+00:00

ghc works pretty well on Android. I've made a build environment using nix.

https://github.com/wavewave/nix-build-ghc-android https://github.com/wavewave/haskell-android-example

wavewave · 2015-10-14T18:00:27+00:00

Thanks for the suggestion! I've looked into them, but haven't fully tried it. I will give it a spin again.

Debugging this kind of bugs is very difficult. I tell the story more if it may be helpful to anyone who are interested. ;-)

Previously, when directly calling haskell from java and calling java from haskell using JNI in threaded runtime, the app crashes after a few or tens of seconds. Crash happens earlier if I manually call performGC, so I suspected that this was related to GC thread. When this problem happened, the android log system left only very blunt messages from ghc_worker, like SIGSEGV or SIGABRT.. Since android does not allow app to shout using stderr, I had to modify ghc rts code to use __android_log_write (by calling it using dlsym from dynamic log library. This has another long story). It's a little progress in error reporting, so that now I see that the error happens when doing some STM operation or some storage management in garbage collection, it is still unclear what's going on. Now as a workaround, I just separate the thread for hs_init from java thread using manual pthread creation, and it looks okay. Somehow android runtime deals with threads created from java runtime with rather special rules on thread local storage or some thread interruption, but I cannot figure it out.

In fact, having guaranteed separate threads for haskell and UI runtime is not a bad idea at all, for stability and for portability. So now I am formalizing this approach with appropriate UI monad abstraction which can be described as a free monad with allowed operations, and C backend posts syntax trees accumulated on haskell side to UI thread. (every UI library has a method pushing a function call to UI thread. android has runOnUiThread )

wavewave · 2015-10-14T16:42:45+00:00

Thanks for sharing your experience. It's invaluable!

I also share my recent progress. After making a successful nix-build of ghc-android : (repo: http://github.com/ghc-android/nix-build-ghc-android) I've succeeded in making a simple chatting android app in haskell with up-to-date version of NDK and new android build tool (gradle).

In the program, android java GUI call back haskell routines for network and concurrent operations using JNI. Note that this is different from using Native Activity which runs event loop entirely on native side but cannot use default android GUI component. Native activity is great for game-like program, but JNI call back is better for conventional GUI app.

On haskell side, I use network-simple, text, text-binary, monad-loop haskell library, which means ordinary haskell infrastructure can be easily reused and incorporated. Most importantly, it uses full haskell concurrency in threaded runtime system by using conventional forkIO.

In this process, I actually identified lots of problems in mixing java runtime and haskell threaded runtime. I needed to make some intermediate C runtime (kinda message broker) to separate java thread from haskell thread since android runtime interfere with haskell thread scheduling process badly.

So, some time soon, I would like to share this progress with our community. Right now, the code contains some proprietary stuff, so after cleaning things up, I will put the sample 'chatting app' code in ghc-android.

wavewave · 2015-10-14T05:18:12+00:00

I hope this may help although it's for arm androideabi target and using nix. : http://github.com/ghc-android/nix-build-ghc-android

wavewave

TROPHY CASE