March 23rd NashFP

[Chris Mihalcik]

Hello all,

NashFP is next Tuesday. We left the last meeting with a pretty good slate of topics.

Unison Followup, Team Workflows - ???
Leader Election - Bryan Hunter
Scrabble Solver - Mark Wutka

I could probably fumble through the Unison topic unless someone else wants at it. What else do we have?

[Mark Wutka]

For clarity's sake, it wouldn't be a Scrabble solver but using a directed acyclic word graph to look up letters, and I can talk about how to solve some cryptograms with it.

  Mark

--
You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CAHAF8YVhK31UWggb4MvsefYghyy7t9TKzHkOEr9-_3wKFLhvLw%40mail.gmail.com.

[Chris Mihalcik]

Directed acyclic word graphs, got it.

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/CA%2BvyaX1XQZfVjo6hqaDtaLnUy8bOeAnvA%3DrX4m7TY9ir__hzwQ%40mail.gmail.com.

[Shritesh Bhattarai]

Since our last meeting, I’ve gone down the rabbit hole of algebraic effects and effect handlers.

Effects are an alternative to monads to manage side effects and control flow and let you implement 

what would usually be language level features like exceptions or async-await in your own code.

Unison’s abilities are based on Frank’s effect system but I’ve only used them in Koka and OCaml Multicore.

I can share what I’ve learned so far about effects. 

Shritesh

[Mark Mynsted]

I missed part of the meeting. What is Frank's effect system outside of
Unison?

Shritesh Bhattarai wrote on 3/17/21 10:38:
> Frank’s effect system

[Shritesh Bhattarai]

We only tried using GitHub as a code server and didn’t do anything effectful in the last meeting. 

Frank is a (research) programming language with effects: https://github.com/frank-lang/frank. I meant that Unison’s abilities are based on Frank’s effects but I have only used effects in Koka (https://koka-lang.github.io/koka/doc/index.html) and OCaml multicore (https://github.com/ocaml-multicore/ocaml-multicore).

Sorry for the confusion.

Shritesh

--
You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/63810217-5f3d-2913-cc7f-4215c257a24f%40underscoreconsulting.com.

[Bryan Hunter]

Here is Zoom info for the meeting...

Topic: NashFP - March 23, 2021

Time: Mar 23, 2021 06:00 PM Central Time (US and Canada)

https://us02web.zoom.us/j/83234163178?pwd=Y2JDWTlJV3NyTUxDc1BuS1B5QmFXUT09

Meeting ID: 832 3416 3178

Passcode: 203777

[Chris Mihalcik]

Latest agenda:

Algebraic Effects and Effect Handlers - Shritesh Bhattarai

Leader Election - Bryan Hunter

Directed Acyclic Word Graphs - Mark Wutka

See you tonight!

--

You received this message because you are subscribed to the Google Groups "Nashville Functional Programmers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to nashfp+un...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/nashfp/b367458e-4377-458a-85ce-ede50c6e069fn%40googlegroups.com.

[Bryan Hunter]

Lightly edited chat log from the Zoom...

18:07:20 From Shritesh Bhattarai to Everyone : https://github.com/shritesh/nashfp-effects

18:12:41 From Mark Mynsted to Everyone : “Haskell High Performance Programming” is a nice for understanding performance challenges.

18:16:32 From Mark Mynsted to Everyone : http://goto.ucsd.edu/~rjhala/papers/real_world_liquid.pdf

18:20:45 From Josh Adams to Everyone : :wave:

18:21:22 From Shritesh Bhattarai to Everyone : https://www.ash-elixir.org

19:01:38 From Jason Orendorff to Everyone : /me has some questions but got here late

19:01:49 From Mark Mynsted to Everyone : Very cool. I have to go for an hour (another meeting). Thank you

19:27:51 From Michael K to Everyone : https://en.wikipedia.org/wiki/Delimited_continuation

19:35:41 From Mark Mynsted to Everyone : Thank you Shritesh

20:17:40 From Tim Dunnington to Everyone : Have to run gents, enjoyed the presentations! See you next time!

20:18:32 From Jason Orendorff to Everyone : Have to run also. Thanks Shritesh and Bryan!

21:01:02 From Bryan Hunter to Everyone : https://raft.github.io/ 
21:01:02 From Bryan Hunter to Everyone : https://en.wikipedia.org/wiki/Leader_election

21:00:52 From Bryan Hunter to Everyone : https://en.wikipedia.org/wiki/Bully_algorithm

21:01:31 From Bryan Hunter to Everyone : https://erlang.org/doc/man/gen_statem.html

21:01:39 From Bryan Hunter to Everyone : https://erlang.org/doc/design_principles/statem.html

20:30:39 From Mark Mynsted to Everyone : Thank you Bryan

20:34:45 From Mark Mynsted to Everyone : What if you add coats to the list?

20:58:51 From Mark Mynsted to Everyone : Nice. Thank you

21:00:30 From Bryan Hunter to Everyone : https://github.com/koka-lang/koka

21:00:34 From Mark Wutka to Everyone : http://wiki.cs.pdx.edu/wurzburg2009/papers/appel-scrabble.pdf

21:00:56 From Michael K to Everyone : https://www.amazon.com/Pearls-Functional-Algorithm-Design-Richard/dp/0521513383

21:00:57 From Mark Wutka to Everyone : https://leanpub.com/leprechauns

21:07:06 From John Wise (Nashville) to Everyone : Thank you everyone.

21:07:28 From Dan Day to Everyone : Super interesting prezzies guys, thanks! Goodnight

21:10:45 From Mortada Alkhars to Everyone : Thank you for the presentation

21:12:00 From Bryan Hunter to Everyone : https://www.thestrangeloop.com/cfp.html