Light

nigredo-tori / classy Goto Github PK

View Code? Open in Web Editor NEW

28.0 4.0 3.0 74 KB

Typeclasses for Nim

License: The Unlicense

Nim 100.00%

classy's Introduction

Classy

Haskell-style typeclasses for Nim.

Allows to instantiate collections of functions for a given type or type constructor.

Install

$ nimble install classy

Usage

import classy, future

typeclass Functor, F[_]:
  # proc map[A, B](fa: F[A], g: A -> B): F[B]
  proc `$>`[A, B](fa: F[A], b: B): F[B] =
    fa.map((a: A) => g)

instance Functor, seq[_]
assert: (@[1, 2, 3] $> "a") == @["a", "a", "a"]

Documentation

Module documentation is located here.

Also refer to example for a quick tutorial.

Testing

$ nimble tests

Stability

Highly experimental. API and behaviour subject to change.

Credits

nigredo-tori

License

The Unlicense. Please see License File for more information.

classy's People

Contributors

Stargazers

Watchers

Forkers

vegansk krux02 ringabout

classy's Issues

Please keep this project alive!

This project is a milestone for applying functional programming patterns in nim, it deserves some love!

For example, this blocking issue has been upgraded:
nim-lang/Nim#4104

also {.noSideEffect.} and {.raises: [].} can be added where needed to enforce some fp goodness

Find a way to access canonical type representations

As in Either[string, int], without aliases, etc. getType family seems to give either type's internal structure or just symbol for the instantiation instead

How to write Haskell style code assuming type classes ?

In Haskell you can do

foo: Show a; a -> IO ()
foo = print . show
-- same as  foo a = print (show a)

How would such be done with classy ? I am still new to nim.
The point is thaht Show is the typeclass and a is the type parameter.

Don't inject unused parameters

typeclass A, [F, G]:
  proc foo(f: F)

instance A, [X, Y] => [Option[X], Option[Y]]

should give the following:

proc foo[X](f: Option[X])

Filter out export markers by default

Check for incorrect options

e.g. instance Foo, Bar, invalid()

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.