February 2026 meeting

[Bryan Hunter]

Hi. We will meet tomorrow night (Tuesday, February 24 at 6PM CST) via Zoom:
https://us02web.zoom.us/j/86781527817?pwd=TkxUREdQZ0k3QTNUYjNrQ2F2b0tMUT09

Who has something to show-and-tell? Reply here with your ideas. 

Look forward to seeing you all!
-Bryan

[Mark Wutka]

I'd be happy to talk about my Ocaml implementation for "Writing a C Compiler", I'm just about done with section 1 (chaps 1-10). Chapter 10 will make you curse the extern and static keywords.

--
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 visit https://groups.google.com/d/msgid/nashfp/f026e747-c619-4b32-b4d3-139dc36ce449n%40googlegroups.com.

[Michael Kerekes]

I can talk a little about type theory. Some things you guys may not be too familiar with: sigma types and equality types. I have been struggling with optimization and exhaustiveness checking in the mana compiler since Christmas. I think I have a way forward. I'll try to explain. 

To view this discussion visit https://groups.google.com/d/msgid/nashfp/CA%2BvyaX3BF3_5HD6sTB%2B956P_pHf99dAgvUHhOKjspn3enbV6bw%40mail.gmail.com.

[William Smith]

This sounds awesome Mark! Looking forward to it!

[Bryan Hunter]

Thanks Mark and Mike for sharing. Fun night!

Scott Southworth will facilitate the March 2026 meeting.

Chat log...

2026-02-24 18:15 From Bryan to Everyone:

ElixirConf CFP: https://elixirconf.com/

NDC Oslo CFP: https://ndcoslo.com/call-for-papers

Goatmire CFP: https://goatmire.com/

Expert (the official Elixir language server hits RC1) 

https://expert-lsp.org/the-first-release-candidate/

2026-02-24 18:35 From Mark Wutka to Everyone:

Code Review: Ocaml
https://www.youtube.com/watch?v=wH3FjE38pz8

https://oxcaml.org/

2026-02-24 19:35:41 From Will to Everyone:
https://github.com/NashFP/c_compiler

2026-02-24 19:36:43 From John Wise to Everyone:
Thanks Mark, very interesting. Gotta run.

2026-02-24 19:36:52 From Mark Wutka to Everyone:
https://www.youtube.com/playlist?list=PL2HVqYf7If8cY4wLk7JUQ2f0JXY_xMQm2

2026-02-24 19:40:45 From Will to Everyone:
https://github.com/dotnet/runtime/pull/77137

2026-02-24 19:44:19 From Mike to Everyone:
http://ref.x86asm.net/coder64.html

2026-02-24 19:44:57 From Mike to Everyone:x
https://wiki.osdev.org/X86-64_Instruction_Encoding

2026-02-24 19:45:33 From Will to Everyone:
https://www.felixcloutier.com/x86/

2026-02-24 20:29:46 From Mark Wutka to Everyone:
it's bedtime here in NC, good night! see ya'll next month!

2026-02-24 20:30:14 From Will to Everyone:
Thank you Mark for showing your c compiler in ocaml. I have a lot to look at. :)

2026-02-24 20:33:51 From Mike to Everyone:
System F with type equality coercions

2026-02-24 20:35:05 From Mike to Everyone:
System F with type equality coercions

2026-02-24 20:35:26 From Mike to Everyone:
https://wiki.haskell.org/Simonpj/Talk:OutsideIn
Will:👍

2026-02-24 20:39:25 From Mike to Everyone:
id : (a : Type) -> a -> a
id = \a -> \x -> x

2026-02-24 20:39:36 From Mike to Everyone:
id Bool : Bool -> Bool

2026-02-24 20:48:44 From Tim to Everyone:
Replying to "Message sent before you joined the meeting":
I've been letting it grow out a bit and all the sudden people are noticing lol!
Patrick Carver:🎉

2026-02-24 20:49:34 From Tim to Bryan Hunter (direct message):
Do you want me to share the self-hosted github I'm running or save it for next meeting? I just got it working this weekend.

2026-02-24 20:52:07 From Mike to Everyone:
show : (forall a -> a -> String) -> (a, b) -> String

2026-02-24 20:52:22 From Mike to Everyone:
show show (a, b) = show a + show b

2026-02-24 20:52:54 From Mike to Everyone:
show : ((a : Type) -> a -> String) -> (a, b) -> String

2026-02-24 20:53:40 From Mike to Everyone:
https://softwarefoundations.cis.upenn.edu/

2026-02-24 20:57:58 From Tim to Everyone:
I have to get to bed too y'all! Early morning tomorrow :)

2026-02-24 20:58:23 From Patrick Carver to Everyone:
Me too!

2026-02-24 20:58:33 From Patrick Carver to Everyone:
Good night!

2026-02-24 20:59:07 From Mike to Everyone:
https://marketplace.visualstudio.com/items?itemName=rust-lang.rust-analyzer