liquid haskell 👀
what's that?
It is a plugin for GHC to add refinement types for haskell
nice
https://ucsd-progsys.github.io/liquidhaskell/
Hey! Welcome to the Functional Programming group. First of all, please read the rules: @thedevsrules Do you want to learn Functional Programming and make the world a safer pl...
nobody helps?
what is a good language to learn FP?
Hi, yeah sure. But, at first you have to give information about in which way, which part of programming?
A question to you functional nerds 😅 I have an Haskell Data.Tree I built with fold and I want eventually to unfold it, but, before doing so, I just want to restrict the numbe...
2 common lisp questions; 1. how can i actually compile a file in common lisp not this (sb-ext:save-lisp-and-die "hullo" :toplevel #'hullo :executable t) that captures repl ...
@JustMidi do you think it's worth to use forth outside embedded systems?
Guys is there a way of extracting matched objects based on couple of fields from two lists?
is it possible to make the text shiny like that?
Hey guys, I'm an iOS tweak developer. Usually when you make a preference bundle, you use a plist to lay everything out. Alternatively you can opt to program them. I programmed...
Обсуждают сегодня