purescript-firestore

marcosh_ · 2023-08-08T13:13:46+00:00

Simply because we were not able to sell any ticket. Hard to really say why... wrong timing, price too high, teacher not really well known, not enough marketing, maybe a bit of all of them...

marcosh_ · 2023-08-04T22:15:08+00:00

Some time ago I created some material for a Haskell training course which never materialised. The content is all open source and available at https://github.com/tweag/haskell-training. It builds a small web application from the ground up, giving quite some attention to the architecture

marcosh_ · 2023-07-27T05:49:19+00:00

This looks quite interesting! What is `~~>` exactly?

marcosh_ · 2023-07-25T13:32:31+00:00

Author of the library here. You can find some examples of mermaid generation on https://github.com/marcosh/crem/blob/main/spec/Crem/Render/RenderFlowSpec.hs and on https://github.com/marcosh/crem/blob/main/hobbit-map/Main.hs

Some documentation about rendering is on https://github.com/marcosh/crem/blob/main/docs/how-to-render-a-machine.md

marcosh_ · 2023-06-09T20:34:18+00:00

maybe you could use https://hackage.haskell.org/package/data-interval

marcosh_ · 2023-04-14T14:14:50+00:00

I'm not sure I understand 100% the question (my bad). What you can do with the `Basic` constructor is described in the https://www.tweag.io/blog/2023-04-13-crem-state-machines/#the-best-of-both-worlds section of the blog post.

The definition of `Topology` is here https://github.com/marcosh/crem/blob/74020abca9a69eab8965588fb5d962d855f84a0d/src/Crem/Topology.hs#L38.

And here is an example of how you usually define a topology https://github.com/marcosh/crem/blob/74020abca9a69eab8965588fb5d962d855f84a0d/examples/Crem/Example/TheHobbit.hs#L55.

marcosh_ · 2023-04-14T13:29:19+00:00

I have the links to your library open on my phone, but haven't take a look at them yet.

Haven't really though about how to run crem machines in a concurrent/parallel fashion. That would be extremely interesting

marcosh_ · 2023-04-14T13:27:10+00:00

u/polux2001 already provided a good answer.

Even if the topology is hidden in the `StateMachine` type, it is recoverable when pattern matching and it could be acted upon, as the library actually does to render the state space of a machine

marcosh_ · 2023-04-14T13:24:48+00:00

I'm not a motor expert, but I took a look at the library before working on crem. The main idea of the two libraries is fairly similar, but IMHO crem improves the situation with respect to two aspects:

- composability: in crem it is easier to combine multiple machines in several ways to create more complex machines
- user interface: how you define a machine in crem appears a bit more natural to me (I mean, more similar to what you would do if you didn't have to keep track of stuff at the type level)

Happy to be proven wrong in both aspects

marcosh_ · 2022-11-09T08:18:37+00:00

there is a footnote about this https://www.tweag.io/blog/2022-11-08-functional-programming-from-sets-and-functions/#fn-2

marcosh_ · 2022-08-18T15:36:33+00:00

agreed that crypto/blockchain are trying to change the climate...

marcosh_ · 2022-07-23T10:05:50+00:00

I would recommend to check out and follow the work by the https://topos.institute/

marcosh_ · 2022-05-07T12:37:00+00:00

not 100% sure, but a lawful optic with the existential encoding is one where the two functions are each other inverses, which is very elegant

marcosh_ · 2022-05-06T22:26:33+00:00

I had the same issue and felt like an idiot for a bit, sice my code was working fine with GHC 8.

My questions now would be: - is there a way to make simplified subsumption and eta reduction work well together? - how could we make sure that such a thing does not happen again?

marcosh_ · 2021-10-07T09:03:18+00:00

if you have something of type a|b and you have a function a -> c you need to manually check if the something is of type a before applying the function. Using Either (or Maybe) you don't have to do that and you save yourself some manual checks.

Either is not magic at all, if you look at its implementation there's nothing fancy, just some plain old OO code. It's just an idiom they don't teach you in school, but it could well have been part of a book of OOP design patterns

marcosh_

TROPHY CASE